Proteum-RS/PN: a mutation-based tool for validating Petri nets. / PROTEUM-RS/PN: uma ferramenta para a validação de redes de Petri baseada na análise de mutantes.

AUTOR(ES)
DATA DE PUBLICAÇÃO

2000

RESUMO

Sistemas Reativos caracterizam-se por reagir continuamente a estímulos externos e internos e controlar atividades humanas. A ocorrência de falhas nesses sistemas pode resultar em grandes prejuízos. Dessa forma, o uso de métodos e técnicas rigorosas para a especificação do comportamento desse tipo de sistema é essencial, buscando-se evitar inconsistências e ambigüidades no modelo. Redes de Petri é uma das técnicas que têm sido usadas para a especificação de sistemas reativos. Teste e validação são atividades essenciais na produção dessa classe de sistemas. Por isso, o critério Análise de Mutantes, um critério de teste baseado em erros normalmente aplicado ao teste de programas, tem sido explorado no contexto de teste de especificações de sistemas reativos. É necessário o desenvolvimento de ferramentas que apóiem sua utilização, visto que a aplicação manual do critério é impraticável. O objetivo deste trabalho é a implementação da ferramenta Proteum-RS/PN, que apóia a aplicação do critério Análise de Mutantes para validar especificações baseadas em Redes de Petri.

ASSUNTO(S)

análise de mutantes engenharia de software test and validation redes de petri mutation analysis software engineering teste e validação petri nets

ACESSO AO ARTIGO

Documentos Relacionados