Investigacao dos aspectos teoricos e praticos da validacao de redes de petri coloridas usando a analise de mutantes.

• Processo: 00/00607-2
• Modalidade de apoio: Bolsas no Brasil - Doutorado
• Data de Início da vigência: 01 de maio de 2000
• Data de Término da vigência: 29 de fevereiro de 2004
• Á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): Engenharia de software Teste e avaliação de software
• Palavra(s)-Chave do Pesquisador: Engenharia De Software | Especificacao Formal | Redes De Petri Colotidas | Sistemas Restivos | Teste 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. Tese de Doutorado - Universidade de São Paulo (USP). Instituto de Ciências Matemáticas e de Computação (ICMC/SB) São Carlos.