The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.11 - November (1989 vol.15)
pp: 1318-1332
ABSTRACT
<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>
INDEX TERMS
formal evaluation; data flow path selection criteria; data-flow relationships; subsumption hierarchy; syntactic information; infeasible-path problem; flowcharting; software engineering
CITATION
A. Podgurski, D.J. Richardson, L.A. Clarke, "A Formal Evaluation of Data Flow Path Selection Criteria", IEEE Transactions on Software Engineering, vol.15, no. 11, pp. 1318-1332, November 1989, doi:10.1109/32.41326
47 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool