Pseudo-Exhaustive Testing for Software
- 1 April 2006
- conference paper
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 153-158
- https://doi.org/10.1109/sew.2006.26
Abstract
Pseudo-exhaustive testing uses the empirical observation that, for broad classes of software, a fault is likely triggered by only a few variables interacting. The method takes advantage of two relatively recent advances in software engineering: algorithms for efficiently generating covering arrays to represent software interaction test suites, and automated generation of test oracles using model checking. An experiment with a module of the traffic collision avoidance system (TCAS) illustrates the approach testing pairwise through 6-way interactions. We also outline current and future work applying the test methodology to a large real-world application, the personal identity verification (PIV) smart cardKeywords
This publication has 15 references indexed in Scilit:
- Combination testing strategies: a surveySoftware Testing, Verification and Reliability, 2005
- A framework of greedy methods for constructing interaction test suitesPublished by Association for Computing Machinery (ACM) ,2005
- Software fault interactions and implications for software testingIEEE Transactions on Software Engineering, 2004
- A specification-based coverage metric to evaluate test setsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Experiments on the effectiveness of dataflow- and control-flow-based test adequacy criteriaPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- In-parameter-order: a test generation strategy for pairwise testingPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- FAILURE MODES IN MEDICAL DEVICE SOFTWARE: AN ANALYSIS OF 15 YEARS OF RECALL DATAInternational Journal of Reliability, Quality and Safety Engineering, 2001
- The combinatorial design approach to automatic test generationIEEE Software, 1996
- Robust Testing of AT&T PMX/StarMAIL Using OATSAT&T Technical Journal, 1992
- Orthogonal Latin squares: an application of experiment design to compiler testingCommunications of the ACM, 1985