The Community for Technology Leaders
2013 IEEE 37th Annual Computer Software and Applications Conference (2006)
Chicago, Illinois
Sept. 17, 2006 to Sept. 21, 2006
ISSN: 0730-3157
ISBN: 0-7695-2655-1
pp: 183-188
N. L. Vijaykumar , National Institute for Space Reseach, Brazil
Odnei Cuesta Lopes , DBA Engenharia de Sistemas, Brazil
Eliane Martins , University of Campinas, Brazil
Valdivino Santiago , National Institute for Space Reseach, Brazil
Maria de F?tima Mattiello-Francisco , National Institute for Space Reseach, Brazil
Ana Silvia Martins do Amaral , National Institute for Space Reseach, Brazil
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).
INDEX TERMS
null
CITATION
N. L. Vijaykumar, Odnei Cuesta Lopes, Eliane Martins, Valdivino Santiago, Maria de F?tima Mattiello-Francisco, Ana Silvia Martins do Amaral, "A Practical Approach for Automated Test Case Generation using Statecharts", 2013 IEEE 37th Annual Computer Software and Applications Conference, vol. 02, no. , pp. 183-188, 2006, doi:10.1109/COMPSAC.2006.100
90 ms
(Ver )