DocumentCode
2089431
Title
Numerical Constraints for Combinatorial Interaction Testing
Author
Kruse, Peter M. ; Bauer, Jürgen ; Wegener, Joachim
Author_Institution
Berner & Mattner Systemtechnik GmbH, Berlin, Germany
fYear
2012
fDate
17-21 April 2012
Firstpage
758
Lastpage
763
Abstract
Constraints can be found in many specifications of a software system. The impact of constraints varies with the test problem, but their presence causes problems for many existing combinatorial interaction testing (CIT) tools. Of the numerous existing tools supporting CIT design only a few offer full constraints support. Of these few tools those with full published details are even rarer. In extension to existing Boolean constraints we propose numerical constraints. We discuss definition, usage and handling in this work and integrate results with the classification tree method.
Keywords
Boolean algebra; formal specification; pattern classification; program testing; software tools; trees (mathematics); Boolean constraints; CIT design; classification tree method; combinatorial interaction testing tools; numerical constraints; software system specification; test problem; Boolean functions; Data structures; Mice; Optimization; Software testing; Upper bound; classification tree method; combinatorial interaction testing; constraints;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Testing, Verification and Validation (ICST), 2012 IEEE Fifth International Conference on
Conference_Location
Montreal, QC
Print_ISBN
978-1-4577-1906-6
Type
conf
DOI
10.1109/ICST.2012.170
Filename
6200182
Link To Document