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.