An environment for automated test case generation from statechart-based and finite state machine-based behavioral models

2008 IEEE International Conference on Software Testing Verification and Validation Workshop, ICSTW'08

Volumn , Issue , 2008, Pages 63-72

  Santiago, Valdivino ^a   Vijaykumar, N L ^a   Guimarães, Danielle ^a   Amaral, Ana Silvia ^a   Ferreira, Érica ^a  

^a INSTITUTO NACIONAL DE PESQUISAS ESPACIAIS   (Brazil)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATION; CHLORINE COMPOUNDS; COMPUTER SCIENCE; CONTOUR FOLLOWERS; EXPERIMENTS; FINITE AUTOMATA; RESEARCH; SOFTWARE TESTING; SPACE RESEARCH; TESTING; VERIFICATION;

AUTOMATED TEST CASE GENERATION; BEHAVIORAL MODELING; CASE STUDIES; COMPLEX SOFTWARE; EMBEDDED SOFTWARES; FINITE STATE MACHINE; FINITE-STATE MACHINES; INTERNATIONAL CONFERENCES; STATECHARTS; TEST CASES; TEST CRITERIA; TEST METHODS; TEST SEQUENCES; TEST-CASE GENERATION; VERIFICATION AND VALIDATION;

COMPUTER SOFTWARE SELECTION AND EVALUATION;

EID: 52249111875     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICSTW.2008.7     Document Type: Conference Paper

References (19)

1. El-Far, I. K.; Whittaker, J. A. Model-based Software Testing. Encyclopedia on Software Engineering, J. J. Marciniak (ed.), Wiley, 2001.
2. Utting, M.; Pretschner, A.; Legeard, B. A Taxonomy of Model-Based Testing. Working Paper Series, ISSN 1170-487X, The University of Waikato, 2006, Hamilton, New Zealand, p. 17.
3. 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.
4. Harel, D.; Statecharts: a visual formalism for complex systems. Science of Computer Programming, v. 8, n., p. 231-274, 1987.
5. th Pacific Northwest Software Quality Conference, 1993, Portland, USA.
6. Sidhu, D.P.; Leung, T. Formal Methods for Protocol Testing: A Detailed Study. IEEE Transactions on Software Engineering, 1989, 15(4), p. 413-426.
7. Pimont, S.; Rault, J.C. An approach towards reliable software. Proceedings of the 4th International Conference on Software Engineering, 1979, Munich, Germany, p. 220-230.
8. Petrenko, A.; Yevtushenko, N. Testing from Partial Deterministic FSM Specifications. IEEE Transactions on Computers, 2005, 54(9), p. 1154-1165.
9. Hong, H.S.; Kim, Y.G.; Cha, S.D.; Bae, D.H. and Ural, H. A Test Sequence Selection Method for Statecharts. Software Testing, Verification and Reliability, 2000, 10(4), p. 203-227.
10. Binder, R. Testing Object-Oriented Systems: Models, Patterns, and Tools. Addison-Wesley Professional, 1999, p. 1248.
11. Santiago, V.; Amaral, A.S.M.; Vijaykumar, N.L.; Mattiello-Francisco, M.F.; Martins, E.; Lopes, O.C. A Practical Approach for Automated Test Case Generation using Statecharts. In: 2nd International Workshop on Testing and Quality Assurance for Component-Based Systems, IEEE COMPSAC Conference, 2006, Chicago, EUA, v. 2, p. 183-188.
12. Souza, S.R.S. Validação de Especificações de Sistemas Reativos: Definição e Análise de Critérios de Teste. PhD Thesis, 2000, Univesity of São Paulo, Brazil (In Portuguese).
13. Masiero, P.C.; Maldonado, J.C; Boaventura, I.G. A Reachability Tree for Statecharts and Analysis of some Properties. Information and Software Tecnology, 1994, 36(10), p. 615-624.
14. th IEEE International Conference on Software Engineering, 2004, Edinburgh, Scotland, p. 86-95.
15. Vijaykumar, N.L; Carvalho, S.V.; Francês, C.R.L.; Abdurahiman, V.; Amaral, A.S.M. Performance Evaluation from Statecharts Representation of Complex Systems: Markov Approach. In: IV WPerformance, SBC, 2006, Campo Grande, MS, Brazil, p. 183-202.
16. Martins, E.; Sabião, S.B.; Ambrosio, A. M. ConData: a tool for automating specification-based test case generation for communication systems. Software Quality Journal, 1999, v.8, n. 4, p. 303-319.
17. Ostrand, T.J.; Balcer, M..I. The Category-Partition Method for Specifying and Generating Functional Test. Communications of the ACM, 1988, 31(6), p. 676-686.
18. 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).
19. Santiago, V.; Mattiello-Francisco, M.F.; Costa, R.; Suva, W.P.; Ambrosio, A.M. QSEE Project: An Experience in Outsourcing Software Development for Space Applications. In: The 19th International Conference on Software Engineering & Knowledge Engineering (SEKE), 2007, Boston, EUA, p. 51-56.