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

Marketing Automation Platform Marketing Automation Tool