Navegando por Autor "Cutigi, Jorge Francisco"
Agora exibindo 1 - 1 de 1
Resultados por página
Opções de Ordenação
- ItemMódulo para geração de casos de teste a partir de máquinas de estados finitos parciais.(2006-12) Cutigi, Jorge Francisco; Simão, Adenilso da SilvaGrande 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.