BDBComp
Parceria:
SBC
Análise de Cobertura de Critérios de Teste Estruturais a partir de Conjuntos Derivados de Especificações Formais: Um Estudo Comparativo

Paula Fernanda R. HerculanoMárcio Eduardo Delamaro

Testing techniques can be divided in code-based and specification based and using them together can increase the application confidence level. So, is important to investigate their relationship analysing, how they complete each other and how they can be used together, aiming at composing a testing strategy. This paper aims at performing comparative studies focused on reactive systems, which are specified using formal methods. The test cases are derived from formal specifications and then compared with controlflow and dataflow structural criteria.

http://www.lbd.dcc.ufmg.br:8080/colecoes/sast/2007/001.pdf

Caso o link acima esteja inválido, faça uma busca pelo texto completo na Web: Buscar na Web

Biblioteca Digital Brasileira de Computação - Contato: bdbcomp@lbd.dcc.ufmg.br
     Mantida por:
LBD