Theory of Fault-Based Predicate Testing for Computer Programs
IEEE Transactions on Software Engineering
A Framework for Specification-Based Testing
IEEE Transactions on Software Engineering
STG: a tool for generating symbolic test programs and oracles from operational specifications
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Projected state machine coverage for software testing
ISSTA '02 Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis
A Comparison of the BTT and TTF Test-Generation Methods
ZB '02 Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B
Using Model Checking to Generate Tests from Specifications
ICFEM '98 Proceedings of the Second IEEE International Conference on Formal Engineering Methods
Confirming Configurations in EFSM Testing
IEEE Transactions on Software Engineering
Assessing and Improving State-Based Class Testing: A Series of Experiments
IEEE Transactions on Software Engineering
Plannable Test Selection Criteria for FSMs Extracted From Operational Specifications
ISSRE '04 Proceedings of the 15th International Symposium on Software Reliability Engineering
Generation of test sequences from formal specifications: GSM 11-11 standard case study
Software—Practice & Experience
A measurement framework for evaluating model-based test generation tools
IBM Systems Journal - Model-driven software development
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
Automated boundary test generation from JML specifications
FM'06 Proceedings of the 14th international conference on Formal Methods
A taxonomy of model-based testing approaches
Software Testing, Verification & Reliability
| Hi-index | 0.00 |
Model-based test generation (MBTG) is becoming an area of active research. These techniques differ in terms of (1) modeling notations used, and (2) the adequacy criteria used for test generation. This paper (1) reviews different classes of MBTG techniques at a conceptual level, and (2) reports results of two case studies comparing various techniques in terms of their fault detection effectiveness. Our results indicate that MBTG technique which employs mutation and explicitly generates state verification sequences has better fault detection effectiveness than those based on boundary values, and predicate coverage criteria for transitions. Instead of a default adequacy criteria, certain techniques allow the user to specify test objectives in addition to the model. Our experience indicates that the task of defining appropriate test objectives is not intuitive. Furthermore, notations provided to describe such test objectives may have inadequate expressive power. We posit the need for a suitable fault modeling notation.