Automated combinatorial test methods - Beyond pairwise testing

CrossTalk

Volumn 21, Issue 6, 2008, Pages 22-26

  Kuhn, D Richard ^a   Kacker, Raghu ^a   Lei, Yu ^b,c  

^a NATIONAL INSTITUTE OF STANDARDS AND TECHNOLOGY   (United States)

^b UNIVERSITY OF TEXAS AT ARLINGTON   (United States)

^c University of Texas at Arlington   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMBINATORIAL TESTING; LOW COSTS; MISSION CRITICAL SOFTWARES; NEW TOOLS; PAIRWISE TESTING; SOFTWARE QUALITY ASSURANCE (SQA); TEST CASES; TEST METHODS;

COMBINATORIAL MATHEMATICS; COMPUTER SOFTWARE SELECTION AND EVALUATION; ERROR DETECTION; QUALITY ASSURANCE; TESTING; TOTAL QUALITY MANAGEMENT;

SOFTWARE TESTING;

EID: 46949110461     PISSN: None     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (8)

1. Daich, G.T. "New Spreadsheet Tool Helps Determine Minimal Set of Test Parameter Combinations." CROSSTALK Aug 2003.
2. Phadke, M.S. "Planning Efficient Software Tests." CROSSTALK Oct. 1997.
3. Lei, Y., R. Kacker, D.R. Kuhn, V. Okun, and J. Lawrence. "IPOG/IPOG-D: Efficient Test Generation for Multi-Way Combinatorial Testing." Software Testing. Verification, and Reliability (to appear 2008).
4. Kuhn, D.R., D. Wallace, and A. Gallo. "Software Fault Interactions and Implications for Software Testing." IEEE Transactions on Software Engineering 30(6):418-421, 2004.
5. Wallace, D.R., and D.R. Kuhn. "Failure Modes in Medical Device Software: An Analysis of 15 Years of Recall Data." International Journal of Reliability. Quality and Safety Engineering 8(4):351-371, 2001.
6. Kuhn, D.R., and V. Okun. "PseudoExhaustive Testing for Software." Proc. of 30th NASA/IEEE Software Engineering Workshop. Apr. 2006.
7. Cimatti, A., E.M. Clarke, E. Giunchiglia, F. Giunchiglia, M. Pistore, M. Roveri, R. Sebastiani, and A. Tacchclla. "NuSMV 2: An OpenSource Tool for Symbolic Model Checking." Proc. of Internationa] Conference on Computer-Aided Verification. Copenhagen, Denmark.
8. Ammann, P., and P.E. Black. "Abstracting Formal Specifications to Generate Software Tests via Model Checking" Proc. of 18th Digital Avionics Systems Conference. St. Louis, MO. Oct. 1999.