A practical approach for automated test case generation using statecharts

Proceedings - International Computer Software and Applications Conference

Volumn 2, Issue , 2006, Pages 183-188

  Santiago, Valdivino ^a   Do Amaral, Ana Silvia Martins ^a   Vijaykumar, N L ^a   De Fátima, Maria ^a   Mattiello Francisco, ^a   Martins, Eliane ^b   Lopes, Odnei Cuesta ^c  

^a National Institute for Space Reseach

^b UNIVERSITY OF CAMPINAS   (Brazil)

^c DBA Engenharia de Sistemas   (Brazil)

Author keywords

[No Author keywords available]

Indexed keywords

STATECHARTS; TEST CASE GENERATION;

AUTOMATION; COMPUTATIONAL COMPLEXITY; COMPUTATIONAL METHODS; COMPUTER SIMULATION; DATA FLOW ANALYSIS; GRAPHIC METHODS;

SOFTWARE TESTING;

EID: 34247526033     PISSN: 07303157     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/COMPSAC.2006.100     Document Type: Conference Paper

References (9)

1. Sidhu, D.; Leung, T. Formal Methods for Protocol Testing: A Detailed Study. IEEE Transactions on Software Engineering, 15(4), 413-426, 1989.
2. Lee, D.; Yannakakis, M. Principles and methods of testing finite state machines - A survey. Proceedings of the IEEE, vol. 84(8), 1996, pp. 1090-1123.
3. Pimont, S.; Rault, J.C. An approach towards reliable software. In Proceedings of the 4th International Conference on Software Engineering, Munich, Germany, pp. 220-230, 1979.
4. Silva, E. A. S.; Muntz, K. M. Computational Methods to solve Markov Chains: Applications in Computing and Communication Systems. Instituto de Informática da UFRGS, Gramado, Brasil, p. 195, 1992. (In Portuguese).
5. Harel, D.; Statecharts: a visual formalism for complex systems. Science of Computer Programming, v. 8, n., p. 231-274, 1987.
6. Vijaykumar, N. L.; Carvalho, S. V.; Abdurahiman, V. On proposing Statecharts to specify performance models. International Transactions in Operational Research, 9, 321-336, 2002.
7. Amaral, A.S.M.S. Test case generation of systems specified in Statecharts. M.S. thesis - Laboratory of Computing and Applied Mathematics, INPE, Brazil, 2006. (In Portuguese).
8. Harel, D.; Politi, M. Modeling reactive systems with Statecharts: the statemate approach. USA: McGraw-Hill, 1998.
9. National Institute for Space Research (INPE). EXP-OBDH Communication Protocol Definition: a case study for PLAVIS. São José dos Campos: INPE/QSEE Project, 1998, p. 9 (INPE Internal Publication/QSEE Project).