• JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
 
  Bookmark and Share
 
 
Dissertação de Mestrado
DOI
10.11606/D.55.2018.tde-18042018-150808
Documento
Autor
Nome completo
Karen Kiomi Nakazato
Unidade da USP
Área do Conhecimento
Data de Defesa
Imprenta
São Carlos, 1995
Orientador
Banca examinadora
Maldonado, José Carlos (Presidente)
Cunha, Paulo Roberto Freire
Moreira, Edson dos Santos
Título em português
MODULO DE GERAÇÃO DE SEQUENCIAS DE TESTE BASEADA EM MÁQUINAS DE ESTADO FINITO
Palavras-chave em português
Não disponível
Resumo em português
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.
Título em inglês
Not available
Palavras-chave em inglês
Not available
Resumo em inglês
Finite State Machine (FSM) is an specification technique used to model the behavioral aspect of systems and has been widely used in many applications areas: communication protocols, telephony, process control and others. Testing and validation of systems specified using FSM have been the aim of many scientific works. The objective of this work consists in studying the fundamental concepts used in testing and validation of FSM based model, with emphasis in the DS [GONE70], UI° [SABN88], W [CHOW78] and Wp [FUJI91] criteria. Within of this context a tool, named MGASET, was developed that aims to support the application of the criteria studied, providing facilities to verification of minimality, detenninism, complete specification, strong conectivity, Mealy's Machine and reachability of initial state of a FSM; to generate synchronizing sequence, distinguishing sequence, unique input/ouput sequence and characterization set; and to generate, initially, test sequence based on W criteria.
 
AVISO - A consulta a este documento fica condicionada na aceitação das seguintes condições de uso:
Este trabalho é somente para uso privado de atividades de pesquisa e ensino. Não é autorizada sua reprodução para quaisquer fins lucrativos. Esta reserva de direitos abrange a todos os dados do documento bem como seu conteúdo. Na utilização ou citação de partes do documento é obrigatório mencionar nome da pessoa autora do trabalho.
KarenKiomiNakazato.pdf (84.25 Mbytes)
Data de Publicação
2018-04-18
 
AVISO: Saiba o que são os trabalhos decorrentes clicando aqui.
Todos os direitos da tese/dissertação são de seus autores
CeTI-SC/STI
Biblioteca Digital de Teses e Dissertações da USP. Copyright © 2001-2018. Todos os direitos reservados.