Pseudo-Exhaustive Testing for Software

Authors:
D. Richard Kuhn;Vadim Okum
Affiliations:
National Institute of Standards and Technology, USA;National Institute of Standards and Technology, USA
Venue:
SEW '06 Proceedings of the 30th Annual IEEE/NASA Software Engineering Workshop
Year:
2006

Citing 0
Cited 17

Designing a combinatorial java unit testing tool

ACST'07 Proceedings of the third conference on IASTED International Conference: Advances in Computer Science and Technology
Combining Satisfiability Solving and Heuristics to Constrained Combinatorial Interaction Testing

TAP '09 Proceedings of the 3rd International Conference on Tests and Proofs
A New Backtracking Algorithm for Constructing Binary Covering Arrays of Variable Strength

MICAI '09 Proceedings of the 8th Mexican International Conference on Artificial Intelligence
A logic-based approach to combinatorial testing with constraints

TAP'08 Proceedings of the 2nd international conference on Tests and proofs
Verification of general and cyclic covering arrays using grid computing

Globe'10 Proceedings of the Third international conference on Data management in grid and peer-to-peer systems
A Formal Logic Approach to Constrained Combinatorial Testing

Journal of Automated Reasoning
Construction of mixed covering arrays of variable strength using a tabu search approach

COCOA'10 Proceedings of the 4th international conference on Combinatorial optimization and applications - Volume Part I
A strategy for automatic quality signing and verification processes for hardware and software testing

Advances in Software Engineering - Special issue on software test automation
Design and implementation of a t-way test data generation strategy with automated execution tool support

Information Sciences: an International Journal
Application of Particle Swarm Optimization to uniform and variable strength covering array construction

Applied Soft Computing
SP 800-142. Practical Combinatorial Testing

SP 800-142. Practical Combinatorial Testing
Combining model-based and combinatorial testing for effective test case generation

Proceedings of the 2012 International Symposium on Software Testing and Analysis
Faulty interaction identification via constraint solving and optimization

SAT'12 Proceedings of the 15th international conference on Theory and Applications of Satisfiability Testing
Model checking DSL-generated c source code

SPIN'12 Proceedings of the 19th international conference on Model Checking Software
Antirandom Test Vectors for BIST in Hardware/Software Systems

Fundamenta Informaticae
Efficiency and early fault detection with lower and higher strength combinatorial interaction testing

Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering
An orchestrated survey of methodologies for automated software test case generation

Journal of Systems and Software

Quantified Score

Hi-index	0.00

Visualization

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 card.