Busca avançada
Ano de início
Entree

Investigação dos aspectos teóricos e práticos da validação de Redes de Petri coloridas usando a análise de mutantes

Processo: 00/00607-2
Linha de fomento:Bolsas no Brasil - Doutorado
Vigência (Início): 01 de maio de 2000
Vigência (Término): 29 de fevereiro de 2004
Á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):Engenharia de software   Teste e avaliação de software

Resumo

O Grupo de Engenharia de Software do Instituto de Ciências Matemáticas e de Computação (ICMC/USP) tem desenvolvido pesquisas na área Engenharia de Software e, entre essas, pesquisas na área de teste e validação, com ênfase em estudos teóricos e empíricos e no desenvolvimento de ferramentas de apoio. Os sistemas reativos, por causa do aspecto crítico inerente a esses sistemas, exigem que sejam utilizados métodos e técnicas rigorosas durante todo o processo de desenvolvimento. A especificação desses sistemas deve ser conduzida com o uso de técnicas formais e, dentre tais técnicas, as Redes de Petri Coloridas vêm sendo constantemente utilizada. Considerando a relevância do estabelecimento de métodos sistemáticos para a teste e validação dessas especificações, este trabalho propõe a investigação da adequação do critério de teste Análise de Mutantes para a validação de Redes de Petri Coloridas, dando continuidade ao trabalho de mestrado desenvolvido pelo candidato com apoio da Fapesp (processo número 97/13927-0). (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. Aplicação da análise de mutantes no contexto do teste e validação de redes de Petri coloridas. 2004. 283 f. Tese de Doutorado - Universidade de São Paulo (USP). Instituto de Ciências Matemáticas e de Computação de São Carlos São Carlos.

Por favor, reporte erros na lista de publicações científicas escrevendo para: cdi@fapesp.br.