A Specification-Based Coverage Metric to Evaluate Test Sets
HASE '99 The 4th IEEE International Symposium on High-Assurance Systems Engineering
Vacuity Detection in Temporal Model Checking
CHARME '99 Proceedings of the 10th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods
Reinforced Condition/Decision Coverage (RC/DC): A New Criterion for Software Testing
ZB '02 Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B
NUSMV: A New Symbolic Model Verifier
CAV '99 Proceedings of the 11th International Conference on Computer Aided Verification
CAV '02 Proceedings of the 14th International Conference on Computer Aided Verification
Efficient Detection of Vacuity in ACTL Formulas
CAV '97 Proceedings of the 9th International Conference on Computer Aided Verification
Mutation Operators for Specifications
ASE '00 Proceedings of the 15th IEEE international conference on Automated software engineering
Using Model Checking to Generate Tests from Specifications
ICFEM '98 Proceedings of the Second IEEE International Conference on Formal Engineering Methods
Monitoring Programs Using Rewriting
Proceedings of the 16th IEEE international conference on Automated software engineering
Using a Model Checker to Test Safety Properties
ICECCS '01 Proceedings of the Seventh International Conference on Engineering of Complex Computer Systems
Coverage metrics for requirements-based testing
Proceedings of the 2006 international symposium on Software testing and analysis
Towards Property Oriented Testing
Electronic Notes in Theoretical Computer Science (ENTCS)
Introduction to Software Testing
Introduction to Software Testing
Using model-checkers to generate and analyze property relevant test-cases
Software Quality Control
The temporal logic of programs
SFCS '77 Proceedings of the 18th Annual Symposium on Foundations of Computer Science
Reachability and Propagation for LTL Requirements Testing
QSIC '08 Proceedings of the 2008 The Eighth International Conference on Quality Software
Requirements Coverage as an Adequacy Measure for Conformance Testing
ICFEM '08 Proceedings of the 10th International Conference on Formal Methods and Software Engineering
Testing with model checkers: a survey
Software Testing, Verification & Reliability
Using model checking to generate fault detecting tests
TAP'07 Proceedings of the 1st international conference on Tests and proofs
Security mutants for property-based testing
TAP'11 Proceedings of the 5th international conference on Tests and proofs
Measuring test properties coverage for evaluating UML/OCL model-based tests
ICTSS'11 Proceedings of the 23rd IFIP WG 6.1 international conference on Testing software and systems
| Hi-index | 0.00 |
While traditional testing can give evidence that an implementation conforms to a specification there is no guarantee that the implementation therefore also satisfies user requirements. Consequently, it is useful to derive test cases also from requirement properties. In this paper we introduce two new test criteria to measure adequacy of existing test suites and to derive test cases with regard to requirements formalized in linear temporal logic (LTL). The first criterion is complementary to existing criteria for requirement properties in that it focuses on cases where literals in a property should not affect the outcome of the property. The second criterion uses mutation to measure the sensitivity of a test suite with regard to the implemented requirements. In addition to coverage measurement these criteria can also be used to automatically create coverage adequate test suites with a model checker. The results of a case study illustrate the feasibility of the new criteria and demonstrate that they complement existing criteria.