• 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
 
 
Master's Dissertation
DOI
10.11606/D.55.2018.tde-18042018-150808
Document
Author
Full name
Karen Kiomi Nakazato
Institute/School/College
Knowledge Area
Date of Defense
Published
São Carlos, 1995
Supervisor
Committee
Maldonado, José Carlos (President)
Cunha, Paulo Roberto Freire
Moreira, Edson dos Santos
Title in Portuguese
MODULO DE GERAÇÃO DE SEQUENCIAS DE TESTE BASEADA EM MÁQUINAS DE ESTADO FINITO
Keywords in Portuguese
Não disponível
Abstract in Portuguese
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.
Title in English
Not available
Keywords in English
Not available
Abstract in English
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.
 
WARNING - Viewing this document is conditioned on your acceptance of the following terms of use:
This document is only for private use for research and teaching activities. Reproduction for commercial use is forbidden. This rights cover the whole data about this document as well as its contents. Any uses or copies of this document in whole or in part must include the author's name.
KarenKiomiNakazato.pdf (84.25 Mbytes)
Publishing Date
2018-04-18
 
WARNING: Learn what derived works are clicking here.
All rights of the thesis/dissertation are from the authors
CeTI-SC/STI
Digital Library of Theses and Dissertations of USP. Copyright © 2001-2022. All rights reserved.