Métodos de geração de casos de testes independentes de conjuntos característico

Resumo

Máquinas de estados finitas (MEF) são utilizadas para modelar especificações e gerar casos de testes, imprescindíveis para validação de sistemas complexos, como protocolos de comunicação e programas de computador. Diversos métodos existem que utilizam conjuntos característicos das MEFs. Entre eles estão o método-W (Chow 1978) e suas derivações. Em (Bonifacio e Moura 2008), o método W é generalizado, prescindindo de conjuntos característicos da especificação. Neste projeto, nós propomos uma extensão do trabalho de Bonifácio para outros métodos derivados do W, que incluem os métodos Wp (Fujiwara e outros 1991), HSI (Luo 1994) e H (Dorofeeva 2005). Além disso, investigamos o ganho dessas generalizações, tomando como métrica o tamanho das instâncias de teste e a complexidade dos algoritmos.