A Practical Approach for Automated Test Case Generation using Statecharts

Authors:
Valdivino Santiago;Ana Silvia Martins do Amaral;N. L. Vijaykumar;Maria de Fatima Mattiello-Francisco;Eliane Martins;Odnei Cuesta Lopes
Affiliations:
National Institute for Space Reseach, Brazil;National Institute for Space Reseach, Brazil;National Institute for Space Reseach, Brazil;National Institute for Space Reseach, Brazil;University of Campinas, Brazil;DBA Engenharia de Sistemas, Brazil
Venue:
COMPSAC '06 Proceedings of the 30th Annual International Computer Software and Applications Conference - Volume 02
Year:
2006

Citing 0
Cited 5

WEB-PerformCharts: a collaborative web-based tool for test case generation from statecharts

Proceedings of the 10th International Conference on Information Integration and Web-based Applications & Services
Model transformations to satisfy all-configurations-transitions on statecharts

Proceedings of the 6th International Workshop on Model-Driven Engineering, Verification and Validation
Automatic test case generation through a collaborative web application

EuroIMSA '08 Proceedings of the IASTED International Conference on Internet and Multimedia Systems and Applications
Generating model-based test cases from natural language requirements for space application software

Software Quality Control
Integrated intrusion detection in databases

LADC'07 Proceedings of the Third Latin-American conference on Dependable Computing

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper presents an approach for automated test case generation using a software specification modeled in Statecharts. The steps defined in such approach involve: translation of Statecharts modeling into an XML-based language; and the PerformCharts tool generates FSMs based on control flow. These FSMs are the inputs for the Condado tool which generates test cases. The idea is to demonstrate that by using a higher-level technique, such as Statecharts, complex software can be represented with clarity and rich details. A case study was on an implementation of a protocol specified for communication between a scientific experiment and the On-Board Data Handling Computer of a satellite under development at National Institute for Space Research (INPE).