A protocol test generation procedure
Computer Networks and ISDN Systems
Experience with test generation for real protocols
SIGCOMM '88 Symposium proceedings on Communications architectures and protocols
Formal Methods for Protocol Testing: A Detailed Study
IEEE Transactions on Software Engineering
Method of constructing a test experiment for an arbitrary deterministic automation
Automatic Control and Computer Sciences
Test Selection Based on Finite State Models
IEEE Transactions on Software Engineering
On tools supporting the use of formal description techniques in protocol development
Computer Networks and ISDN Systems - Special issue on tools for FDTs
Protocol testing: review of methods and relevance for software testing
ISSTA '94 Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis
Testing finite state machines: fault detection
Selected papers of the 23rd annual ACM symposium on Theory of computing
On Minimizing the Lengths of Checking Sequences
IEEE Transactions on Computers
Efficient computation of unique input/output sequences in finite-state machines
IEEE/ACM Transactions on Networking (TON)
Switching and Finite Automata Theory: Computer Science Series
Switching and Finite Automata Theory: Computer Science Series
Testing Finite-State Machines: State Identification and Verification
IEEE Transactions on Computers
A survey of communication protocol testing
Journal of Systems and Software
Executable Test Sequence for the Protocol Data Flow Property
FORTE '01 Proceedings of the IFIP TC6/WG6.1 - 21st International Conference on Formal Techniques for Networked and Distributed Systems
KVEST: Automated Generation of Test Suites from Formal Specifications
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
Checking Experiments with Protocol Machines
Proceedings of the IFIP TC6/WG6.1 Fourth International Workshop on Protocol Test Systems IV
Nondeterministic State Machines in Protocol Conformance Testing
Proceedings of the IFIP TC6/WG6.1 Sixth International Workshop on Protocol Test systems VI
Testing from Partial Deterministic FSM Specifications
IEEE Transactions on Computers
EXPERIMENTAL EVALUATION OF FSM-BASED TESTING METHODS
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
Software Testing and Quality Assurance
Software Testing and Quality Assurance
A Method for the Design of Fault Detection Experiments
IEEE Transactions on Computers
Checking Experiments ror Sequential Machines
IEEE Transactions on Computers
Testing Software Design Modeled by Finite-State Machines
IEEE Transactions on Software Engineering
Fault detecting experiments for sequential circuits
SWCT '64 Proceedings of the 1964 Proceedings of the Fifth Annual Symposium on Switching Circuit Theory and Logical Design
Foundations of Software Testing
Foundations of Software Testing
An improved conformance testing method
FORTE'05 Proceedings of the 25th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Evaluating software engineering techniques for developing complex systems with multiagent approaches
Information and Software Technology
Evaluating test suite characteristics, cost, and effectiveness of FSM-based testing methods
Information and Software Technology
A practical approach for testing timed deterministic finite state machines with single clock
Science of Computer Programming
Contributions of model checking and CoFI methodology to the development of space embedded software
Empirical Software Engineering
| Hi-index | 0.00 |
The development of test cases is an important issue for testing software, communication protocols and other reactive systems. A number of methods are known for the development of a test suite based on a formal specification given in the form of a finite state machine. In this paper, we overview and experiment with these methods to assess their complexity, applicability, completeness, fault detection capability, length and derivation time of their test suites. The experiments are conducted on randomly generated specifications and on two realistic protocols called the Simple Connection Protocol and the ITU-T V.76 Recommendation.