A technique to analyze information-flow in object-oriented programs

作者：Li BX^*

来源：Information and Software Technology, 2003, 45(6): 305-314.

DOI：10.1016/S0950-5849(02)00223-9

• information-flow
• program slicing
• object-orientation

Traditional information-flow analysis is mainly based on data-flow and control-flow equations. In object-oriented programs, because of the mechanisms such as encapsulation, inheritance, and polymorphism, information-flow analysis becomes quite complex and therefore it is not enough to analyze object-oriented information-flow using traditional techniques. Some new techniques are required in order to efficiently analyze the information-flow between basic components (such as statements, methods, classes or packages) in object-oriented programs. Based on object-oriented program slicing techniques, we discuss how to compute the amount of information-flow, the width of information-flow, the correlation coefficient between basic components as well as degree of coupling of a basic component can be computed. We also discuss some applications of the information-flow.

• 出版日期2003-4-15
• 单位中国科学技术大学