PROTEUM-RS/PN: uma ferramenta para a validação de redes de Petri baseada na análise de mutantes.

Autor(es)

Adenilso da Silva Simão

• Tipo de documento: Dissertação de Mestrado
• Imprenta: São Carlos.
• Instituição: Universidade de São Paulo (USP). Instituto de Ciências Matemáticas e de Computação (ICMC/SB)
• Data de defesa: 2000-03-17

Membros da banca

Jose Carlos Maldonado; Carlos Alberto Maziero; Regina Helena Carlucci Santana

• Orientador: Jose Carlos Maldonado

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. (AU)

• Processo FAPESP: 97/13927-0 - Proteum-rs/pn: uma ferramenta para apoiar a validacao de especificacoes de redes de petri baseada na analise de mutantes.
• Beneficiário: Adenilso da Silva Simão
• Modalidade de apoio: Bolsas no Brasil - Mestrado