Avaliação da qualidade das funções de similaridade no contexto de testes baseados em modelos

Introdução Geração de casos de teste a partir de modelos de estado costumam produzir uma quantidade muito grande de dados, ao ponto que tentar utilizar todos eles para testar algum software pode se tornar uma tarefa inviável. Mas é intuitivo pensar que dentre todos os casos de teste gerados alguns serão semelhantes ou até iguais nos resultados que produzem, sendo assim redundante usar todos eles. Temos por objetivo então agrupar o conjunto de todos os casos de teste em conjuntos menores, de acordo com a similaridade entre os casos de teste, de forma também a não perdermos resultados e a otimizarmos a utilização dos testes. Para tal utilizaremos diferentes funções de similaridade, que produzem um escore quantificando a semelhança entre dois objetos comparados. A qualidade dos conjuntos gerados será avaliada em termos de diversidade. Quanto maior a similaridade dentro do conjunto e menor a similaridade entre conjuntos melhor.