{log} as a Test Case Generator for the Test Template Framework

CRISTIÁ, MAXIMILIANO; ROSSI, GIANFRANCO; FRYDMAN, CLAUDIA

Madrid

Conferencia; 11th International Conference on Software Engineering and Formal Methods; 2013

{log} (pronounced ‘setlog’) is a Constraint Logic Program-ming language that embodies the fundamental forms of set designationand a number of primitive operations for set management. As such, itcan find solutions of first-order logic formulas involving set-theoretic op-erators. The Test Template Framework (TTF) is a model-based testingmethod for the Z notation. In the TTF, test cases are generated from testspecifications, which are predicates written in Z. In turn, the Z notationis based on first-order logic and set theory. In this paper we show how{log} can be applied as a test case generator for the TTF. Accordingto our experiments, {log} produces promising results compared to otherpowerful constraint solvers supporting the Z notation, such as ProB.