Complete deterministic stream X-machine testing

Abstract.One of the strengths of using stream X-machines to specify a system is that, under certain well defined conditions, it is possible to produce a test set that is guaranteed to determine the correctness of an implementation. However, the existing method assumes that the implementation of each processing function is proved to be correct before the actual testing can take place, so it only test the system integration. This paper presents a new method for generating test sets from a deterministic stream X-machine specification that generalises the existing integration testing method. This method no longer requires the implementations of the processing functions to be proved correct prior to the actual testing. Instead, the testing of the processing functions is performed along with the integration testing.

[1]  David Lee,et al.  Principles and methods of testing finite state machines-a survey , 1996, Proc. IEEE.

[2]  Marc J. Balcer,et al.  The category-partition method for specifying and generating fuctional tests , 1988, CACM.

[3]  Marian Gheorghe,et al.  Testing Collaborative Agents Defined as Stream X-Machines with Distributed Grammars , 2001, ECAL.

[4]  Cristina Vertan,et al.  A New Approach to Communicating X-Machine Systems , 2000, J. Univers. Comput. Sci..

[5]  Mike Holcombe,et al.  Complete Functional Testing of Safety Critical Systems , 1995 .

[6]  Kwang-Ting Cheng,et al.  Automatic Functional Test Generation Using The Extended Finite State Machine Model , 1993, 30th ACM/IEEE Design Automation Conference.

[7]  Florentin Ipate,et al.  Formal black box testing for partially specified deterministic finite state machines , 2003 .

[8]  Florentin Ipate,et al.  An integration testing method that is proved to find all faults , 1997, Int. J. Comput. Math..

[9]  Mike Holcombe.  X-machines as a basis for dynamic system specification , 1988, Softw. Eng. J..

[10]  Tsun S. Chow,et al.  Testing Software Design Modeled by Finite-State Machines , 1978, IEEE Transactions on Software Engineering.

[11]  Ming T. Liu,et al.  Generating test cases for EFSM with given fault models , 1993, IEEE INFOCOM '93 The Conference on Computer Communications, Proceedings.

[12]  A. J. Cowling,et al.  A Structured Way to Use Channels for Communication in X-Machine Systems , 2000, Formal Aspects of Computing.

[13]  George Eleftherakis,et al.  Using X-machines to model and test discrete event simulation programs , 2000 .

[14]  Marian Gheorghe,et al.  Deterministic stream X-machines based on grammar systems , 2001, Where Mathematics, Computer Science, Linguistics and Biology Meet.

[15]  Tudor Balanescu.  Generalised Stream X-Machines with Output Delimited Type , 2000, Formal Aspects of Computing.

[16]  Mike Holcombe,et al.  Specification and testing using generalized machines: a presentation and a case study , 1998 .

[17]  C. J. Harwood.  Correct Systems: Building a Business Process Solution , 2000 .

[18]  Florentin Ipate,et al.  Generating Test Sets from Non-Deterministic Stream X-Machines , 2000, Formal Aspects of Computing.

[19]  Samuel Eilenberg,et al.  Automata, languages, and machines. A , 1974, Pure and applied mathematics.

[20]  Florentin Ipate,et al.  Testing Conditions for Communicating Stream X-machine Systems , 2002, Formal Aspects of Computing.

[21]  Marian Gheorghe,et al.  Communicating Stream X-Machines Systems are no more than X-Machines , 1999, J. Univers. Comput. Sci..

[22]  Mark Harman,et al.  Testing Conformance to a Quasi-Non-Deterministic Stream X-Machine , 2000, Formal Aspects of Computing.

[23]  Florentin Ipate,et al.  An Integrated Refinement and Testing Method for Stream X-machines , 2002, Applicable Algebra in Engineering, Communication and Computing.

[24]  Florentin Ipate,et al.  Another Look at Computability , 1996, Informatica.

[25]  Florentin Ipate,et al.  On the Minimality of Stream X-machines , 2003, Comput. J..

[26]  J. Barnard,et al.  Communicating X-machines , 1996, Inf. Softw. Technol..

[27]  Florentin Ipate,et al.  A method for refining and testing generalised machine specifications , 1998, Int. J. Comput. Math..

[28]  Marian Gheorghe.  Generalised Stream X-Machines and Cooperating Distributed Grammar Systems , 2000, Formal Aspects of Computing.

[29]  Marian Gheorghe,et al.  P Systems with Replicated Rewriting and Stream X-Machines (Eilenberg Machines) , 2002, Fundam. Informaticae.

[30]  Petros Kefalas,et al.  A DESIGN LANGUAGE AND TOOL FOR X-MACHINES SPECIFICATION , 2000 .

[31]  Mike Holcombe,et al.  Using an X-Machine to Model a Video Cassette Recorder , 1995 .