Conditions for Avoiding Controllability Problems in Distributed Testing
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.
KeywordsConformance testing finite state machine controllability test sequence unique input/output sequence
Unable to display preview. Download preview PDF.
- 2.Bochmann, G.v., Petrenko, A., Bellal, O., Maguiraga, S.: Automating the process of test derivation from SDL specifications. In: Proc. of 8th SDL Forum (1997)Google Scholar
- 11.Hennie, F.C.: Fault detecting experiments for sequential circuits. In: Proc. of 5th Ann. Symp. Switching Circuit Theory and Logical Design, pp. 95–110 (1964)Google Scholar
- 16.ISO/IEC 9646. Information technology – Open Systems Interconnection – Conformance testing methodology and framework – Part 1-7. ISO (June 1996)Google Scholar
- 22.Luo, G., Das, A., von Bochmann, G.: Generating tests for control portion of SDL specification. In: Proc. of Protocol test systems VI, pp. 51–66 (1994)Google Scholar
- 25.Moore, E.F.: Gedanken-experiments on sequenctial machines. Automata Studies 34, 129–153 (1956)Google Scholar
- 26.Motteler, H., Chung, A., Sidhu, D.: Fault coverage of UIO-based methods for protocol testing. In: Proc. of IFIP TC6/WG6.1 6th International Workshop on Protocol Test Systems, pp. 21–33 (1994)Google Scholar
- 27.Naito, S., Tsunoyama, M.: Fault detection for sequential machines by transition tours. In: Proc. of 11th. IEEE Fault Tolerant Computing Symposium, pp. 238–243 (1981)Google Scholar
- 33.Tan, Q.M., Petrenko, A.G.: Modeling basic LOTOS by FSMs for conformance testing. In: Proc. of 15th International Symposium on Protocol Specification, Testing and Verification (PSTV 15), pp. 137–152 (1995)Google Scholar