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.
Agradeço a Deus que me dá forças para conquistar meus objetivos e sempre guia meus passos.Todo o resto da minha vida será pouco para agradecer meus pais, Alcides e Sueli. O apoio emocional e principalmente financeiro nesses anos é algo que somente pais podem fazer pelos filhos. Que Deus os proteja e traga-lhes muita felicidade. Obrigado! Aos meus irmãos, Ana Paula e Renato que também sofreram indiretamente com todas as dificuldades que surgiram nesse tempo e merecem toda paz e felicidade que Deus possa lhes proporcionar.Um agradecimento especial à Simone, que soube enfrentar os momentos em que a saudade se fez necessária e ainda teve forças para enxugar as lágrimas e usar as palavras certas de incentivo. Obrigado.É claro que mesmo com todo esse apoio, essa dissertação não seria possível sem os companheiros de república: Danillo, Gerson, Luciano, Sandro e Júnior. Mesmo com os desentendimentos, nossa união sempre foi muito forte e tenho certeza que foi fundamental para que cada um conseguisse seu objetivo. O meu muito obrigado e que Deus nos mantenha sempre próximos e traga-lhes muita saúde e felicidade.Outros amigos também participaram dessa conquista. A todos os companheiros do IC a minha gratidão e os votos que tenham muito sucesso em todos os momentos.Um agradecimento especial à minha orientadora, Eliane Martins, que foi mais que uma orientadora. Soube compreender as dificuldades, principalmente nesse último ano e acreditou que seria possível. Obrigado pelos conselhos que são e ainda serão muito mais fundamentais na minha carreira. Vll ResumoAs máquinas finitas de estados estendidas (MFEE) são muito utilizadas para a especificação de protocolos. Por essa razão existem muitas técnicas baseadas nesse modelo, usadas nos testes de conformidade, os quais servem para determinar se uma determinada implementação satisfaz a sua especificação. Com o objetivo de dar suporte à geração de testes a partir de MFEE foi construída no Instituto de Computação da UNICAMP a ferramenta CONDADO. Até então essa ferramenta implementava os métodos de testes de transição, para cobrir a parte de controle. Com relação à parte de dados (referente ao formato das interações bem como aos valores dos parâmetros dessas interações) eram utilizados os testes de sintaxe e os testes baseados em classes de equivalência.Este trabalho implémenta uma extensão à CONDADO visando melhorar a estratégia de geração de dados de teste por parte desta ferramenta. Em vez dos testes baseados em classes de equivalência são usados testes de domínios que consideram os predicados associados às transições da MFEE . Com isso foi reduzido o número de casos de teste correspondentes a caminhos não executáveis. Acredita-se ainda na melhora do potencial para detecção de falhas com dados de teste próximos aos limites do domínio, o que deverá ser analisado futuramente.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.
hi@scite.ai
10624 S. Eastern Ave., Ste. A-614
Henderson, NV 89052, USA
Copyright © 2024 scite LLC. All rights reserved.
Made with 💙 for researchers
Part of the Research Solutions Family.