• 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