On Comparing and Complementing two MBT approaches

At INPE 1 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 2 and Flowgate Consulting have been applying Z-based testing for unit testing. Both groups started to compare...

Full description

Saved in:
Bibliographic Details
Published in2010 11th Latin American Test Workshop pp. 1 - 6
Main Authors Cristia, Maximiliano, Santiago, Valdivino, Vijaykumar, N L
Format Conference Proceeding
LanguageEnglish
Published IEEE 01.03.2010
Subjects
Computers
Data models
Object oriented modeling
Satellites
Software
Testing
Unified modeling language
Online AccessGet full text

Cover

More Information
Summary:At INPE 1 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 2 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.
ISBN:9781424477869
1424477867
ISSN:2373-0862
DOI:10.1109/LATW.2010.5550339