Detalle del congreso

Autores: Cristiá, Maximiliano; Rodríguez Monetti, Pablo.

Resumen: In this paper we describe the functional features and the architecture of a tool implementing the Stocks-Carrington framework (TTF) for model based testing (MBT). The resulting prototype, called Fastest, makes it easy to generate test cases from Z specifications. We not only apply the ideas of the referred framework but we also use a technique based on finite models to find test cases, which has proved to increase the level of automation during the whole testing process. The paper also discusses problems and challenges that have appeared during the development of the tool, and introduces real case studies and an analysis of the results obtained so far.

Tipo de reunión: Conferencia.

Tipo de trabajo: Artículo Completo.

Producción: Implementing and Applying the Stocks-Carrington Framework for Model-Based Testing.

Reunión científica: 11th International Conference on Formal Engineering Methods, ICFEM 2009.

Lugar: Río de Janeiro - Brasil.

Publicado: Sí

Lugar publicación: Lecture Notes In Computer Science; Vol. 5885

Mes de reunión: 12

Año: 2009.