Congress detail

Authors: Cristiá, Maximiliano; Rossi, Gianfranco.

Resumen: The Test Template Framework (TTF) is a model-based testing method for the Z notation, a formal specification language based on first-order logic and set theory. In the TTF, test cases are generated from test specifications, which are predicates written in Z. In this paper we show how {log} can be applied as a test case generator for the TTF. {log} is a Constraint Logic Programming language that embodies thefundamental forms of set designation and a number of primitive operations for set management. As such, it can find solutions of first-order logic formulas involving set-theoretic operators. According to our experiments, {log} produces promising results as concerns the effectiveness and efficiency in finding solutions (i.e. test cases) out of a number of non-trivial test specifications.

Meeting type: Congreso.

Production: Using {log} as a test case generator for Z specifications.

Scientific meeting: 28-esimo Convegno Italiano di Logica Computazionale.

Meeting place: Catania.

Organizing Institution: Gruppo Ricercatori e Utenti Logic Programming.

It's published?: No

Meeting month: 9

Year: 2013.