Title :
Numerical Constraints for Combinatorial Interaction Testing
Author :
Kruse, Peter M. ; Bauer, Jürgen ; Wegener, Joachim
Author_Institution :
Berner & Mattner Systemtechnik GmbH, Berlin, Germany
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;
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
DOI :
10.1109/ICST.2012.170