Istituto di Scienza e Tecnologie dell'Informazione     
Bertolino A., Marre' M. A general path generation algorithm for coverage testing. In: Proceedings of Tenth International Software Quality Week (San Francisco, California, 27-30 May 1997). Proceedings, pp. 1 - 19. Software research institute, Inc, 1997.
We present a general method to contruct a set of test paths satisfying a selected criterio within a family of control flow data flow-based coverage criteria. The method is based on the recent concept of a "spanning set" of enties, wich is minimum subset of program enties (e.g., branches or definition-use associations guaranteeeing full coverage.
Subject Algorithm

Icona documento 1) Download Document PDF

Icona documento Open access Icona documento Restricted Icona documento Private


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional