Detalle del congreso

Autores: 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.

Tipo de reunión: Conferencia.

Tipo de trabajo: Artículo Completo.

Producción: {log} as a Test Case Generator for the Test Template Framework.

Reunión científica: 11th International Conference on Software Engineering and Formal Methods.

Lugar: Madrid.

Publicado: Sí

Lugar publicación: Berlin

Mes de reunión: 9

Año: 2013.