Checking states and transitions of a set of communicating finite state machines

Microprocessors and Microsystems

Volumn 24, Issue 9, 2001, Pages 443-452

  Hierons, R M ^a  

^a BRUNEL UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

CONSTRAINT THEORY; DATA COMMUNICATION SYSTEMS; FINITE AUTOMATA; MATHEMATICAL MODELS;

FINITE STATE MACHINES (FSM);

SEQUENTIAL MACHINES;

EID: 0035250946     PISSN: 01419331     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0141-9331(00)00097-1     Document Type: Article

References (24)

1. A.V. Aho, A.T. Dahbura, D. Lee, M.U. Uyar, An optimization technique for protocol conformance test generation based on UIO sequences and Rural Chinese Postman Tours, in: Protocol Specification, Testing, and Verification, vol. VIII, Atlantic City, Elsevier, North-Holland, 1988, pp. 75-86.
2. J. Grabowski, R. Scheurer, D. Toggweiler, D. Hogrefe, Dealing with the complexity of state exploration algorithms for SDL systems, University of Bern Technical Report, IAM-95-010, 1995.
3. Heimdahl M.P.E., Thompson J.M., Czerny B.J. Specification and analysis of intercomponent communication. IEEE Computer. 31:1998;47-54.
4. Hierons R.M. Extending test sequence overlap by invertibility. The Computer Journal. 39:1996;325-330.
5. Hierons R.M. Testing from a finite state machine: extending invertibility to sequences. The Computer Journal. 40:1997;220-230.
6. Hierons R.M. Testing from semi-independent communicating finite state machines with a slow environment. IEE Proceedings on Software Engineering. 144:1997;291-295.
7. Hierons R.M. Adaptive testing of a deterministic implementation against a nondeterministic finite state machine. The Computer Journal. 41:1998;349-355.
8. Inan K., Ural H. Efficient checking sequences for testing finite state machines. Information and Software Technology. 41:1999;799-812.
9. Ipate F., Holcombe M. An integration testing method that is proved to find all faults. International Journal of Computer Mathematics. 63:1997;159-178.
10. ITU-T. Z.500 Framework on formal methods in conformance testing, International Telecommunications Union, 1997.
11. Kohavi Z. Switching and Finite State Automata Theory. 1978;McGraw-Hill, New York.
12. G. Luo, A. Das, G. von Bochmann, Generating tests for control portion of SDL specifications, in: Protocol Test Systems, vol. VI, Elsevier, North-Holland, 1994, pp. 51-66.
13. Luo G., von Bochmann G., Petrenko A. Test selection based on communicating nondeterministic finite-state machines using a generalized Wp-method. IEEE Transactions on Software Engineering. 20:1994;149-162.
14. Moore E.P. Gedanken-experiments. Shannon C., McCarthy J. Automata Studies. 1956;Princeton University Press, Princeton, NJ.
15. Ozdemir K., Ural H. Protocol validation by simultaneous reachability analysis. Computer Communications. 20:1997;772-788.
16. M. Romdhani, P. Chambert, A. Jeffroy, P. de Chazelles, A.A. Jerraya, Composing activity charts/statecharts, SDL and SAO specifications in codesign in avionics, in: European Design Automation Conference With EUOR-VDHL'95, Brighton, England, September 1995, pp. 585-590.
17. Savor T., Seviora R.E. Towards automatic detection of software failures. IEEE Computer. 31:1998;68-74.
18. Tai K.-C., Young Y.-C. Synchronizable test sequences of finite state machines. Computer Networks and ISDN Systems. 30:1998;1111-1134.
19. Tanenbaum A.S. Computer Networks. 3rd ed. 1996;Prentice-Hall, Englewood Cliffs, NJ.
20. C. Tropper, A. Boukerche, Parallel simulation of communicating finite state machines, in: The workshop on Parallel and Distributed Simulation, San Diego, CA, USA, May 1993, pp. 143-150.
21. Ural H., Saleh K., Williams A. Test generation based on control and data dependencies within system specifications in SDL. Computer Communications. 23:2000;609-627.
22. C.H. West, Protocol validation in complex systems, in: ACM SIGCOMM, 1989, pp. 303-312.
23. B. Yang, H. Ural, Protocol conformance test generation using multiple UIO sequences with overlapping, in: ACM SIGCOMM 90: Communications, Architectures, and Protocols, Twente, The Netherlands, September 24-27, 1990, pp. 118-125.
24. Zucconi I., Reed K. Building testable software. Software Engineering Notes. 21:1996;51-55.