Testing input/output partial order automata

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4581 LNCS, Issue , 2007, Pages 171-185

  Haar, Stefan ^a   Jard, Claude ^b   Jourdan, Guy Vincent ^c  

^a CAMPUS DE BEAULIEU   (France)

^b UNIVERSITÉ PARIS SACLAY   (France)

^c UNIVERSITY OF OTTAWA   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

DISTRIBUTED COMPUTER SYSTEMS; FORMAL LANGUAGES; POLYNOMIALS; SOFTWARE TESTING; SUPERVISORY AND EXECUTIVE PROGRAMS; AUTOMATA THEORY; LOGIC CIRCUITS;

CONCURRENT INPUT; DISTRIBUTED TESTING; I/O AUTOMATON SETTING; INPUT/OUTPUT PARTIAL ORDER AUTOMATA (IOPOA); COMPACT MODELLING; DISTRIBUTED SYSTEMS; FORMAL FRAMEWORK; INPUT/OUTPUT; PARTIAL ORDER; SYNCHRONOUS I/O;

AUTOMATA THEORY; SOFTWARE TESTING;

EID: 34548095465     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-73066-8_12     Document Type: Conference Paper

References (21)

1. Chen, J., Hierons, R., Ural, H.: Conditions for resolving observability problems in distributed testing. In: de Frutos-Escrig, D., Núñez, M. (eds.) FORTE 2004. LNCS, vol. 3235, pp. 229-242. Springer, Heidelberg (2004)
2. Chen, X.J., Hierons, R.M., Ural, H.: Resolving observability problems in distributed test architecture. In: Wang, F. (ed.) FORTE 2005. LNCS, vol. 3731, pp. 219-232. Springer, Heidelberg (2005)
3. Sarikaya, B., Bochmann, G.v.: Synchronization and specification issues in protocol testing. IEEE Transactions on Communications 32, 389-395 (1984)
4. Luo, G., Dssouli, R., Bochmann, G.V., Venkataram, P., Ghedamsi, A.: Test generation with respect to distributed interfaces. Comput. Stand. Interfaces 16, 119-132 (1994)
5. Tai, K., Young, Y.: Synchronizable test sequences of finite state machines, Computer Networks and ISDN Systems 30, 1111-1134 (1998)
6. Hierons, R.M.: Testing a distributed system: Generating minimal synchronised test sequences that detect output-shifting faults. Information and Software Technology 43, 551-560 (2001)
7. Khoumsi, A.: A temporal approach for testing distributed systems. Software Engineering, IEEE Transactions on 28, 1085-1103 (2002)
8. Wu, W.J., Chen, W.H., Tang, C.Y.: Synchronizable for multi-party protocol conformance testing. Computer Communications 21, 1177-1183 (1998)
9. Cacciari, L., Rafiq, O.: Controllability and observability in distributed testing. Inform. Software Technol. 41, 767-780 (1999)
10. Boyd, S., Ural, H.: The synchronization problem in protocol testing and its complexity. Information Processing Letters 40, 131-136 (1991)
11. Dssouli, R., von Bochmann, G.: Error detection with multiple observers. In: Protocol Specification, Testing and Verification, vol. V, pp. 483-494. Elsevier, North Holland (1985)
12. Dssouli, R., von Bochmann, G.: Conformance testing with multiple observers. In: Protocol Specification, Testing and Verification, vol. VI, pp. 217-229. Elsevier, North Holland (1986)
13. Rafiq, O., Cacciari, L.: Coordination algorithm for distributed testing. The. Journal of Supercomputing 24, 203-211 (2003)
14. Hierons, R.M., Ural, H.: Uio sequence based checking sequence for distributed test architectures. Information and Software Technology 45, 798-803 (2003)
15. Chen, J., abd, H.U., R.M.H.: Overcoming observability problems in distributed test architectures (Information Processing Letters) (to appear)
16. Jourdan, G.V., Ural, H., Yenigün, H.: Minimizing coordination channels in distributed testing. In: Najm, E., Pradat-Peyre, J.F., Donzeau-Gouge, V.V. (eds.) FORTE 2006. LNCS, vol. 4229, pp. 451-466. Springer, Heidelberg (2006)
17. Lee, D., Yannakakis, M.: Principles and methods of testing finite-state machines - a survey. In: Proceedings of the IEEE, vol. 84, pp. 1089-1123 (1996)
18. Gill, A.: Introduction to The Theory of Finite State Machines. McGraw Hill, New York (1962)
19. Hennie, F.C.: Fault-detecting experiments for sequential circuits. In: Proceedings of Fifth Annual Symposium on Switching Circuit Theory and Logical Design, Princeton, New Jersey, pp. 95-110 (1964)
20. Lee, D., Yannakakis, M.: Testing finite state machines: state identification and verification. IEEE Trans. Computers 43, 306-320 (1994)
21. Sokolovsku, M.N.: Diagnostic experiments with automata. Journal Cybernetics and Systems Analysis 7, 988-994 (1971)