Detalle del congreso
Autores: 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.
Tipo de reunión: Congreso.
Producción: Using {log} as a test case generator for Z specifications.
Reunión científica: 28-esimo Convegno Italiano di Logica Computazionale.
Lugar: Catania.
Institución organizadora: Gruppo Ricercatori e Utenti Logic Programming.
Publicado: No
Mes de reunión: 9
Año: 2013.