Geração de requisitos de teste para sistemas espaciais

• Processo: 13/25309-4
• Modalidade de apoio: Bolsas no Brasil - Programa Capacitação - Treinamento Técnico
• Data de Início da vigência: 01 de janeiro de 2014
• Data de Término da vigência: 31 de dezembro de 2014
• Área de conhecimento: Ciências Exatas e da Terra - Ciência da Computação - Metodologia e Técnicas da Computação
• Pesquisador responsável: Ana Cristina Vieira de Melo
• Beneficiário: Alexandre Locci Martins
• Instituição Sede: Instituto de Matemática e Estatística (IME). Universidade de São Paulo (USP). São Paulo , SP, Brasil
• Vinculado ao auxílio: 12/23767-2 - VVTransv: um método para teste e verificação formal transversal ao desenvolvimento de sistemas críticos, AP.R
• Assunto(s): Engenharia de software
• Palavra(s)-Chave do Pesquisador: DC - teste | Mc | requisitos de teste | verificação de software | Engenharia de Software

Resumo

A automatização da geração de casos de teste a partir de requisitos do sistema ou do código é fundamental para a aplicação prática de testes que contemplem critérios com o objetivo de assegurar a qualidade do software. O desenvolvimento de técnicas para geração automática de conjuntos completos de casos de testes que satisfaçam critérios baseados em fluxo de controle e fluxo de objetos dependem da geração dos requisitos de teste para cada um dos critérios de teste contemplados. Este subprojeto tem como objetivo viabilizar a aplicação de testes para a cobertura de critérios específicos sobre os sistemas espaciais, através da geração dos requisitos de teste para os mesmos, o que constitui um passo primordial na geração dos casos de teste.