一种检查面向对象程序中数据流异常的方法

数据流异常是指程序中与变量使用有关的不合常规的“可凝”情况。仅靠传统的数据流异常检查技术不能发现面向对象程序中与实例变量有关的数据流异常，将方法序列规范与传统的检查技术结合起来，提出了一种能检查对象的实例变量的数据流异常的方法。

A METHOD FOR DATA FLOW ANOMALY DETECTION IN OO PROGRAMS

Data flow anomalies(DFA) are those anomalies related to the accessing and updating of data items in a program. 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 the methods of a class is proposed. The method sequence specification(MtSS) is used in conjunction with the conventional DFA detection techniques to identify the data flow anomalies in classes. This 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.