Teste de Linha de Produto de Software Baseado em Mutação de Variabilidades

O OVM (Orthogonal Variability Model) tem sido adotado para definir e documentar as variabilidades de uma linha de produto de software (LPS), e para derivar produtos para teste. Dado o enorme espaço de variabilidades da maioria das aplicações, critérios de teste baseados em combinações de variabilidades, ou no teste de caminhos básicos, são geralmente utilizados para selecionar um subconjunto de produtos, os mais representativos. Estes critérios, entretanto, não consideram defeitos que podem estar presentes no OVM. Para aumentar a confiança de que os produtos da LPS satisfazem a especificação, neste trabalho é apresentada uma abordagem baseada em teste de mutação. Operadores de mutação são introduzidos e avaliados em dois estudos de caso. Os resultados mostram que outros tipos de defeitos são revelados em comparação com os critérios existentes