Testing data processing-oriented systems from stream X-machine models

Theoretical Computer Science

Volumn 403, Issue 2-3, 2008, Pages 176-191

  Ipate, Florentin ^a   Holcombe, Mike ^b  

^a UNIVERSITY OF PITESTI   (Romania)

^b UNIVERSITY OF SHEFFIELD   (United Kingdom)

Author keywords

Finite state machines; Formal specifications; Specification based testing; Stream X machines; Test generation

Indexed keywords

FINITE AUTOMATA; FORMAL SPECIFICATION; SOFTWARE TESTING; TESTING;

DESIGN FOR TEST-CONDITIONS; GENERATION PROCESS; IMPLEMENTATION UNDER TESTS; INTERACTIVE SYSTEM; ORIENTED SYSTEMS; SPECIFICATION BASED TESTING; STREAM X-MACHINES; TEST GENERATIONS;

DATA HANDLING;

EID: 48449088382     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.tcs.2008.02.045     Document Type: Article

References (37)

1. Binkley D., and Gallagher K.B. Program slicing. Advances in Computers 43 (1996) 1-50
2. Aguado J., Bǎlǎnescu T., Cowling T., Gheorghe M., Holcombe M., and Ipate F. P systems with replicated rewriting and stream X-machines (Eilenberg machines). Fundamenta Informaticae 49 1-3 (2002) 17-33
3. Bǎlǎnescu T. Generalized stream X machines with output delimited type. Formal Aspects of Computing 12 (2000) 473-484
4. Bǎlǎnescu T., Cowling T., Georgescu H., Gheorghe M., Holcombe M., and Vertan C. Communicating stream X-machines are no more than X-machines. Journal of Universal Computer Science 5 (1999) 494-507
5. Bǎlǎnescu T., Gheorghe M., Holcombe M., and Ipate F. Testing collaborative agents defined as stream X-machines. Advances in Artificial Life, Proceedings of the 6th European Conference ECAL. 10-14 September, Prague, Czech Republic (2001), Springer, Berlin 296-305
6. Bǎlǎnescu T., Gheorghe M., Holcombe M., and Ipate F. Eilenberg P Systems. In: Paun Gh., Rozenberg G., Salomaa A., and Zandron C. (Eds). Membrane Computing. International Workshop, WMC-CdeA 2002. August 2002, Curtea de Arges Romania. LNCS vol. 2597 (2003), Springer-Verlag, Berlin 43-57
7. Barnard J., Whitworth J., and Woodward M. Communicating X-machines. Information and Software Technology 38 (1996) 401-407
8. Bernardini F., Gheorghe M., and Holcombe M. P X systems = P systems + X machines. Natural Computing 2 3 (2003) 201-213
9. Bogdanov K., Holcombe M., Ipate F., Seed L., and Vanak S. Testing methods for X-machines, a review. Formal Aspects of Computing 18 1 (2006) 3-30
10. Chow T.S. Testing software design modelled by finite state machines. IEEE Transactions on Software Engineering 4 3 (1978) 178-187
11. Clarke L. A system to generate test data and symbolically execute programs. IEEE Transactions on Software Engineering 2 3 (1976) 215-222
12. Cowling A., Georgescu H., and Vertan C. A structured way to use channels for communication in X-machine systems. Formal Aspects of Computing 12 6 (2000) 458-500
13. Eilenberg S. Automata, Languages and Machines vol. A. (1974), Academic Press, New York
14. Fairtlough 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 Modeling 3 (1995) 141-161
15. Georgescu H., and Vertan C. A new approach to communicating X-machines. Journal of Universal Computer Science 6 5 (2000) 490-502
16. Hierons R.M., and Harman M. Testing conformance to a quasi-non-deterministic stream X-machine. Formal Aspects of Computing 12 6 (2000) 423-442
17. Hierons R.M., and Harman M. Testing conformance of a deterministic implementation to a non-deterministic stream X-machine. Theoretical Computer Science 323 1-3 (2004) 191-233
18. Holcombe M. X-machines as a basis for dynamic system specification. Software Engineering Journal 3 (1988) 69-76
19. Holcombe M., and Ipate F. Correct Systems: Building a Business Process Solution (1998), Springer Verlag, Berlin
20. Holcombe M., Ipate F., and Grondoudis A. Complete Functional Testing of Safety-Critical Systems. Proceedings of the 2nd IFAC Workshop on Safety and Reliability in Emerging Control Technologies. 1-3 November, Daytona Beach, FL, USA (1995), Elsevier, Oxford 199-204
21. Ipate F. On the minimality of stream X-machines. The Computer Journal 46 3 (2003) 295-306
22. Ipate F. Complete deterministic stream X-machine testing. Formal Aspects of Computing 16 4 (2004) 374-386
23. Ipate F., and Holcombe M. A method for refining and testing generalized machine specifications. International Journal of Computer Mathematics 68 (1998) 197-219
24. Ipate F., and Holcombe M. An integrated refinement and testing method for stream X-Machines. Applicable Algebra in Engineering, Communication and Computing 13 2 (2002) 67-91
25. Ipate F., and Holcombe M. Testing conditions for communicating stream X-machine systems. Formal Aspects of Computing 13 6 (2002) 431-446
26. Ipate F., and Holcombe M. An integration testing method that is proved to find all faults. International Journal of Computer Mathematics 63 (1997) 159-178
27. Ipate F., and Holcombe M. Specification and testing using generalized machines: a presentation and a case study. Software Testing, Verification and Reliability 8 (1998) 61-81
28. Ipate F., and Holcombe M. Generating test sequences from non-deterministic generalized stream x-machines. Formal Aspects of Computing 12 6 (2000) 443-458
29. Ipate F. Testing against a non-controllable stream x-machine using state counting. Theoretical Computer Science 353 1-3 (2006) 291-316
30. Kefalas P., and Kapeti E. A design language and tool for x-machine specification. In: Fotadis D.I., and Nikolopoulos S.D. (Eds). Advances in Informatics (2000), World Scientific, Athens 134-145
31. Kehris E., Eleftherakis G., and Kefalas P. Using X-machines to model and test discrete event simulation programs. In: Mastorakis N. (Ed). Systems and Control: Theory and Applications (2000), World Scientific and Engineering Society Press, Athens 163-171
32. King J. Symbolic execution and program testing. Communications of the ACM 19( 7 (1976) 385-394
33. Lee D., and Yannakakis M. Principles and methods of testing finite state machines - a survey. Proceedings of the IEEE 84 8 (1996) 1090-1123
34. McMinn P. Search-based software test data generation: a survey. Software Testing, Verification and Reliability 14 2 (2004) 105-156
35. Ostrand T.J., and Balcer M.J. The category-partition method for specifying and generating functional tests. Communication of the ACM 31 6 (1989) 667-686
36. A. Petrenko, N. Yevtushenko, G.v. Bochmann, Testing deterministic implementations from nondeterministic FSM specifications, in: Proc. of 9th International Workshop on Testing of Communicating Systems, IWTCS'96, 1996, pp. 125-140
37. Roper M. Software Testing (1994), McGraw-Hill