(3.235.108.188) 您好!臺灣時間:2021/02/26 18:32
字體大小: 字級放大   字級縮小   預設字形  
回查詢結果

詳目顯示:::

我願授權國圖
: 
twitterline
研究生:陳俊良
研究生(外文):Chen, Jiun-Liang
論文名稱:物件導向軟體的高階程式分析之研究
論文名稱(外文):A Study of High-Level Program Analyses for Object-Oriented Software
指導教授:王豐堅
指導教授(外文):Feng-Jian Wang
學位類別:博士
校院名稱:國立交通大學
系所名稱:資訊工程學系
學門:工程學門
學類:電資工程學類
論文種類:學術論文
論文出版年:1998
畢業學年度:86
語文別:中文
論文頁數:133
中文關鍵詞:物件導向程式分析程式相依圖類別關係軟體工程
外文關鍵詞:object orientationprogram analysisprogram dependency graphclass relationshipsoftware engineering
相關次數:
  • 被引用被引用:0
  • 點閱點閱:136
  • 評分評分:系統版面圖檔系統版面圖檔系統版面圖檔系統版面圖檔系統版面圖檔
  • 下載下載:0
  • 收藏至我的研究室書目清單書目收藏:0
高階程式分析技術在軟體工程上的應用相當廣泛,譬如軟體的除錯,測試及
程式特性驗證 等.近來由於物件導向技術所引進抽象化,封裝,繼承與多
型等高階特性到軟體的製作,再 加上資訊系統的規模越來越複雜且龐大,
增加解析程式的困難,因而造成軟體測試與維護 的成本大幅提昇.本論文
研究的目的是提出程式分析技術來解析高階語言所撰寫的程式, 可用來
協助軟體測試與維護以降低軟體發展的成本.本研究針對物件導向軟體.分
別提出 以相依為基與流程為基的高階程式分析技術.在相依為基的分析
技術中,我們設計物件導 向程式相依關係圖來表示程式中物件與訊息傳
遞之間的各種相依關係;此相依圖可以表達 封裝在物件內部的複雜結構.
可提供較準確的相依關係分析,如程式切片.物件導向程式 的類別雖然
具有高度模組化的特性,但是類別之間仍可透過繼承,關連與群集的關係流
模型將類別之間傳遞的隱含資訊表示繼承流,關連流,以及群集流;這些類
別關係流可以用來 分析物件導向程式類別庫的特性.此兩種分析技術可
進一步應用在物件導向軟體工程上的 程式解析,除錯,測試與維護工具之
製作.
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
QRCODE
 
 
 
 
 
                                                                                                                                                                                                                                                                                                                                                                                                               
第一頁 上一頁 下一頁 最後一頁 top
系統版面圖檔 系統版面圖檔