In the past years, a number of research works, in which have been mostly based on pre and post dominator analysis, have been presented about finding subsets of nodes and edges (called 'unrestricted subsets') such that their traversal during execution (if feasible) exercises respectively all feasible nodes and edges in a Control Flow Graph (CFG). This paper presents an approach to statically measure the intra-procedural data flow (def-use) coverage obtained by exercising an 'unrestricted subset' of nodes during testing. This measure indicates the possible degree of data flow testing obtainable while using a weaker test coverage criteria. The approach has been implemented in C++ on a PC under Linux and results obtained from the analysis of 'Gnu find tool', which is about 16 KLOC of C-language source code, are presented together with discussions and conclusions

A Static Measure of a Subset of Intra-procedural Data Flow Testing Coverage Based on Node Coverage

1999-01-01

Abstract

In the past years, a number of research works, in which have been mostly based on pre and post dominator analysis, have been presented about finding subsets of nodes and edges (called 'unrestricted subsets') such that their traversal during execution (if feasible) exercises respectively all feasible nodes and edges in a Control Flow Graph (CFG). This paper presents an approach to statically measure the intra-procedural data flow (def-use) coverage obtained by exercising an 'unrestricted subset' of nodes during testing. This measure indicates the possible degree of data flow testing obtainable while using a weaker test coverage criteria. The approach has been implemented in C++ on a PC under Linux and results obtained from the analysis of 'Gnu find tool', which is about 16 KLOC of C-language source code, are presented together with discussions and conclusions
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11582/1858
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
social impact