BDBComp
Parceria:
SBC
Minimização de Conjuntos de Casos de Teste por meio de Condições de Suficiência

Lúcio F. de Mello NetoAdenilso da Silva Simão

Model-based testing provides test suites from formal specifications, such as Finite State Machines. Due to resource constraints, the application of all test cases of a test suite can be infeasible. In this paper, we present an algorithm for the minimization of test suites generated from Finite State Machines, which is based on sufficient conditions in order to keep the test suite effectiveness in revealing faults. The results of an observational study are presented, in which the algorithm is used with randomly generated machines and test suites.

http://www.lbd.dcc.ufmg.br:8080/colecoes/sast/2007/007.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