PROTEUM-RS/ST: uma ferramenta para apoiar a validação de especificações statecharts baseada na análise de mutantes

• Processo: 97/10453-8
• Modalidade de apoio: Bolsas no Brasil - Mestrado
• Data de Início da vigência: 01 de novembro de 1997
• Data de Término da vigência: 31 de dezembro de 1999
• Á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: Tatiana Sugeta
• 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): Sistemas reativos Análise de mutantes Desenvolvimento de software
• Palavra(s)-Chave do Pesquisador: Analise De Mutantes | Proteum-Rs | Sistemas Reativos | Statecharts | Teste E Validacao

Resumo

Este plano de trabalho esta inserido no contexto das atividades do projeto "métodos e ferramentas para apoio ao desenvolvimento de software", processo n 95/07555-8, aprovado pela FAPESP. Neste contexto, este projeto dará continuidade à atividade de desenvolvimento de ferramentas de teste e validação para sistemas reativos, com ênfase no critério análise de mutantes, implementando a ferramenta Proteum-RS/ST, uma instanciação da Proteum-RS para especificações statecharts. (AU)

Publicações acadêmicas

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

SUGETA, Tatiana. PROTEUM - RS/ST: uma ferramenta para apoiar a validação de especificações statecharts baseada na análise de mutantes.. 1999. 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.