Detalhes bibliográficos
| Ano de defesa: |
1999 |
| Autor(a) principal: |
Sugeta, Tatiana |
| 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-16022001-144357/
|
Resumo: |
Atividades de teste no desenvolvimento de sistemas Reativos são de grande relevância, bem como a disponibilidade de ferramentas que apóiem essas atividades, pois falhas nesses sistemas podem causar graves conseqüências econômicas e/ou sociais. A Análise de Mutantes tem sido explorada no teste de especificações do aspecto comportamental de Sistemas Reativos baseadas em Máquinas de Estados Finitos, Statecharts e Redes de Petri. Este trabalho tem como objetivo a implementação da Proteum-RS/ST, que apóia o teste de especificações Statecharts baseada na Análise de Mutantes. Dessa forma, fornecem-se subsídios para se investigar a adequação de critérios tradicionalmente usados no teste de programas, como a Análise de Mutantes, no teste de especificações de Sistemas Reativos, em particular no contexto de especificações baseadas em Statecharts. |
