PROTEUM - RS/ST: uma ferramenta para apoiar a validação de especificações statecharts baseada na análise de mutantes.

AUTOR(ES)

Tatiana Sugeta

DATA DE PUBLICAÇÃO

1999

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.

ASSUNTO(S)

análise de mutantes ferramenta de teste statecharts teste e validação sistemas reativos

Documentos Relacionados

• Proteum-RS/PN: a mutation-based tool for validating Petri nets.
• BRIDGE: uma ferramenta para o Design de Interfaces de Usuário baseada em especificações IMML
• Webqda: uma ferramenta web colaborativa para apoiar a análise qualitativa de dados
• "Uma ferramenta Web colaborativa para apoiar a engenharia de requisitos em software livre"
• Uma nova ferramenta baseada na transformada wavelet para localização digital de faltas