Paper Info
Title
Conditions for avoiding controllability problems in distributed testing
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. This problem can be overcome by introducing additional external coordination messages exchanged among remote testers. Such an approach requires for extra resources for the communication among remote testers and sometimes suffers from unexpected delay. It is thus desirable to avoid the controllability problem by selecting suitable test sequences. However, this is not always possible. For some finite state machines, we cannot generate a test sequence without using external coordination messages and apply it without encountering controllability problems during testing. In this paper, we present sufficient and necessary conditions on a given finite state machine for constructing test sequences so that it does not involve external coordination messages and its application to the implementation under test is free from controllability problems.
Year
DOI
Venue
2006
10.1007/11901433_25
ICFEM
Keywords
Field
DocType
centralized test architecture,finite state machine,additional external coordination message,multiple remote tester,suitable test sequence,remote tester,test architecture,external coordination message,controllability problem,test sequence,conformance testing,input output
Controllability,Simulation,Computer science,Distributed testing,Test sequence,Conformance testing,Theoretical computer science,Finite-state machine,Retard,Formal methods,Software development,Distributed computing
Conference
Volume
ISSN
ISBN
4260
0302-9743
3-540-47460-9
Citations 
PageRank 
References 
1
0.35
31
Authors
2
Name
Order
Citations
PageRank
Jessica Chen113512.38
L. Duan2123.65