高级检索

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

    A METHOD FOR DATA FLOW ANOMALY DETECTION IN OO PROGRAMS

    • 摘要: 数据流异常是指程序中与变量使用有关的不合常规的“可疑”情况.仅靠传统的数据流异常检查技术不能发现面向对象程序中与实例变量有关的数据流异常,将方法序列规范与传统的检查技术结合起来,提出了一种能检查对象的实例变量的数据流异常的方法.当类中方法的调用顺序符合该类的方法序列规范时,应用提出的方法能保证发现所有的介于不同方法之间的数据流异常.

       

      Abstract: 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.

       

    /

    返回文章
    返回