Módulo para geração de casos de teste a partir de máquinas de estados finitos parciais.

Imagem de Miniatura
Data
2006-12
Autores
Simão, Adenilso da Silva
Título da Revista
ISSN da Revista
Título de Volume
Editor
Resumo

Grande parte dos métodos de geração de sequências existentes tratam apenas de Máquinas de Estados Finitos totalmente especificadas, o que torna o uso restrito já que, na maioria das situações, as Máquinas de Estados Finitos testadas não apresentam essa característica. Este relatório apresenta o processo de desenvolvimento de um módulo que implementa um algoritmo para a geração de casos de teste a partir de Máquinas de Estados Finitos Parciais. O algoritmo estudado foi o Método HSI, sendo implementado e integrado na ferramenta Plavis-Platform for Software Validation & Integration on Space Systems, uma ferramenta de apoio a verificação, validação e teste de software.

Descrição
Palavras-chave
Engenharia de software
Citação