Axiomatic test sequence generation for extended finite state machines
- 2 January 2003
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
A test suite generation method is proposed for conformance testing of communication protocols to solve the problem of generating test sequences for protocol specification models that have memories. A program verification technique called axiomatic semantics, is used to test protocols specified by extended finite state machines (EFSMs). While an EFSM is verified by the technique, observable events are recorded. By carefully manipulating the execution path in EFSM, the observed events can be used to examine the correctness of the protocol implementations.Keywords
This publication has 7 references indexed in Scilit:
- A protocol test generation procedurePublished by Elsevier ,2003
- A test sequence selection method for protocol testingIEEE Transactions on Communications, 1991
- An introduction to Estelle: A specification language for distributed systemsComputer Networks and ISDN Systems, 1987
- Test sequence selection based on static data flow analysisComputer Communications, 1987
- A Test Design Methodology for Protocol TestingIEEE Transactions on Software Engineering, 1987
- Testing Software Design Modeled by Finite-State MachinesIEEE Transactions on Software Engineering, 1978
- A Method for the Design of Fault Detection ExperimentsIEEE Transactions on Computers, 1970