Data Flow Analysis in Software Reliability
Data Flow Analysis in Software Reliability
复制标题
DOI：
10.1145/356674.356676
复制
发表时间：
1976-09
期刊：
影响因子：
--
通讯作者：
L. Fosdick;L. Osterweil
中科院分区：
文献类型：
--
作者：
L. Fosdick;L. Osterweil
阐述了数据流分析方法在提高软件可靠性中的应用。也有一个审查的基本术语，从图论和数据流分析在全球程序优化。正则表达式的表示法用于描述路径集对数据的操作。这些表达式提供了数据流分类方案的基础，数据流表示沿着子程序内的路径和沿着跨越子程序边界的路径的数据流模式。快速算法，最初介绍了全局优化，它是如何被用来实现分类方案。然后，它示出了如何这些相同的算法也可以用来检测存在的数据流异常，这是编程错误的症状。最后介绍了DAVE数据流分析系统的特点和使用经验。
The ways that the methods of data flow analysis can be applied to improve software reliability are described. There is also a review of the basic terminology from graph theory and from data flow analysis in global program optimization. The notation of regular expressions is used to describe actions on data for sets of paths. These expressions provide the basis of a classification scheme for data flow which represents patterns of data flow along paths within subprograms and along paths which cross subprogram boundaries. Fast algorithms, originally introduced for global optimization, are described and it is shown how they can be used to implement the classification scheme. It is then shown how these same algorithms can also be used to detect the presence of data flow anomalies which are symptomatic of programming errors. Finally, some characteristics of and experience with DAVE, a data flow analysis system embodying some of these ideas, are described.