Flow analysis of class relationships for object-oriented programs

Jiun Liang Chen, Feng-Jian Wang

研究成果: Article同行評審

7 引文 斯高帕斯(Scopus)


Program analysis techniques have been widely applied in various fields of software engineering, such as debugging, testing, and proof of simple correctness properties. In object-oriented (OO) programs, inheritance, association, and aggregation relationships may introduce complicated dependencies concealed within classes that might obstruct program analysis. This paper proposes a class relationship flow models to provide analysis for inheritance, association, and aggregation of class relationships. The flow model consists of three flows, inheritance, association, and aggregation flows, corresponding to these relationships. A sequence of class relationships is represented as a flow path from one class to another. Along a flow path, each member within a class is associated with an operation, define or use, to represent whether its status is changed or referenced. Thereby, the concealed dependencies introduced by class relationships can be analyzed according to the flow operations. The analysis might be used as a technique for program understanding, anomaly detection, and program testing.

頁(從 - 到)619-647
期刊Journal of Information Science and Engineering
出版狀態Published - 1 7月 2000


深入研究「Flow analysis of class relationships for object-oriented programs」主題。共同形成了獨特的指紋。