Name
Abstract | ||
|---|---|---|
Finite-state-machine-based conformance testing has been extensively studied in the literature in the context of centralized test architecture. With a distributed test architecture which involves multiple remote testers, the application of a test sequence may encounter controllability problems. One of the possible solutions to overcome this problem is to carefully select a suitable test sequence so that its application to the implementation under test will not involve controllability problems. A common problem in doing so is to generate a test sequence, avoiding controllability problems during its application in the test procedure, so that all given test segments have been contained in the test sequence. In this paper, we present an optimal solution to this problem, taking into account possible overlaps among the test segments. |
Year | DOI | Venue |
|---|---|---|
2006 | 10.1109/QSIC.2006.46 | QSIC |
Keywords | Field | DocType |
conformance testing,controllability,finite state machines,formal specification,program testing,synchronisation,conformance testing,controllability,distributed test architecture,finite state machine,input-output sequence,optimal synchronizable test sequence,remote testing,conformance testing,distributed testing,finite state machine,test sequence,unique input/output sequence. | Automatic test pattern generation,Synchronization,Controllability,Computer science,Test sequence,Conformance testing,Real-time computing,Formal specification,Finite-state machine,Test case | Conference |
ISSN | ISBN | Citations |
1550-6002 | 0-7695-2718-3 | 1 |
PageRank | References | Authors |
0.37 | 21 | 2 |