Estudo comparativo entre modelos de teste e verificação

• Processo: 13/19814-8
• Modalidade de apoio: Bolsas no Brasil - Programa Capacitação - Treinamento Técnico
• Data de Início da vigência: 01 de outubro de 2013
• Data de Término da vigência: 31 de julho de 2015
• Á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: Paulo Salem da Silva
• 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): Estudo comparativo Semântica de programação
• Palavra(s)-Chave do Pesquisador: modelos de execução de programas | modelos de fluxo de controle | modelos fluxo de dados | verificação formal

Resumo

As técnicas atuais para teste e verificação formal de sistemas ou programas são desenvolvidas e aplicadas a partir de modelos mais abstratos desses elementos. Cada um desses modelos descreve a semântica dos sistemas ou programas, onde são abstraídos os detalhes e representados apenas os elementos essenciais às técnicas a serem aplicadas e analisadas. Alguns desses modelos semânticos utilizados tanto nas técnicas de teste quanto na verificação formal têm elementos essenciais em comum, mas diferem em alguns outros elementos. Além disso, existem representações diferentes mesmo para elementos que coincidem nos vários modelos, seja para as técnicas de teste ou de verificação formal. Este subprojeto tem como objetivo um estudo comparativo sobre os modelos abstratos usados nas várias técnicas de teste e verificação formal que serão utilizadas para a metodologia integradora do projeto de pesquisa. (AU)