Exportar registro bibliográfico

Modulo de geracao de sequencias de teste baseada em maquinas de estado finito (1995)

  • Authors:
  • Autor USP: NAKAZATO, KAREN KIOMI - ICMC
  • Unidade: ICMC
  • Sigla do Departamento: SCE
  • Assunto: ENGENHARIA DE SOFTWARE
  • Language: Português
  • Abstract: Maquina de estado finito (mef) e uma tecnica de especificacao usada para modelar o aspecto comportamental de sistemas e tem sido amplamente utilizada em diversas areas de aplicacao: protocolos de comunicacao, telefonia, controle de processos, entre outros. O ojetivo deste trabalho consiste em estudar os conceitos fundamentais utilizados no teste e validacao de modelos baseados em mef, com enfase nos criterios ds [gone70], uio [sabn88], w [chow78] e wp [fuji91]. Dentro deste contexto foi desenvolvida uma ferramenta, denominada mgaset, que visa a apoiar a aplicacao de alguns criterios estudados, fornecendo facilidades para verificacao de minimalidade, determinismo, especificacao completa, conectividade forte, maquina de mealy e alcancabilidade do estado inicial de uma mef; para gerar sequencia de sincronizacao, sequencia distinguivel, sequencias unicas de entrada/saida e conjunto de caracterizacao; e gerar, inicialmente, sequencias de teste baseada no criterio w
  • Imprenta:
  • Data da defesa: 18.01.1995

  • How to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      NAKAZATO, Karen Kiomi; MALDONADO, José Carlos. Modulo de geracao de sequencias de teste baseada em maquinas de estado finito. 1995.Universidade de São Paulo, Sao Carlos, 1995.
    • APA

      Nakazato, K. K., & Maldonado, J. C. (1995). Modulo de geracao de sequencias de teste baseada em maquinas de estado finito. Universidade de São Paulo, Sao Carlos.
    • NLM

      Nakazato KK, Maldonado JC. Modulo de geracao de sequencias de teste baseada em maquinas de estado finito. 1995 ;
    • Vancouver

      Nakazato KK, Maldonado JC. Modulo de geracao de sequencias de teste baseada em maquinas de estado finito. 1995 ;

    Últimas obras dos mesmos autores vinculados com a USP cadastradas na BDPI:

    Digital Library of Intellectual Production of Universidade de São Paulo     2012 - 2021