Design and validation of computer protocols
Design and validation of computer protocols
Symbolic model checking: 1020 states and beyond
Information and Computation - Special issue: Selections from 1990 IEEE symposium on logic in computer science
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
An incremental approach to structural testing of concurrent software
ISSTA '96 Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis
Better verification through symmetry
Formal Methods in System Design - Special issue on symmetry in automatic verification
Use of Sequencing Constraints for Specification-Based Testing of Concurrent Programs
IEEE Transactions on Software Engineering
Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis
Using Model Checking to Generate Tests from Specifications
ICFEM '98 Proceedings of the Second IEEE International Conference on Formal Engineering Methods
Using a model-based test generator to test for standard conformance
IBM Systems Journal
Generating tests from UML specifications
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
The UniTesK Approach to Designing Test Suites
Programming and Computing Software
Case studies on fault detection effectiveness of model based test generation techniques
A-MOST '05 Proceedings of the 1st international workshop on Advances in model-based testing
Generation of test sequences from formal specifications: GSM 11-11 standard case study
Software—Practice & Experience
Test ready UML statechart models
Proceedings of the 2006 international workshop on Scenarios and state machines: models, algorithms, and tools
Model-based functional conformance testing of web services operating on persistent data
Proceedings of the 2006 workshop on Testing, analysis, and verification of web services and applications
Testing real-time systems using UPPAAL
Formal methods and testing
Syntactic abstraction of B models to generate tests
TAP'10 Proceedings of the 4th international conference on Tests and proofs
Specifying and generating test cases using observer automata
FATES'04 Proceedings of the 4th international conference on Formal Approaches to Software Testing
Constraint-Based approaches to the covering test problem
CSCLP'04 Proceedings of the 2004 joint ERCIM/CoLOGNET international conference on Recent Advances in Constraints
B model slicing and predicate abstraction to generate tests
Software Quality Control
An orchestrated survey of methodologies for automated software test case generation
Journal of Systems and Software
A systematic review on the functional testing of semantic web services
Journal of Systems and Software
| Hi-index | 0.00 |
Our research deals with test generation for software based on finite state machine (FSM) models of the program specification. We describe a set of coverage criteria and testing constraints for use in the automatic generation of test suites. We also describe the algorithms used to generate test suites based on these coverage criteria, and the implementation of these algorithms as an extension of the Murϕ model checker[4]. The coverage criteria are simple but powerful in that they generate test suites of high quality and moderate volume, without requiring the user to have a sophisticated grasp of the test generation technology. The testing constraints are used to combat the endemic problem of state explosion, typically encountered in FSM techniques. We illustrate our techniques on several well-known problems from the literature and describe two industrial trials, to demonstrate the validity of our claims.