| 一种检查面向对象程序中数据流异常的方法 |
| |
| 引用本文： | 郑云. 一种检查面向对象程序中数据流异常的方法[J]. 系统工程与电子技术, 2001, 23(1): 70-72 |
| |
| 作者姓名： | 郑云 |
| |
| 作者单位： | 固原师范专科学校, |
| |
| 基金项目： | “九五”国防预研基金资助课题 |
| |
| 摘 要： | 数据流异常是指程序中与变量使用有关的不合常规的“可疑”情况。仅靠传统的数据流异常检查技术不能发现面向对象程序中与实例变量有关的数据流异常,我们将方法序列规范与传统的检查技术结合起来,提出了一种能检查对象的实例变量的数据流异常的方法。当类中方法的调用顺序符合该类的方法序列规范时,应用提出的方法能确保发现所有的介于不同方法之间的数据流异常。
|
| 关 键 词： | 数据流分析 程序分析 面向目标程序设计 |
| 文章编号： | 1001-506X(2001)01-0070-03 |
| 修稿时间： | 2000-01-28 |
A Method for Data Flow Anomaly Detection in Object-Oriented Programs |
| |
| Zheng Yun Guyuan Teacher Training School,Ningxia. A Method for Data Flow Anomaly Detection in Object-Oriented Programs[J]. System Engineering and Electronics, 2001, 23(1): 70-72 |
| |
| Authors: | Zheng Yun Guyuan Teacher Training School Ningxia |
| |
| Affiliation: | Zheng Yun Guyuan Teacher Training School,Ningxia 75600 |
| |
| Abstract: | Data flow anomalies (DFA) are that related to the data items accessing and updating in a program. Depending on the conventional DFA detection techniques alone can not be used to identify the data flow anomalies associated with the instance variables defined in a class. In this paper, a method for identifying the data flow anomalies present across methods of a class is proposed. By using of the method sequence specification (MtSS) in conjunction with the conventional DFA detection techniques ,we can identify the data flow anomalies in classes. Our technique can ensure that there are no data flow anomalies present across methods in a class if the methods are invoked in such a way that they are compliant with the method sequence specification. |
| |
| Keywords: | Data flow analysis Program analysis Object-oriented programming |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
