Detalhes bibliográficos
| Ano de defesa: |
1995 |
| Autor(a) principal: |
Nakazato, Karen Kiomi |
| Orientador(a): |
Não Informado pela instituição |
| Banca de defesa: |
Não Informado pela instituição |
| Tipo de documento: |
Dissertação
|
| Tipo de acesso: |
Acesso aberto |
| Idioma: |
por |
| Instituição de defesa: |
Biblioteca Digitais de Teses e Dissertações da USP
|
| Programa de Pós-Graduação: |
Não Informado pela instituição
|
| Departamento: |
Não Informado pela instituição
|
| País: |
Não Informado pela instituição
|
| Palavras-chave em Português: |
|
| Link de acesso: |
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. |
