Operadores de mutação para modelos de sistemas reativos

Abstract

Com a intensa ascensão do desenvolvimento de software, problemas relacionados a correções de bugs se tornam mais complexos. Uma das etapas do desenvolvimento de software é dedicada a testar e corrigir problemas dessa natureza. O processo de teste de um software pode ser extenso, e propenso a erros humanos. Propostas de automatização da geração de casos de teste são estudadas intensamente a décadas. Uma aproximação frequentemente abordada é a de geração de casos de teste com base em máquinas de estados finitas (MEF). Para tornar a validação de softwares mais eficiente, foram criados critérios diversos de geração de casos de teste. Ferramentas implementam tais critérios para possibilitar a geração automatizada de testes em modelos. Este trabalho propõe o desenvolvimento de operadores de mutação de modelo e de um algoritmo de execução de testes unitários de modelos, utilizando da linguagem de programação C++, integrada à ferramenta PerformCharts. Seu principal objetivo foi analisar a qualidade dos testes, gerados a partir de MEFs pelos critérios implementados ao PerformCharts, utilizando de uma análise de mutação. Os operadores de mutação implementados foram os de omissão de arco, omissão de nó e inversão de arco. O algoritmo de execução de testes unitários foi desenvolvido para percorrer uma MEF, tendo como entrada uma sequência de eventos. Os critérios de geração de testes avaliados foram o Switch-Cover, o método UIO e o método DS. Os casos de teste gerados foram aplicados a uma análise de mutação, a fim de verificar sua capacidade de detecção de modelos defeituosos. Foram utilizadas diferentes MEFs para a análise de cada critério. Por fim, os critérios conseguiram detectar todas as falhas inseridas aos modelos, indicando uma boa qualidade de geração de casos de teste à MEFs simples.