Test Coverage Analysis
Liliana Vilela · Open Repository of the University of Porto (University of Porto) · 2013
Hoje em dia, à medida que o software tende a assumir um papel cada vez mais crítico, a necessidade de garantir a sua qualidade torna-se cada vez mais crucial. Várias abordagens surgiram para endereçar esta necessidade, ou seja, ferramentas e processos de teste de software que ajudam a aumentar os níveis de qualidade em virtualmente qualquer tipo de sistema de software. Um exemplo de tais ferramentas são as designadas de ferramentas de Testes-Baseados em Modelos (MBT - Model-Based Testing) , que geram casos de teste a partir de modelos do sistema a testar. A qualidade dos testes gerados pode ser avaliada através de diversos meios, quer como uma percentagem dos elementos ou código 'cobertos', e é de extrema importância obter essas medições de modo a determinar quando parar de testar. No entanto, muitas vezes as ferramentas de teste não providenciam esta informação como esperado. Este projecto apresenta uma ferramenta de análise de cobertura, PARADIGM-COV, avalia analisa a qualidade dos testes gerados por uma ferramenta MBT existente, PARADIGM-ME. A ferramenta proposta produz informação sobre a cobertura de elementos de um modelo gráfico (útil para avaliar a qualidade dos casos de teste, assim como para ajudar o tester a fornecer dados apropriados durante a fase de configuração), e também a percentagem do sistema sob teste que foi atingida durante a execução dos casos de teste.