Busca avançada
Ano de início
Entree

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

Processo: 97/13927-0
Linha de fomento:Bolsas no Brasil - Mestrado
Vigência (Início): 01 de maio de 1998
Vigência (Término): 31 de março de 2000
Área do 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

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)

Matéria(s) publicada(s) na Agência FAPESP sobre a bolsa:
Matéria(s) publicada(s) em Outras Mídias (0 total):
Mais itensMenos itens
VEICULO: TITULO (DATA)
VEICULO: TITULO (DATA)