Conformance Testing with Abstract State Machines

One benefit of executable specifications is that they allow one to test the conformance of implementations to their specifications. We illustrate this on the example of Universal Plug and Play devices. The necessary test sequences are generated automatically from ASM specifications.

[1]  Thomas Santen,et al.  Automating Test Case Generation from Z Specifications with Isabelle , 1997, ZUM.

[2]  Boris Beizer,et al.  Software Testing Techniques , 1983 .

[3]  Yuri Gurevich,et al.  Evolving algebras 1993: Lipari guide , 1995, Specification and validation methods.

[4]  Egon Börger.  Abstract State Machines at the Cusp of the Millenium , 2000, Abstract State Machines.

[5]  Kwang-Ting Cheng,et al.  Automatic generation of functional vectors using the extended finite state machine model , 1996, TODE.

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

[7]  Rachida Dssouli,et al.  Automatic Test Generation for EFSM-based Systems , 1996 .

[8]  David J. Robson,et al.  The state-based testing of object-oriented programs , 1993, 1993 Conference on Software Maintenance.

[9]  Martin Peschke,et al.  Design and Validation of Computer Protocols , 2003 .

[10]  Thierry Jéron,et al.  An Experiment in Automatic Generation of Test Suites for Protocols with Verification Technology , 1997, Sci. Comput. Program..

[11]  Jan Tretmans,et al.  Automatic Testing with Formal Methods , 1999 .

[12]  Richard J. Linn,et al.  Conformance testing methodologies and architectures for OSI protocols , 1995 .

[13]  Jan Tretmans,et al.  On-the-fly conformance testing using SPIN , 2000, International Journal on Software Tools for Technology Transfer.

[14]  Jeremy Dick,et al.  Automating the Generation and Sequencing of Test Cases from Model-Based Specifications , 1993, FME.

[15]  J. Gross,et al.  Graph Theory and Its Applications , 1998 .

[16]  Alexandre Petrenko,et al.  Protocol testing: review of methods and relevance for software testing , 1994, ISSTA '94.

[17]  Alexandre Petrenko,et al.  KVEST: Automated Generation of Test Suites from Formal Specifications , 1999, World Congress on Formal Methods.

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

[19]  Alexandre Petrenko,et al.  Fault Model-Driven Test Derivation from Finite State Models: Annotated Bibliography , 2000, MOVEP.

[20]  Jan Tretmans,et al.  Testing Transition Systems: An Annotated Bibliography , 2000, MOVEP.

[21]  Larry Apfelbaum,et al.  Model Based Testing , 1997 .