RT Book, Section
T1 Implementation Relations for Distributed Testing
A1 Hierons, Robert M.
A1 García Merayo, María De Las Mercedes
A1 Núñez García, Manuel
AB When testing a system that interacts with its environment at several physically distributed interfaces (ports) it is normal to place a local tester at each port. If the local testers do not synchronise their actions then the local tester at port p can only observe the sequence of inputs and outputs that occur at p. If, in addition, there is no global clock then it may be impossible to reconstruct the global trace that occurred in testing and testing is then using the distributed test architecture. As a result, the System Under Test (SUT) might be able to produce a global trace that is not allowed by the specification, and so would normally represent a failure, but where the local testers cannot observe this difference. The use of the distributed test architecture thus affects the ability of testing to distinguish between a specification and an SUT and so leads to the need for a different notion of correctness (implementation relation). This paper explores alternative implementation relations for distributed testing and how they relate.
PB Springer
SN 9783031401312
SN 9783031401329
SN 0302-9743
SN 1611-3349
YR 2023
FD 2023-08-17
LK https://hdl.handle.net/20.500.14352/119491
UL https://hdl.handle.net/20.500.14352/119491
LA eng
DS Docta Complutense
RD 22 abr 2025