Logo do repositório
  • English
  • Español
  • Português do Brasil
  • Entrar
    Esqueceu sua senha?
Logo do repositório Repositório Institucional ICMC
  • Comunidades e Coleções
  • Tudo no DSpace
  • English
  • Español
  • Português do Brasil
  • Entrar
    Esqueceu sua senha?
  1. Início
  2. Pesquisar por Autor

Navegando por Autor "Cutigi, Jorge Francisco"

Agora exibindo 1 - 1 de 1
Resultados por página
Opções de Ordenação
  • Carregando...
    Imagem de Miniatura
    Item
    Mó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 Silva
    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.

DSpace software copyright © 2002-2025 LYRASIS

  • Configurações de Cookies
  • Enviar uma Sugestão