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 :
بازگشت