CIFASIS 20631
CENTRO INTERNACIONAL FRANCO ARGENTINO DE CIENCIAS DE LA INFORMACION Y DE SISTEMAS
Unidad Ejecutora - UE
informe técnico
Título:
MODEL-BASED TEST CASE GENERATION USING STATECHARTS AND Z: A COMPARISON AND A COMBINED APPROACH
Autor/es:
SANTIAGO, VALDIVINO; CRISTIÁ, MAXIMILIANO; VIJAYKUMAR, N. L.
Fecha inicio/fin:
2008-07-01/2012-07-01
Páginas:
1-73
Naturaleza de la
Producción Tecnológica:
Informática (software)
Campo de Aplicación:
Espacio
Descripción:
At Instituto Nacional de Pesquisas Espaciais (INPE - National Institute for SpaceResearch), researchers and Software Engineers have been using Statechart-basedtesting for some time to test satellite computer embedded software. On the otherhand, a group of researchers at Centro Internacional Franco Argentino de Cienciasde la Informaci ́n y de Sistemas (CIFASIS - French Argentine International Centerofor Information Systems and Sciences) and Flowgate Consulting have been applyingZ-based testing for unit testing. Both groups started to compare their approachesand tools and, what started as a comparison to share ideas and results, is now turninginto the realization that actually both techniques complement and benefit from eachother, yielding a more effective and wider Model-Based Testing (MBT) approach.This Technical Report details the ideas of the comparison between Statecharts andZ, and also the proposal combining these two techniques shown previously in apaper accepted and presented at the 11th IEEE Latin American Test Workshop(LATW10) that took place in Punta del Este, Uruguay, 2010.
