loading...
A Practical Approach for Automated Test Case Generation using Statecharts
Chicago, Illinois September 17-September 21
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/COMPSAC.2006.10030th Annual International Computer So ...
 This Article 
 
PDF
HTML
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
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
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).
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, vol. 2, pp.183-188, 30th Annual International Computer Software and Applications Conference (COMPSAC'06), 2006
Usage of this product signifies your acceptance of the Terms of Use.


Suggestions