MGASet - Uma Ferramenta para Apoiar o Teste e Validação de Especificações Baseadas em Máquinas de Estado Finito

• Marco Arthur Pereira Candolo USP
• Adenilso da Silva Simão USP
• José Carlos Maldonado USP

DOI: https://doi.org/10.5753/sbes.2001.24007

Resumo

A atividade de teste é fundamental no desenvolvimento de sistemas críticos, tais como controladores de transito ou médico-hospitalares, uma vez que a ocorrência de falhas em tais sistemas é inadmissível, devido as graves conseqüências que acarretam para o ambiente em que estão inseridos. Dessa forma, são essenciais a utilização de técnicas rigorosas de teste e validação, e, em especial, a disponibilidade de ferramentas de apoio. Em geral, a especificação do aspecto comportamental desses sistemas é feita com uso de máquinas de transição de estado, tais como Máquinas de Estado Finito, Statecharts, Redes de Petri, etc. Com o objetivo de apoiar o teste e a validação de sistemas reativos especificados com o uso de Máquinas de Estado Finito, desenvolveu-se a ferramenta MGASet, que realiza a verificação de propriedades e a geração de seqüências típicas e de seqüências de teste.

Referências

ANIDO, R.; CAVALLI, A.; LIMA, L. P.; YEVTUSHENKO, N. Test suite minimization for testing in context. Rel. Téc., Instituto de Computação, Universidade de Campinas, (draft version), 2000.

CANDOLO, M. A. P.; SIMÃO, A. S.; MALDONADO, J. C. MGASet-Java: Geração de Seqüências de Teste para Validação de Especificações Baseada em Máquina de Estado Finito. In: Simpósio Internacional de Iniciação Científica da USP SIICUSP, 2000.

CANDOLO, M. A. P.; SIMÃO, A. S.; MALDONADO, J. C. Manual do Usuário da Ferramenta MGASet-Java. Rel. Téc. (em elaboração), ICMC, São Carlos, 2001.

CHOW, T. S. Testing Software Design Modeled by Finite State Machines. IEEE Transactions on Software Engineering, v. 4, n. 3, p. 178-187, 1978.

GILL, A. Introduction to the Theory of Finite State Machines. New York : McGrall Hill, 1962.

GÖNENÇ, G. A Method for Design of Fault-Detection Experiments. IEEE Transactions on Computers, v. 19, n. 6, p. 551-558, 1970.

NAKAZATO, K. K. Módulo de geração de seqüências de teste baseada em máquinas de estado finito. Dissertação de Mestrado, ICMC/USP, São Carlos/SP, 1995.

NAKAZATO, K. K.; ALEXANDRINO, M.; MALDONADO, J. C.; FABBRI, S. C. P. F.; MASIERO, P. C. MGASet - Módulo de Geração de Seqüências de Teste. In: Anais da Sessão de Ferramentas do IX Simpósio Brasileiro de Engenharia de Software, Recife, Pernambuco, 1995, p. 479-482.

NAKAZATO, K. K.; MALDONADO, J. C.; FABBRI, S. C. P. F.; MASIERO, P. C. Propriedades de máquinas de estado finito relevantes para critérios de geração de seqüências de teste. Rel. Téc. 27, ICMC, São Carlos, 1994.

NAKAZATO, K. K.; MALDONADO, J. C.; FABBRI, S. C. P. F.; MASIERO, P. C. Seqüências básicas de máquinas de estado finito. Rel. Téc. 28, ICMC, São Carlos, 1994.