Opening book details…
Can I read Property Relevant Software Testing with Model-checkers on EtoBox?
Property Relevant Software Testing with Model-checkers by Gordon Fraser; Franz Wotawa is a Computer Science article available to read on EtoBox.
What is Property Relevant Software Testing with Model-checkers about?
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.
Who reads Property Relevant Software Testing with Model-checkers?
It is typically read by researchers, students, and practitioners in Computer Science.
- Author
- Gordon Fraser; Franz Wotawa
- Publisher
- ACM
- Published
- 2006
- Language
- EN
- Field
- Computer Science (Physical Sciences)