Issue No. 11 - November (1989 vol. 15)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/32.41326
<p>The authors report on the results of their evaluation of path-selection criteria based on data-flow relationships. They show how these criteria relate to each other, thereby demonstrating some of their strengths and weaknesses. A subsumption hierarchy showing their relationship is presented. It is shown that one of the major weaknesses of all the criteria is that they are based solely on syntactic information and do not consider semantic issues such as infeasible paths. The authors discuss the infeasible-path problem as well as other issues that must be considered in order to evaluate these criteria more meaningfully and to formulate a more effective path-selection criterion.</p>
formal evaluation; data flow path selection criteria; data-flow relationships; subsumption hierarchy; syntactic information; infeasible-path problem; flowcharting; software engineering
A. Podgurski, D. Richardson, S. Zeil and L. Clarke, "A Formal Evaluation of Data Flow Path Selection Criteria," in IEEE Transactions on Software Engineering, vol. 15, no. , pp. 1318-1332, 1989.