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: Sao Carlos
- Date published: 1995
- Data da defesa: 18.01.1995
-
ABNT
NAKAZATO, Karen Kiomi; MALDONADO, José Carlos. Modulo de geracao de sequencias de teste baseada em maquinas de estado finito. 1995.Universidade de São Paulo, Sao Carlos, 1995. -
APA
Nakazato, K. K., & Maldonado, J. C. (1995). Modulo de geracao de sequencias de teste baseada em maquinas de estado finito. Universidade de São Paulo, Sao Carlos. -
NLM
Nakazato KK, Maldonado JC. Modulo de geracao de sequencias de teste baseada em maquinas de estado finito. 1995 ; -
Vancouver
Nakazato KK, Maldonado JC. Modulo de geracao de sequencias de teste baseada em maquinas de estado finito. 1995 ;
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
