資料載入處理中...
:::
網站導覽
|
首頁
|
關於本站
|
聯絡我們
|
國圖首頁
|
常見問題
|
操作說明
English
|
FB 專頁
|
Mobile
免費會員
登入
|
註冊
切換版面粉紅色
切換版面綠色
切換版面橘色
切換版面淡藍色
切換版面黃色
切換版面藍色
(3.235.108.188) 您好!臺灣時間:2021/02/26 18:32
字體大小:
字級大小SCRIPT,如您的瀏覽器不支援,IE6請利用鍵盤按住ALT鍵 + V → X → (G)最大(L)較大(M)中(S)較小(A)小,來選擇適合您的文字大小,如為IE7或Firefoxy瀏覽器則可利用鍵盤 Ctrl + (+)放大 (-)縮小來改變字型大小。
字體大小變更功能,需開啟瀏覽器的JAVASCRIPT功能
詳目顯示
:::
recordfocus
第 1 筆 / 共 1 筆
/1
頁
論文基本資料
摘要
外文摘要
目次
紙本論文
QR Code
本論文永久網址
:
複製永久網址
Twitter
研究生:
陳俊良
研究生(外文):
Chen, Jiun-Liang
論文名稱:
物件導向軟體的高階程式分析之研究
論文名稱(外文):
A Study of High-Level Program Analyses for Object-Oriented Software
指導教授:
王豐堅
指導教授(外文):
Feng-Jian Wang
學位類別:
博士
校院名稱:
國立交通大學
系所名稱:
資訊工程學系
學門:
工程學門
學類:
電資工程學類
論文種類:
學術論文
論文出版年:
1998
畢業學年度:
86
語文別:
中文
論文頁數:
133
中文關鍵詞:
物件導向
、
程式分析
、
程式相依圖
、
類別關係
、
軟體工程
外文關鍵詞:
object orientation
、
program analysis
、
program dependency graph
、
class relationship
、
software 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
國圖紙本論文
推文
當script無法執行時可按︰
推文
網路書籤
當script無法執行時可按︰
網路書籤
推薦
當script無法執行時可按︰
推薦
評分
當script無法執行時可按︰
評分
引用網址
當script無法執行時可按︰
引用網址
轉寄
當script無法執行時可按︰
轉寄
top
相關論文
相關期刊
熱門點閱論文
1.
統一塑模語言(UML)應用於國軍資訊系統開發之研究—以『通用主件裝備補給管理資訊系統』申補作業為例
2.
以設計樣式基礎的系統發展方法-以象棋系統為例
3.
應用UML建置色彩管理系統
4.
設計與發展一個互動式精神醫療系統
5.
以資訊流分析之程式庫解析工具的實作
6.
組成物件結構的知識庫輔助系統之研究
7.
VDCS:一種電腦輔助分散式物件導向系統發展工具
無相關期刊
1.
一整合型視覺化程式設計環境之研究
2.
使用狀態圖在工作流程規格上進行定義Artifacts確認
3.
以顏色為基礎的視訊擷取
4.
工作流程規格資源分配限制的遞增式分析
5.
以網路探勘為基礎之術語翻譯擷取技術
6.
一工作流程管理系統中代理機制之分析
7.
Inter-Workflow系統:支援協同流程框架之工作流程管理系統
8.
一工作流程管理系統的容量測量
9.
使用XML整合網際網路上的工作流程系統
10.
整合屬性文法與物件導向技術建構程式語言工具之研究
11.
並行軟體功能分解式物件導向分析方法
12.
一Web應用程式軟體測試架構
13.
以軟體流程技術支援ISO認證之研究
14.
設計並實作一OOAG應用程式之建構環境
15.
中文名片辨識系統之設計
簡易查詢
|
進階查詢
|
熱門排行
|
我的研究室