資訊流模型之解析JAVA程式庫

Abstract

程式分析與維護佔了軟體發展的大部份資源。物件導向技術可以使軟體分析與設計工作變得容易；可是在物件導向程式庫中，程式員常常需要瞭解軟體元件之間相依性的關係、物件方法參考問題。物件導向程式庫維護仍然有許多不易之處。因此，本論文採用圖形化表示的方法來協助解析導向程式，定義了一組符號來幫助程式發展者維護物件導向程式。論文中定義了資訊流模型便是基於這些圖形化表示的程式，運用程式切片的技巧來幫助程式維護人員瞭解Java程工庫中相依性關係、物件方法交互參考關係。

Although the Object-Oriented (OO) paradigm eases the design and analysis of software, OO programs may be more diffucult to understand than structured programs due to the unique language features such as encapsulation, inheritance, and polymorphism. These language features entail different kinds of resolution problems including scope, types names, and methods. So far, little research was focused on how to assist understanding concurrent OO programs. This thesis intends to help program understanding by means of constructing the Information Flow Model (IFM). Java programs are selected to illustrate this model. The Java Object Model (JOM) is designed to describe the internal structure of the class and the relationships between classes. The Concurrent Dependency Graph (CDG) is proposed to represent the program statements in the model. It is used to bridge the CDG and the JOM as the IFM. Based on this model, the Concurrent OO Program Slicing (COOPS) is developed for a programmer to gather the related information, which he or she might need to understand.