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

Detalhes bibliográficos
Autor(a) principal: Nakazato, Karen Kiomi
Data de Publicação: 1995
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Biblioteca Digital de Teses e Dissertações da USP
Texto Completo: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-18042018-150808/
Resumo: 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.
id USP_2d3d16335b70cd4133194fc8053983ff
oai_identifier_str oai:teses.usp.br:tde-18042018-150808
network_acronym_str USP
network_name_str Biblioteca Digital de Teses e Dissertações da USP
repository_id_str 2721
spelling MODULO DE GERAÇÃO DE SEQUENCIAS DE TESTE BASEADA EM MÁQUINAS DE ESTADO FINITONot availableNão disponívelNot availableMá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.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.Biblioteca Digitais de Teses e Dissertações da USPMaldonado, José CarlosNakazato, Karen Kiomi1995-01-18info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfhttp://www.teses.usp.br/teses/disponiveis/55/55134/tde-18042018-150808/reponame:Biblioteca Digital de Teses e Dissertações da USPinstname:Universidade de São Paulo (USP)instacron:USPLiberar o conteúdo para acesso público.info:eu-repo/semantics/openAccesspor2018-07-19T20:50:39Zoai:teses.usp.br:tde-18042018-150808Biblioteca Digital de Teses e Dissertaçõeshttp://www.teses.usp.br/PUBhttp://www.teses.usp.br/cgi-bin/mtd2br.plvirginia@if.usp.br|| atendimento@aguia.usp.br||virginia@if.usp.bropendoar:27212018-07-19T20:50:39Biblioteca Digital de Teses e Dissertações da USP - Universidade de São Paulo (USP)false
dc.title.none.fl_str_mv MODULO DE GERAÇÃO DE SEQUENCIAS DE TESTE BASEADA EM MÁQUINAS DE ESTADO FINITO
Not available
title MODULO DE GERAÇÃO DE SEQUENCIAS DE TESTE BASEADA EM MÁQUINAS DE ESTADO FINITO
spellingShingle MODULO DE GERAÇÃO DE SEQUENCIAS DE TESTE BASEADA EM MÁQUINAS DE ESTADO FINITO
Nakazato, Karen Kiomi
Não disponível
Not available
title_short MODULO DE GERAÇÃO DE SEQUENCIAS DE TESTE BASEADA EM MÁQUINAS DE ESTADO FINITO
title_full MODULO DE GERAÇÃO DE SEQUENCIAS DE TESTE BASEADA EM MÁQUINAS DE ESTADO FINITO
title_fullStr MODULO DE GERAÇÃO DE SEQUENCIAS DE TESTE BASEADA EM MÁQUINAS DE ESTADO FINITO
title_full_unstemmed MODULO DE GERAÇÃO DE SEQUENCIAS DE TESTE BASEADA EM MÁQUINAS DE ESTADO FINITO
title_sort MODULO DE GERAÇÃO DE SEQUENCIAS DE TESTE BASEADA EM MÁQUINAS DE ESTADO FINITO
author Nakazato, Karen Kiomi
author_facet Nakazato, Karen Kiomi
author_role author
dc.contributor.none.fl_str_mv Maldonado, José Carlos
dc.contributor.author.fl_str_mv Nakazato, Karen Kiomi
dc.subject.por.fl_str_mv Não disponível
Not available
topic Não disponível
Not available
description 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.
publishDate 1995
dc.date.none.fl_str_mv 1995-01-18
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://www.teses.usp.br/teses/disponiveis/55/55134/tde-18042018-150808/
url http://www.teses.usp.br/teses/disponiveis/55/55134/tde-18042018-150808/
dc.language.iso.fl_str_mv por
language por
dc.relation.none.fl_str_mv
dc.rights.driver.fl_str_mv Liberar o conteúdo para acesso público.
info:eu-repo/semantics/openAccess
rights_invalid_str_mv Liberar o conteúdo para acesso público.
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.coverage.none.fl_str_mv
dc.publisher.none.fl_str_mv Biblioteca Digitais de Teses e Dissertações da USP
publisher.none.fl_str_mv Biblioteca Digitais de Teses e Dissertações da USP
dc.source.none.fl_str_mv
reponame:Biblioteca Digital de Teses e Dissertações da USP
instname:Universidade de São Paulo (USP)
instacron:USP
instname_str Universidade de São Paulo (USP)
instacron_str USP
institution USP
reponame_str Biblioteca Digital de Teses e Dissertações da USP
collection Biblioteca Digital de Teses e Dissertações da USP
repository.name.fl_str_mv Biblioteca Digital de Teses e Dissertações da USP - Universidade de São Paulo (USP)
repository.mail.fl_str_mv virginia@if.usp.br|| atendimento@aguia.usp.br||virginia@if.usp.br
_version_ 1809090827704598528

Registros relacionados