An adaptive test sequences generation method for the users needs

We present a test sequences generation method according to users needs. Our method is based on formal languages and monoid computations. The testing users needs are expressed by extended regular expressions. A combination between the specification and the test criteria is computed, providing a specific target sub-specification. Finally, a set of test sequences is generated from this target sub-specification.

[1]  Güney Gönenç,et al.  A Method for the Design of Fault Detection Experiments , 1970 .

[2]  Krishan K. Sabnani,et al.  A new technique for generating protocol test , 1985, SIGCOMM 1985.

[3]  G. Lallement.  Semigroups and combinatorial applications , 1979 .

[4]  Gérard Berry,et al.  From Regular Expressions to Deterministic Automata , 1986, Theor. Comput. Sci..

[5]  Jean Berstel,et al.  Transductions and context-free languages , 1979, Teubner Studienbücher : Informatik.

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

[7]  J. Spencer.  Ramsey Theory , 1990 .

[8]  David Lee,et al.  Testing Finite State Machines: Fault Detection , 1995, J. Comput. Syst. Sci..

[9]  Roland Groz,et al.  From Estelle Specifications to Industrial Test Suites, Using and Empirical Approach , 1990, FORTE.

[10]  Deepinder P. Sidhu,et al.  Formal Methods for Protocol Testing: A Detailed Study , 1989, IEEE Trans. Software Eng..

[11]  Raymond E. Miller,et al.  Varieties of Formal Languages , 1986 .

[12]  G. Bochmann,et al.  Fault Models in Testing , 1991, Protocol Test Systems.

[13]  Ana R. Cavalli,et al.  Automated Protocol Conformance Test Generation Based on Formal Methods for LOTOS Specifications , 1992, Protocol Test Systems.

[14]  Krishan K. Sabnani,et al.  A Protocol Test Generation Procedure , 1988, Comput. Networks.

[15]  Ferhat Khendek,et al.  Test Selection Based on Finite State Models , 1991, IEEE Trans. Software Eng..

[16]  Alexandre Petrenko,et al.  Selecting test sequences for partially-specified nondeterministic finite state machines , 1995 .