CIFASIS 20631
CENTRO INTERNACIONAL FRANCO ARGENTINO DE CIENCIAS DE LA INFORMACION Y DE SISTEMAS
Unidad Ejecutora - UE
congresos y reuniones científicas
Título:
On Comparing and Complementing Two MBT Approaches
Autor/es:
CRISTIÁ, MAXIMILIANO; VALDIVINO ALEXANDRE; N. L. VIJAYKUMAR
Lugar:
Punta del Este
Reunión:
Workshop; 11th IEEE Latin-American Test Workshop (LATW10); 2010
Institución organizadora:
IEEE
Resumen:
At INPE researchers and software engineers have been using Statechart-based testing for some time to test on-board satellite software. On the other hand, a group of researchers at CIFASIS and Flowgate Consulting have been applying Z-based testing for unit testing. Both groups started to compare their approaches and tools a year ago. What started as a comparison to share ideas and results, is now turning into the realization that actually both techniques complement and benefit from each other, yielding a more effective and wider Model-Based Testing (MBT) approach. In this paper we present the results obtained so far in comparing and complementing these two MBT techniques.
