Catnap: generating test suites of constrained combinatorial testing with answer set programming. (English) Zbl 1491.68189

Balduccini, Marcello (ed.) et al., Logic programming and nonmonotonic reasoning. 14th international conference, LPNMR 2017, Espoo, Finland, July 3–6, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10377, 265-278 (2017).
Summary: We develop an approach to test suite generation for constrained combinatorial testing (CCT), one of the most widely studied combinatorial testing techniques, based on answer set programming (ASP). The resulting catnap system accepts a CCT instance in fact format and combines it with a first-order encoding for generating test suites, which can subsequently be solved by any off-the-shelf ASP systems. We evaluate the effectiveness of our approach by empirically contrasting it to the best known bounds obtained via dedicated implementations.
For the entire collection see [Zbl 1367.68005].


68T20 Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)
68N17 Logic programming


teaspoon; Catnap
Full Text: DOI