Software testing techniques (2nd ed.)
Software testing techniques (2nd ed.)
Specification-based test oracles for reactive systems
ICSE '92 Proceedings of the 14th international conference on Software engineering
Temporal verification of reactive systems: safety
Temporal verification of reactive systems: safety
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
Efficient Detection of Vacuity in Temporal Model Checking
Formal Methods in System Design - Special issue on CAV '97
A Specification-Based Coverage Metric to Evaluate Test Sets
HASE '99 The 4th IEEE International Symposium on High-Assurance Systems Engineering
Coverage Metrics for Temporal Logic Model Checking
TACAS 2001 Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
CAV '02 Proceedings of the 14th International Conference on Computer Aided Verification
Criteria for Generating Specification-Based Tests
ICECCS '99 Proceedings of the 5th International Conference on Engineering of Complex Computer Systems
A Practical Tutorial on Modified Condition/Decision Coverage
A Practical Tutorial on Modified Condition/Decision Coverage
Automatic test-case generation from formal models of software
Automatic test-case generation from formal models of software
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
Resets vs. aborts in linear temporal logic
TACAS'03 Proceedings of the 9th international conference on Tools and algorithms for the construction and analysis of systems
Property relevant software testing with model-checkers
ACM SIGSOFT Software Engineering Notes
Automated requirements-based test case generation
ACM SIGSOFT Software Engineering Notes
Safety and Software Intensive Systems: Challenges Old and New
FOSE '07 2007 Future of Software Engineering
Using model-checkers to generate and analyze property relevant test-cases
Software Quality Control
Requirements-based test case specification by using information from model construction
Proceedings of the 3rd international workshop on Automation of software test
Automated Test Generation and Verified Software
Verified Software: Theories, Tools, Experiments
Requirements Coverage as an Adequacy Measure for Conformance Testing
ICFEM '08 Proceedings of the 10th International Conference on Formal Methods and Software Engineering
A formal analysis of requirements-based testing
Proceedings of the eighteenth international symposium on Software testing and analysis
Complementary Criteria for Testing Temporal Logic Properties
TAP '09 Proceedings of the 3rd International Conference on Tests and Proofs
Towards preserving model coverage and structural code coverage
EURASIP Journal on Embedded Systems - Challenges on complexity and connectivity in embedded systems
Automation component aspects for efficient unit testing
ETFA'09 Proceedings of the 14th IEEE international conference on Emerging technologies & factory automation
The influence of multiple artifacts on the effectiveness of software testing
Proceedings of the IEEE/ACM international conference on Automated software engineering
Error detection rate of MC/DC for a case study from the automotive domain
SEUS'10 Proceedings of the 8th IFIP WG 10.2 international conference on Software technologies for embedded and ubiquitous systems
Better testing through oracle selection (NIER track)
Proceedings of the 33rd International Conference on Software Engineering
Security mutants for property-based testing
TAP'11 Proceedings of the 5th international conference on Tests and proofs
Challenges in the regulatory approval of medical cyber-physical systems
EMSOFT '11 Proceedings of the ninth ACM international conference on Embedded software
Constructive finite trace analysis with linear temporal logic
TAP'12 Proceedings of the 6th international conference on Tests and Proofs
Checking sanity of software requirements
SEFM'12 Proceedings of the 10th international conference on Software Engineering and Formal Methods
| Hi-index | 0.00 |
In black-box testing, one is interested in creating a suite of tests from requirements that adequately exercise the behavior of a software system without regard to the internal structure of the implementation. In current practice, the adequacy of black box test suites is inferred by examining coverage on an executable artifact, either source code or a software model.In this paper, we define structural coverage metrics directly on high-level formal software requirements. These metrics provide objective, implementation-independent measures of how well a black-box test suite exercises a set of requirements. We focus on structural coverage criteria on requirements formalized as LTL properties and discuss how they can be adapted to measure finite test cases. These criteria can also be used to automatically generate a requirements-based test suite. Unlike model or code-derived test cases, these tests are immediately traceable to high-level requirements. To assess the practicality of our approach, we apply it on a realistic example from the avionics domain.