Investigacao de mecanismos para a geracao de casos de teste a partir de maquinas de estados finitos parciais.

• Processo: 05/02414-0
• Modalidade de apoio: Bolsas no Brasil - Iniciação Científica
• Data de Início da vigência: 01 de janeiro de 2006
• Data de Término da vigência: 31 de dezembro de 2006
• Área de conhecimento: Ciências Exatas e da Terra - Ciência da Computação - Metodologia e Técnicas da Computação
• Pesquisador responsável: Adenilso da Silva Simão
• Beneficiário: Jorge Francisco Cutigi
• 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 | Geracao De Casos De Teste | Teste De Software | Engenharia de Software

Resumo

Grande parte dos métodos de geração de seqüências existentes tratam apenas de Máquinas de Estados Finitos totalmente especificadas, o que torna o uso restrito já que, na maioria das situações, as Máquinas de Estados Finitos testadas não apresentam essa característica. Neste projeto, propõe-se o desenvolvimento de um módulo que implementa um algoritmo para a geração de casos de teste a partir de Máquinas de Estados Finitos Parciais. Em particular, será estudado o Método HSI, que possibilita a geração de casos de teste para máquinas parciais não-determinísticas. Este projeto está inserido no contexto do projeto Plavis — Platform for Software Validation & Integration on Space Systems —, apoiado pelo CNPq, Processo no 473396/2003-3, e o módulo desenvolvido será parte da plataforma a ser disponibilizada pelo projeto.