Geração Automática de Testes para Sistemas Reativos

• Processo: 12/23500-6
• Modalidade de apoio: Bolsas no Brasil - Pós-Doutorado
• Data de Início da vigência: 01 de abril de 2013
• Data de Término da vigência: 30 de abril de 2014
• Área de conhecimento: Ciências Exatas e da Terra - Ciência da Computação - Teoria da Computação
• Pesquisador responsável: Arnaldo Vieira Moura
• Beneficiário: Adilson Luiz Bonifácio
• Instituição Sede: Instituto de Computação (IC). Universidade Estadual de Campinas (UNICAMP). Campinas , SP, Brasil
• Palavra(s)-Chave do Pesquisador: Cobertura de falhas | Geração de conjuntos de teste | Teste Baseado em Modelos

Resumo

Avanços tecnológicos de hardware e software têm exigido um suporte cada vez maior de técnicas e métodos para automatização das atividades relacionadas ao desenvolvimento de sistemas. Um dos processos de desenvolvimento que mais necessita desse suporte é aquele destinado aos chamados sistemas de missão crítica, geralmente embarcados e, na maioria das vezes, reativos. Devido principalmente às características crítica e reativa, o desenvolvimento desses sistemas requer métodos rigorosos, especialmente nas atividades de teste. Uma das abordagens rigorosas mais promissoras é o teste baseado em modelos, com o apoio de formalismos adequados para tratar aspectos reativos. Outra característica que torna mais difícil e complexa a atividade de teste em sistemas críticos reativos é a presença de transições discretas junto à evolução contínua do tempo. Este projeto pretende aplicar técnicas de teste baseadas em modelos formais de sistemas críticos reativos, visando a definição de parâmetros de teste, a verificação da completude de conjuntos de teste, e também a geração e execução automática dos testes.