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.