Estratégia para teste de Máquinas Finitas de Estados Estendidas
Resumo
Este artigo apresenta um método para melhorar a estratégia de geração de dados por parte da CONDADO [Sab98], uma ferramenta desenvolvida para testes baseados em máquinas finitas de estados estendidas(MFEE). Para isso pretende-se considerar os predicados associados às transições da máquina com o uso dos testes de domínios. Com essa modificação será melhorado o potencial para detecção de falhas, e ainda, será reduzido o número de casos de teste correspondentes a caminhos não executáveis.
Referências
Beizer, Boris. Software Testing Techniques. 1990.
Beizer. Boris. Bluck-Box Testing. Techniques for Functional Testing of Software and Systems . 1995.
Bochmann. G. v. & Dssouli, R. Test Development for Distributed Systems: Towards Automation. XV Simpósio Brasileiro de Redes de Computadores. São Carlos — SP. 1997.
Bourhfir. C.: Dssouli. R. & Aboulhamid E.M. Automatic Test Generation for EFSM-based Systems. http://www.iro.umontreal.ca/labs/teleinfo/PubListIndex.html. 1996.
Bourhfir. C.: Dssouli, R.: Aboulhamid E. M. & Rico, N. Automatic Executable Test Case Generation for Extended Finite State Machine Protocols. http://www.iro.umontreal.ca/labs/teleinfo/PubListIndex.html. 1997.
Castanet, R & Sijelmasi. R. Methods and Semi-Automatic Tools for Preparing Distributed Testing. IFIP. 1987.
Clarke. Lori A., Hassell. J. & Richardson, Debra J. A Close Look at Domain Testing. IEEE Trans. On Softare Engineering. vol.SE-8. Jul/82. pp. 380-390.
Hajnal, A. & Forgacs. I. An Applicable Test Data Generation Algorithm dor Domain Errors. ISSTA. 1998.
Jeng. B. & Weyuker, Elaine J. A Simplified Domain Testing Strategy. ACM Trans. On Software Engineering and Methodology, 3(3). Jul/94. pp. 254-270.
Poston, R. M. Automating Specification-based Software Testing. IEEE Computer Society Press. 1996.
Sabião. Selma B. Um Método para Geração de Testes Baseado em Máquina Finita de Estado Estendida combinando técnicas de teste caixa preta. Tese de Mestrado. Universidade Estadual de Campinas. Campinas. 1998.
Ural H. & Yang. B. 4 Test Sequence Selection Method for Protocol Testing. IEEE Transaction On Communications, Vol 39, No. 4. 1991.
Ural. H. & Probert. R. L. User-guided Test Sequence Generation. Protocol Specification. Testing and Verification I. 1983.
Vergílio. S. R. Critérios Restritos de Teste de Software: Uma Contribuição para Gerar Dados de Teste Mais Eficazes. Tese de Doutorado. FEEC. UNICAMP. 1997.
Vergílio, S. R., Maldonado. J. C. & Jino. M. Resultados de um Experimento de Aplicação de Diferentes Técnicas de Geração de Dados de Teste. Workshop de Projeto. Validação e Teste de Sistemas de Operação. Janeiro. 1997.
Vilela, P. R. S., Maldonado. J. C.. Jino. M. & Chain. M. C. Uma Visão Sobre o Teste Estrutural Baseado em Análise de Fluxo de Dados. Workshop do Projeto Validação e Testes de Sistemas de Informação. Águas de Lindóia. 1997.
White. Lee J. & Cohen, Edward L A Domain Strategy for Computer Program Testing. IEEE Trans. On Software Engineering. vol.SE-6. mai/80. pp.247-257.
Beizer. Boris. Bluck-Box Testing. Techniques for Functional Testing of Software and Systems . 1995.
Bochmann. G. v. & Dssouli, R. Test Development for Distributed Systems: Towards Automation. XV Simpósio Brasileiro de Redes de Computadores. São Carlos — SP. 1997.
Bourhfir. C.: Dssouli. R. & Aboulhamid E.M. Automatic Test Generation for EFSM-based Systems. http://www.iro.umontreal.ca/labs/teleinfo/PubListIndex.html. 1996.
Bourhfir. C.: Dssouli, R.: Aboulhamid E. M. & Rico, N. Automatic Executable Test Case Generation for Extended Finite State Machine Protocols. http://www.iro.umontreal.ca/labs/teleinfo/PubListIndex.html. 1997.
Castanet, R & Sijelmasi. R. Methods and Semi-Automatic Tools for Preparing Distributed Testing. IFIP. 1987.
Clarke. Lori A., Hassell. J. & Richardson, Debra J. A Close Look at Domain Testing. IEEE Trans. On Softare Engineering. vol.SE-8. Jul/82. pp. 380-390.
Hajnal, A. & Forgacs. I. An Applicable Test Data Generation Algorithm dor Domain Errors. ISSTA. 1998.
Jeng. B. & Weyuker, Elaine J. A Simplified Domain Testing Strategy. ACM Trans. On Software Engineering and Methodology, 3(3). Jul/94. pp. 254-270.
Poston, R. M. Automating Specification-based Software Testing. IEEE Computer Society Press. 1996.
Sabião. Selma B. Um Método para Geração de Testes Baseado em Máquina Finita de Estado Estendida combinando técnicas de teste caixa preta. Tese de Mestrado. Universidade Estadual de Campinas. Campinas. 1998.
Ural H. & Yang. B. 4 Test Sequence Selection Method for Protocol Testing. IEEE Transaction On Communications, Vol 39, No. 4. 1991.
Ural. H. & Probert. R. L. User-guided Test Sequence Generation. Protocol Specification. Testing and Verification I. 1983.
Vergílio. S. R. Critérios Restritos de Teste de Software: Uma Contribuição para Gerar Dados de Teste Mais Eficazes. Tese de Doutorado. FEEC. UNICAMP. 1997.
Vergílio, S. R., Maldonado. J. C. & Jino. M. Resultados de um Experimento de Aplicação de Diferentes Técnicas de Geração de Dados de Teste. Workshop de Projeto. Validação e Teste de Sistemas de Operação. Janeiro. 1997.
Vilela, P. R. S., Maldonado. J. C.. Jino. M. & Chain. M. C. Uma Visão Sobre o Teste Estrutural Baseado em Análise de Fluxo de Dados. Workshop do Projeto Validação e Testes de Sistemas de Informação. Águas de Lindóia. 1997.
White. Lee J. & Cohen, Edward L A Domain Strategy for Computer Program Testing. IEEE Trans. On Software Engineering. vol.SE-6. mai/80. pp.247-257.
Publicado
15/07/2000
Como Citar
UBER, Flavio Rogério; MARTINS, Eliane.
Estratégia para teste de Máquinas Finitas de Estados Estendidas. In: WORKSHOP DE TESTES E TOLERÂNCIA A FALHAS (WTF), 2. , 2000, Curitiba/PR.
Anais [...].
Porto Alegre: Sociedade Brasileira de Computação,
2000
.
p. 46-51.
ISSN 2595-2684.
DOI: https://doi.org/10.5753/wtf.2000.23473.
