Proteum-rs/pn: uma ferramenta para apoiar a validacao de especificacoes de redes de petri baseada na analise de mutantes.

• Processo: 97/13927-0
• Modalidade de apoio: Bolsas no Brasil - Mestrado
• Data de Início da vigência: 01 de maio de 1998
• Data de Término da vigência: 31 de março de 2000
• Área de conhecimento: Ciências Exatas e da Terra - Ciência da Computação - Metodologia e Técnicas da Computação
• Pesquisador responsável: Jose Carlos Maldonado
• Beneficiário: Adenilso da Silva Simão
• Instituição Sede: Instituto de Ciências Matemáticas e de Computação (ICMC). Universidade de São Paulo (USP). São Carlos , SP, Brasil
• Assunto(s): Redes de Petri
• Palavra(s)-Chave do Pesquisador: Ferramentas De Teste | Redes De Petri | Sistemas Reativod | Teste E Validacao

Resumo

O objetivo do projeto e desenvolver uma ferramenta de teste para apoiar o teste e validação de especificações baseadas em redes de Petri, através do critério análise de mutantes. Esse critério foi desenvolvido inicialmente para o teste de programas e dentro do aspecto comportamental de sistemas reativos quando este é especificado com bases em modelos de máquinas de transição de estado como as redes de Petri. (AU)

Publicações acadêmicas

(Referências obtidas automaticamente das Instituições de Ensino e Pesquisa do Estado de São Paulo)

SIMÃO, Adenilso da Silva. PROTEUM-RS/PN: uma ferramenta para a validação de redes de Petri baseada na análise de mutantes.. 2000. Dissertação de Mestrado - Universidade de São Paulo (USP). Instituto de Ciências Matemáticas e de Computação (ICMC/SB) São Carlos.