Generating test sets from non-deterministic stream X-machines

Formal Aspects of Computing

Volumn 12, Issue 6, 2000, Pages 443-458

  Ipate, Florentin ^a   Holcombe, Mike ^b  

^a UNIVERSITY OF PITESTI   (Romania)

^b UNIVERSITY OF SHEFFIELD   (United Kingdom)

Author keywords

Finite state machines; Non determinism; Test set generation; Testing; X machines

Indexed keywords

EID: 0005853180     PISSN: 09345043     EISSN: None     Source Type: Journal    
DOI: 10.1007/s001650070004     Document Type: Article

References (26)

1. Barnard, J., Whitworth, J. and Woodward, M.: Communicating X-machines. Information and Software Technology, 38:401-407, 1996.
2. Belina, F. and Hogrefe, D.: The CCITT-specification and description language. Computer Networks and ISDN Systems, 16:1347-1356, 1989.
3. Bernot, G., Gaudel, M. and Marre, B.: Software testing based on formal specifications: a theory and a tool. Software Engineering Journal, 6:387-405, 1991.
4. Bhattacharrya, A.: Checking Experiments in Sequential Machines. Wiley Eastern, New Delhi, 1989.
5. Bolognesi, T. and Brinksma, E.: Introduction to the ISO specification LOTOS, Computer Networks and ISDN Systems, 14(1):25-59, 1987.
6. Chow, T. S.: Testing software design modelled by finite state machines. IEEE Transactions on Software Engineering, 4(3):178-187, 1978.
7. Cohen, D. I. A.: Introduction to Computer Theory. Wiley, New York, 1991.
8. Dauchy, P., Gaudel, M. and Marre, B.: Using algebraic specifications in software testing: a case study on the software of an automatic subway. Journal of Systems Software, 21:229-244, 1993.
9. Eilenberg, S.: Automata, Languages and Machines, Vol. A. Academic Press. London, 1974.
10. Fairclough, M., Holcombe, M., Ipate, F., Jordan, C., Laycock, G. and Duan, Z.: Using an X-machine to model a video cassette recorder. Current issues in electronic modelling, 3:141-161, 1995.
11. Fujiwara, S., von Bochmann, G., Khendek, F., Amalou, M. and Ghedamsi, A.: Test selection based on finite state models. IEEE Transactions on Software Engineering, 17(6):591-603, 1991.
12. Gill, A.: Introduction to the Theory of Finite-State Machines. McGraw-Hill, New York, 1962.
13. Holcombe, M.: X-machines as a basis for dynamic system specification. Software Engineering Journal 3:69-76, 1988.
14. Holcombe, M. and Ipate, F.: Correct Systems: Building a Business Process Solution. Springer, Berlin, 1998.
15. Holcombe, M., Ipate, F. and Grondoudis, A.: Complete functional testing of safety-critical systems. In Safety and Reliability in Emerging Control Technologies: A Postprint volume from the IFAC Workshop on Safety and Reliability in Emerging Control Technologies, Daytona Beach, Florida, USA, pp. 199-204, 1-3 November 1995.
16. Holcombe, M., Bǎlǎnescu, T., Gheorghe, M. and Radovici-Mǎrculescu, P.: On testing generalized stream X-machines. In Recent Topics in Mathematical and Computational Linguistics, pp. 130-141 Romanian Academy Publishing House, 2000.
17. Ipate, F.: Theory of X-Machines and Applications in Specification and Testing. PhD thesis, University of Sheffield, UK, 1995.
18. Ipate, F. and Holcombe, M.: Another look at computability. Informatica, 20:359-372, 1996.
19. Ipate, F. and Holcombe, M.: An integration testing method that is proved to find all faults. International Journal of Computer Mathematics, 69:159-178, 1997.
20. Ipate, F. and Holcombe, M.: A method for refining and testing generalised machine specifications. International Journal of Computer Mathematics, 68:197-219, 1998.
21. Ipate, F. and Holcombe, M.: Specification and testing using generalised machines: a presentation and a case study. Software Testing, Verification and Reliability, 8:6-81, 1998.
22. Laycock, G. T.: Formal specification and testing. Journal of Software Testing, Verification and Reliability, 2:7-23, 1992.
23. Luo, G., v. Bochmann, G. and Petrenko, A.: Test selection based on communicating non-deterministic finite-state machines using a generalised Wp-method. IEEE Transactions on Software Engineering, 20(2):149-161, 1994.
24. Ostrand, T. J. and Balcer, M. J.: The category-partition method for specifying and generating functional tests. Communications of the ACM, 31(6):667-686, 1989.
25. Stocks, P. and Carrington, D.: Test template framework: a specification-based test case study. In ISST'93, 1993.
26. Tanenbaum, A. S.: Computer Networks, 2nd Edn. Prentice-Hall, Englewood Cliffs, NJ, 1998.