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.