skip to main content
Idioma:

MODULO DE GERAÇÃO DE SEQUENCIAS DE TESTE BASEADA EM MÁQUINAS DE ESTADO FINITO

Nakazato, Karen Kiomi

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 1995-01-18

Acesso online. A biblioteca também possui exemplares impressos.

  • Título:
    MODULO DE GERAÇÃO DE SEQUENCIAS DE TESTE BASEADA EM MÁQUINAS DE ESTADO FINITO
  • Autor: Nakazato, Karen Kiomi
  • Orientador: Maldonado, José Carlos
  • Assuntos: Não Disponível; Not Available
  • Notas: Dissertação (Mestrado)
  • Notas Locais: Diddertacao (mestrado) - instituto de ciencias matematicas desao carlos
  • Descrição: Máquina de Estado Finito (MEF) é uma técnica de especificação usada para modelar o aspecto comportamental de sistemas e tem sido amplamente utilizada em diversas áreas de aplicação: protocolos de comunicação, telefonia, controle de processos, entre outros. O objetivo deste trabalho consiste em estudar os conceitos fundamentais utilizados no teste e validação de modelos baseados em MEF, com ênfase nos critérios DS [GONE70], UIO [SABN88], W [CHOW78] e Wp [FUJI91]. Dentro deste contexto foi desenvolvida tuna ferramenta, denominada MGASET, que visa a apoiar a aplicação de alguns critérios estudados, fornecendo facilidades para verificação de minimalidade, determinismo, especificação completa, conectividade forte, Máquina de Mealy e alcançabilidade do estado inicial de uma MEF; para gerar seqüência de sincronização, seqüência distingüivel, seqüências únicas de entrada/saída e conjunto de caracterizacão; e gerar, inicialmente, seqüências de teste baseada no critério W.
  • DOI: 10.11606/D.55.2018.tde-18042018-150808
  • Editor: Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação
  • Data de criação/publicação: 1995-01-18
  • Formato: Adobe PDF
  • Idioma: Português
Links
Voltar para lista de resultados
Ir para página anteriorAnterior Resultado  14 AvançarIr para próxima página

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.