高階程式分析技術在軟體工程上的應用相當廣泛,譬如軟體的除錯,測試及
程式特性驗證 等.近來由於物件導向技術所引進抽象化,封裝,繼承與多
型等高階特性到軟體的製作,再 加上資訊系統的規模越來越複雜且龐大,
增加解析程式的困難,因而造成軟體測試與維護 的成本大幅提昇.本論文
研究的目的是提出程式分析技術來解析高階語言所撰寫的程式, 可用來
協助軟體測試與維護以降低軟體發展的成本.本研究針對物件導向軟體.分
別提出 以相依為基與流程為基的高階程式分析技術.在相依為基的分析
技術中,我們設計物件導 向程式相依關係圖來表示程式中物件與訊息傳
遞之間的各種相依關係;此相依圖可以表達 封裝在物件內部的複雜結構.
可提供較準確的相依關係分析,如程式切片.物件導向程式 的類別雖然
具有高度模組化的特性,但是類別之間仍可透過繼承,關連與群集的關係流
模型將類別之間傳遞的隱含資訊表示繼承流,關連流,以及群集流;這些類
別關係流可以用來 分析物件導向程式類別庫的特性.此兩種分析技術可
進一步應用在物件導向軟體工程上的 程式解析,除錯,測試與維護工具之
製作.

High-level program analysis techniques have been applied in
various fields of software engineering,such as debugging,
testing,and proof of correctness properties.Recently,the
object-oriented (OO) paradigm introduced the features of object
abstraction,encapsulation,inheritance,and polymorphism to
software construction;and more and more large-scale software
applications proliferated rapidly.These might complicate program
analyses in software testing and maintenance.In this
thesis,the techniques of program analyses are studied in order
to faciliate software testing and maintenance.The analysis
techniques include a denpendency-based approach by a
dependency graph model,and a flow- based approach,a flow model
is presented to express the implicit information propagated
among classes via inheritance,association,and aggregation
relationships.The flow model,called class relationship flow
model,consists of inheritance flow,association flow,and
aggreation flow corresponding to the class relationships to
provide flow analysis of class libaries.Both analysis
approaches can be the common techniques to develop the tools of
understanding,debugging,testing,and maintence in OO software
engineering.

Cover
Chinese Abstract
Abstract
Acknowledgement
Table of Contents
Chapter 1.Introduction
1.1 Motivation
1.2 A Glance of Object-Oriented Programming
1.3 Some Issues of Object -Oriented Analysis
1.4 Thesis Overview
Chapter 2.Background
2.1 Traditional Program Analyses
2.2 Object-Oriented Paradigm
2.3 Related Work
Chapter 3.A Dependency Graph for Object-Oriented Programs
3.1 Basic Graph Definitions
3.2 Representation of Object-Oriented Programs
3.3 Object Oriented Program Dependency Graph
3.4 Concluding Remark
Chacpter 4.Dapendency Analysis of Object-Orientel Programs
4.1 State Slice
4.2 Behavior Slice
4.3 Object-Orented Program Slicing
4.4 Discussion
Chapter 5.A Flow Model for Class Relationships
5.1 Representtion of Class Relationships
5.2 Class Relationship Flow Model
5.3 Flow Information
5.4 Concluding Remark
Chapter 6.Flow Analysis of Reationships
6.1 Retionale
6.2 Flow Equations for Class Relationships
6.3 Computetion of Class Reletionship Flow
6.4 Analtsis of Class Relationship Flow
6.5 Applications
Chapter 7.Conclusion and Future Work
7.1 Conclusion
7.2 Summary of Implementation
7.3 Future Work
References
Appendix A. The OOPDG of Alasses D2vector and D3vector
Appendix B.The OOPdg of Program VectorProcess
Appendix C.Ignoranxe of a Single Cyclic Arcin Flow Comoutation
Appendix D.Flow Computation in a Cyclic Flow Path
Vita