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:
- Publisher place: São Carlos
- Date published: 1995
- Data da defesa: 18.01.1995
-
ABNT
NAKAZATO, Karen Kiomi. Modulo de geracao de sequencias de teste baseada em maquinas de estado finito. 1995. Dissertação (Mestrado) – Universidade de São Paulo, São Carlos, 1995. . Acesso em: 09 out. 2024. -
APA
Nakazato, K. K. (1995). Modulo de geracao de sequencias de teste baseada em maquinas de estado finito (Dissertação (Mestrado). Universidade de São Paulo, São Carlos. -
NLM
Nakazato KK. Modulo de geracao de sequencias de teste baseada em maquinas de estado finito. 1995 ;[citado 2024 out. 09 ] -
Vancouver
Nakazato KK. Modulo de geracao de sequencias de teste baseada em maquinas de estado finito. 1995 ;[citado 2024 out. 09 ]
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas