Testing against a non-controllable stream X-machine using state counting

Theoretical Computer Science

Volumn 353, Issue 1-3, 2006, Pages 291-316

  Ipate, Florentin ^a  

^a UNIVERSITY OF PITESTI   (Romania)

Author keywords

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

Indexed keywords

COMPUTER SCIENCE; FORMAL LANGUAGES; SET THEORY;

FINITE STATE MACHINES; FORMAL SPECIFICATIONS; SPECIFICATION BASED TESTING; STREAM X-MACHINES; TEST GENERATION;

FINITE AUTOMATA;

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

References (44)

1. J. Aguado, T. Bǎlǎnescu, T. Cowling, M. Gheorghe, M. Holcombe, and F. Ipate P Systems with replicated rewriting and stream X-machines (Eilenberg machines) Fund. Inform. 49 1-3 2002 17 33
2. T. Bǎlǎnescu Generalized stream X machines with output delimited type Formal Aspects of Comput. 12 2000 473 484
3. T. Bǎlǎnescu, T. Cowling, H. Georgescu, M. Gheorghe, M. Holcombe, and C. Vertan Communicating stream X-machines are no more than X-machines J. Universal Comput. Sci. 5 1999 494 507
4. T. Bǎlǎnescu, M. Gheorghe, and M. Holcombe Deterministic stream X-machines based on grammar systems C. Martin-Vide V. Mitrana Words, Sequences, Grammars, Languages: where Biology, Computer Science, Linguistics and Mathematics Meet Vol. 1 2000 Kluwer Dordrecht 13 23
5. T. Bǎlǎnescu, M. Gheorghe, M. Holcombe, and F. Ipate Testing collaborative agents defined as stream X-machines, Advances in Artificial Life Proc. Sixth European Conf. ECAL Prague, Czech Republic, 10-14 September 2001 Springer Berlin 296 305
6. T. Bǎlǎnescu, M. Gheorghe, M. Holcombe, F. Ipate, Eilenberg P Systems, in: Gh. Paun, G. Rozenberg, A. Salomaa, C. Zandron (Eds.), Membrane Computing, International Workshop, WMC-CdeA 2002, Curtea de Arges, Romania, August 2002, Lecture Notes in Computer Science, Vol. 2597, Springer, Berlin, 2003, pp. 43-57.
7. T. Bǎlǎnescu, M. Gheorghe, F. Ipate, and M. Holcombe Formal black box testing for partially specified deterministic finite state machines Found. Comput. Decision Systems 28 1 2003 17 28
8. T. Bǎlǎnescu, F. Ipate, The Wp method for partially specified deterministic finite state machines, Annals of Bucharest University, Computer Science, Vol. LIII(1), 2004, pp. 47-60.
9. J. Barnard, J. Whitworth, and M. Woodward Communicating X-machines Inform. Software Tech. 38 1996 401 407
10. F. Bernardini, M. Gheorghe, and M. Holcombe P X systems = P systems + X machines Natural Comput. 2 3 2003 201 213
11. K. Bogdanov, M. Holcombe, F. Ipate, L. Seed, S. Vanak, Testing methods for X-machines, a review, Formal Aspects of Comput. (2006) to appear.
12. K.-T. Cheng, and A.S. Krishnakumar Automatic functional test generation using the extended finite state machine model Proc. 30th Design Automation Conference Dallas, Texas, USA, June 14-18 1993 ACM Press New Orleans 86 91
13. T.S. Chow Testing software design modelled by finite state machines IEEE Trans. Software Eng. 4 3 1978 178 187
14. D. Cohen Introduction to Computer Theory second ed. 1991 Wiley New York
15. A. Cowling, H. Georgescu, and C. Vertan A structured way to use channels for communication in X-machine systems Formal Aspects of Comput. 12 6 2000 458 500
16. J. Dick, A. Faivre, Automating the generation and sequencing of test cases from model-based specifications, FME '93, First Internat. Symp. Formal Methods in Europe, Odense, Denmark, April 1993, pp. 268-284, Lecture Notes in Computer Science, Vol. 670, Springer, Berlin.
17. S. Eilenberg, Automata, Languages and Machines, Vol. A, Academic Press, New York, 1974.
18. M. Fairtlough, M. Holcombe, F. Ipate, C. Jordan, G. Laycock, and Z. Duan Using an X-machine to model a video cassette recorder Current Issues in Electronic Modeling 3 1995 141 161
19. J.H. Fetzer Program verification: the very idea Comm. ACM 31 1988 1048 1063
20. S. Fujiwara, G.v. Bochmann, F. Khendek, M. Amalou, and A. Ghedamsi Test selection based on finite state models IEEE Trans. Software Eng. 17 6 1991 591 603
21. M.C. Gaudel Testing can be formal too TAPSOFT'95 March 1995 Springer Berlin 82 96
22. H. Georgescu, and C. Vertan A new approach to communicating X-machines J. Universal Comput. Sci. 6 5 2000 490 502
23. M. Gheorghe Generalized stream X-machines and cooperating distributed grammar systems Formal Aspects of Comput. 12 6 2001 459 472
24. R.M. Hierons Testing from a Z specification J. Software Testing Verification and Reliability 7 1997 19 33
25. R.M. Hierons, and M. Harman Testing conformance to a quasi-non- deterministic stream X-machine Formal Aspects of Comput. 12 6 2000 423 442
26. R.M. Hierons, and M. Harman Testing conformance of a deterministic implementation to a non-deterministic stream X-machine Theoret. Comput. Sci. 323 1-3 2004 191 233
27. M. Holcombe X-machines as a basis for dynamic system specification Software Eng. J. 3 1988 69 76
28. M. Holcombe, and F. Ipate Correct Systems: Building a Business Process Solution 1998 Springer Berlin
29. M. Holcombe, F. Ipate, A., Grondoudis, Complete functional testing of safety-critical systems, Proc. Second IFAC Workshop Safety and Reliability in Emerging Control Technologies, Daytona Beach, Florida, USA, 1-3 November, Elsevier, Oxford, 1995, pp. 199-204.
30. F. Ipate On the minimality of Stream X-machines Comput. J. 46 3 2003 295 306
31. F. Ipate Complete deterministic stream X-machine testing Formal Aspects of Comput. 16 4 2004 374 386
32. F. Ipate, and M. Holcombe Another look at computability Informatica 20 1996 359 372
33. F. Ipate, and M. Holcombe An integration testing method that is proved to find all faults Internat. J. Comput. Math. 63 1997 159 178
34. F. Ipate, and M. Holcombe A method for refining and testing generalized machine specifications Internat. J. Comput. Math. 68 1998 197 219
35. F. Ipate, and M. Holcombe Specification and testing using generalized machines: a presentation and a case study Software Testing, Verification and Reliability 8 1998 61 81
36. F. Ipate, and M. Holcombe Generating test sequences from non-deterministic generalized stream X-machines Formal Aspects of Comput. 12 6 2000 443 458
37. F. Ipate, and M. Holcombe An integrated refinement and testing method for stream X-machines Appl. Algebra Eng. Comm. Comput. 13 2 2002 67 91
38. F. Ipate, and M. Holcombe Testing conditions for communicating stream X-machine systems Formal Aspects of Comput. 13 6 2002 431 446
39. P. Kefalas, and E. Kapeti A design language and tool for X-machine specification D.I. Fotadis S.D. Nikolopoulos Advances in Informatics 2000 World Scientific Athens 134 145
40. E. Kehris, G. Eleftherakis, and P. Kefalas Using X-machines to model and test discrete event simulation programs N. Mastorakis Systems and Control: Theory and Applications 2000 World Scientific and Engineering Society Press Athens 163 171
41. D. Lee, and M. Yannakakis Principles and methods of testing finite state machines - a survey Proc. IEEE 84 8 1996 1090 1123
42. T.J. Ostrand, and M.J. Balcer The category-partition method for specifying and generating functional tests Comm. ACM 31 6 1989 667 686
43. A. Petrenko, N. Yevtushenko, G.V. Bochmann, Testing deterministic implementations from nondeterministic FSM specifications, Proc. Ninth Internat. Workshop Testing of Communicating Systems (IWTCS'96), 1996, pp. 125-140.
44. A.J.H. Simons, K. Bogdanov, M. Holcombe, Complete functional testing using Object Machines, Department of Computer Science Research Report CS-01-18, 2001.