Using model checking to generate tests from requirements specifications
ESEC/FSE-7 Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering
Model Checking Complete Requirements Specifications Using Abstraction
Automated Software Engineering
A Specification-Based Coverage Metric to Evaluate Test Sets
HASE '99 The 4th IEEE International Symposium on High-Assurance Systems Engineering
Design and Synthesis of Synchronization Skeletons Using Branching-Time Temporal Logic
Logic of Programs, Workshop
Mutation Operators for Specifications
ASE '00 Proceedings of the 15th IEEE international conference on Automated software engineering
Criteria for Generating Specification-Based Tests
ICECCS '99 Proceedings of the 5th International Conference on Engineering of Complex Computer Systems
Using Model Checking to Generate Tests from Specifications
ICFEM '98 Proceedings of the Second IEEE International Conference on Formal Engineering Methods
Using a Model Checker to Test Safety Properties
ICECCS '01 Proceedings of the Seventh International Conference on Engineering of Complex Computer Systems
Test-Suite Reduction for Model Based Tests: Effects on Test Quality and Implications for Testing
Proceedings of the 19th IEEE international conference on Automated software engineering
Generating Efficient Test Sets with a Model Checker
SEFM '04 Proceedings of the Software Engineering and Formal Methods, Second International Conference
Coverage metrics for requirements-based testing
Proceedings of the 2006 international symposium on Software testing and analysis
Specification test coverage adequacy criteria = specification test generation inadequacy criteria
HASE'04 Proceedings of the Eighth IEEE international conference on High assurance systems engineering
Using LTL rewriting to improve the performance of model-checker based test-case generation
Proceedings of the 3rd international workshop on Advances in model-based testing
Test-case prioritization with model-checkers
SE'07 Proceedings of the 25th conference on IASTED International Multi-Conference: Software Engineering
Using model-checkers to generate and analyze property relevant test-cases
Software Quality Control
Regression testing minimization, selection and prioritization: a survey
Software Testing, Verification & Reliability
| Hi-index | 0.00 |
Verification is applied to software as a proof method with respect to its requirements. Software testing is necessary due to the fact that verification is often infeasible. Automation is desirable since the complexity and the effort involved are significant. However, automated software testing is commonly used to ensure confidence in the conformance of an implementation to an abstract model, not to its requirement properties. In this paper, we introduce the notion of property relevance of test-cases. Property relevant test-cases can be used to determine property violations. It is shown how to detect the properties relevant to a test-case. New coverage criteria based on property relevance are introduced. Automated generation of test-suites satisfying these criteria is also presented. Finally, feasibility is illustrated with an empirical evaluation.