Avaliacao de custo e eficacia de metodos de testes de maquinas de estados finitos.

• Processo: 07/02717-9
• Modalidade de apoio: Bolsas no Brasil - Mestrado
• Data de Início da vigência: 01 de novembro de 2007
• Data de Término da vigência: 28 de fevereiro de 2009
• Área de conhecimento: Ciências Exatas e da Terra - Ciência da Computação - Sistemas de Computação
• Pesquisador responsável: Jose Carlos Maldonado
• Beneficiário: Flavio Dusse
• 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 Experimentação Testes
• Palavra(s)-Chave do Pesquisador: Critérios de Testes | experimentação | Máquinas de Estados Finitos | Testes | Engenharia de Software

Resumo

Geração de casos de teste baseada em modelos visa a possibilidade de derivação de casos de teste a partir de especificações formais, tais como Máquinas de Estados Finitos (MEF). Existem diversos critérios de geração, diferindo entre si em função das propriedades exigidas das MEFs, dos custos dos testes gerados e da eficácia na revelação de defeitos. Apesar de pesquisas intensas na definição desses critérios, são poucas as ferramentas disponíveis para a aplicação assim como são poucos os relatos de aplicação que forneçam de forma sistemática subsídios em termos de custo e eficácia para a definição de estratégias de teste efetivas. Dessa forma é necessário obter dados reais das vantagens e desvantagens de cada critério para subsidiar a tomada de decisão no processo de desenvolvimento de software no que tange às atividades de teste e validação. Este trabalho tem como objetivo conduzir estudos experimentais para avaliar o custo e benefícios de aplicação dos critérios mais relevantes para subsidiar a definição de estratégias de teste em diversos contextos, como por exemplo no desenvolvimento de protocolos e de sistemas orientados a objetos. Em função desses resultados pretende-se evoluir a ferramenta PLAVIS/FSM, desenvolvida e utilizado no grupo no escopo dos projetos PLAVIS e PLATINO, com apoio da CAPES, CNPq e COFECUB.

Publicações acadêmicas

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

DUSSE, Flavio. Avaliação de custo e eficácia de métodos e critérios de teste baseado em Máquinas de Estados Finitos. 2009. 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.