Los puntos clave no están disponibles para este artículo en este momento.
This paper reviews some of the difficulties and decisions in implementing data flow coverage criteria for the C language as realized in ATAC, a data flow coverage testing tool for C. We also address a particular, language independent problem with the concept of the all-du-paths data flow coverage criterion and suggest a solution.
Horgan et al. (Tue,) studied this question.