Back to Search
Start Over
Sound and Quasi-Complete Detection of Infeasible Test Requirements
- Source :
- 8th IEEE International Conference on Software Testing, Verification and Validation (ICST'15). (2015)., 2015 IEEE 8th International Conference on Software Testing, Verification and Validation (ICST), ICST 2015-IEEE 8th International Conference on Software Testing, Verification and Validation, ICST 2015-IEEE 8th International Conference on Software Testing, Verification and Validation, Apr 2015, Graz, Austria. pp.1-10, ⟨10.1109/ICST.2015.7102607⟩, ICST
- Publication Year :
- 2015
-
Abstract
- Conference Code:112251; International audience; In software testing, coverage criteria specify the requirements to be covered by the test cases. However, in practice such criteria are limited due to the well-known infeasibility problem, which concerns elements/requirements that cannot be covered by any test case. To deal with this issue we revisit and improve state-of-the-art static analysis techniques, such as Value Analysis and Weakest Precondition calculus. We propose a lightweight greybox scheme for combining these two techniques in a complementary way. In particular we focus on detecting infeasible test requirements in an automatic and sound way for condition coverage, multiple condition coverage and weak mutation testing criteria. Experimental results show that our method is capable of detecting almost all the infeasible test requirements, 95% on average, in a reasonable amount of time, i.e., less than 40 seconds, making it practical for unit testing.
- Subjects :
- Condition coverage
Test data generation
Computer science
White-box testing
System testing
Test requirements
02 engineering and technology
Value engineering
Unit testing
State of the art
Software testing
Modified condition/decision coverage
0202 electrical engineering, electronic engineering, information engineering
Weak mutation testing
Non-functional testing
Weakest precondition
[INFO]Computer Science [cs]
Test Management Approach
Coverage criteria
Analysis techniques
Computer science [C05] [Engineering, computing & technology]
Domain testing
Verification
020207 software engineering
Static analysis
Sciences informatiques [C05] [Ingénierie, informatique & technologie]
Reliability engineering
Test case
020201 artificial intelligence & image processing
Calculations
Subjects
Details
- Language :
- English
- Database :
- OpenAIRE
- Journal :
- 8th IEEE International Conference on Software Testing, Verification and Validation (ICST'15). (2015)., 2015 IEEE 8th International Conference on Software Testing, Verification and Validation (ICST), ICST 2015-IEEE 8th International Conference on Software Testing, Verification and Validation, ICST 2015-IEEE 8th International Conference on Software Testing, Verification and Validation, Apr 2015, Graz, Austria. pp.1-10, ⟨10.1109/ICST.2015.7102607⟩, ICST
- Accession number :
- edsair.doi.dedup.....b7851fe9cd5f2c4afe71fce71a6e3a6a