A constraint solving problem towards unified combinatorial interaction testing

Mercan, Hanefi and Yılmaz, Cemal (2016) A constraint solving problem towards unified combinatorial interaction testing. In: 7th Workshop on Constraint Solvers in Testing, Verification, and Analysis (CSTVA 2016), Saarbruecken, Germany

[thumbnail of paper-05.pdf] PDF

Download (275kB)


Combinatorial Interaction Testing (CIT) approaches aim to reveal failures caused by the interactions of factors, such as input parameters and configuration options. Our ultimate goal in this line of research is to improve the practicality of CIT approaches. To this end, we have been working on developing what we call Unified Combinatorial Interaction Testing (U-CIT), which not only represents most (if not all) combinatorial objects that have been developed so far, but also allows testers to develop their own application-specific combinatorial objects for testing. However, realizing U-CIT in practice requires us to solve an interesting constraint solving problem. In this work we informally define the problem and present a greedy algorithm to solve it. Our gaol is not so much to present a solution, but to introduce the problem, the solution of which (we believe) is of great practical importance.
Item Type: Papers in Conference Proceedings
Uncontrolled Keywords: Engineering controlled terms: Codes (symbols); Logic programming; Software testing; Verification
Subjects: Q Science > Q Science (General)
Divisions: Faculty of Engineering and Natural Sciences > Academic programs > Computer Science & Eng.
Faculty of Engineering and Natural Sciences
Depositing User: Cemal Yılmaz
Date Deposited: 13 Nov 2016 18:22
Last Modified: 26 Apr 2022 09:24
URI: https://research.sabanciuniv.edu/id/eprint/30422

Actions (login required)

View Item
View Item