Congress detail

Authors: Cristiá, Maximiliano; Rossi, Gianfranco; Frydman, Claudia.

Resumen: {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.

Meeting type: Conferencia.

Type of job: Artículo Completo.

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

Scientific meeting: 11th International Conference on Software Engineering and Formal Methods.

Meeting place: Madrid.

It's published?: Yes

Publication place: Berlin

Meeting month: 9

Year: 2013.