(3.238.174.50) 您好!臺灣時間:2021/04/16 16:08
字體大小: 字級放大   字級縮小   預設字形  
回查詢結果

詳目顯示:::

我願授權國圖
: 
twitterline
研究生:蕭遠芳
論文名稱:軟體文件循線式抽樣審查
論文名稱(外文):Threaded sampling review of software documents
指導教授:范金鳳范金鳳引用關係
學位類別:碩士
校院名稱:元智大學
系所名稱:資訊工程學系
學門:工程學門
學類:電資工程學類
論文種類:學術論文
論文出版年:2003
畢業學年度:91
語文別:中文
中文關鍵詞:循線審查抽樣審查
相關次數:
  • 被引用被引用:0
  • 點閱點閱:146
  • 評分評分:系統版面圖檔系統版面圖檔系統版面圖檔系統版面圖檔系統版面圖檔
  • 下載下載:0
  • 收藏至我的研究室書目清單書目收藏:0
軟體文件審查在安全關鍵驗證技術中,扮演了非常重要的角色。審查是品質保證中重要的活動。審查不只在實質上,提高了軟體的品質,並且法令上對於安全關鍵軟體(safety-critical software)亦要求必須通過管制單位的審查核准才可以運作。然而一般而言,軟體設計文件的數量非常的龐大,面對如此繁雜的大量文件,要做到全面性的文件審查是一件困難的工作。
本研究提出循線式抽樣審查方式,所謂的循線審查則是針對一個審查評估項目,所萃取出在一份或多份文件中的相關文件切片,而抽樣審查則利用文件片段中進行有意義的抽樣,可有效率的做出審查結論。實作上我們採用抽樣審查(sampling review)及程式切片(program slicing)的觀念為基礎,在此又稱之為文件切片(document slicing)。文件切片觀念是綜合了程式切片與抽樣審查兩種技術,也就是在文件片段中所進行有意義的抽樣審查。本研究發展了循線式抽樣審查技術及相關的電腦輔助群組軟體,我們應用文件切片概念,並以XML技術標註文件切片間的語意概念及相互片段間的關係,以利於審查者萃取相關審查議題的資訊片段進行抽樣審查。循線式抽樣審查技術可大幅度的提昇軟體文件審查的品質和效率。

1. 概論 5
2. 研究背景及相關研究 8
2.1 安全個案 ( SAFETY CASE ) 8
2.2 程式切片(PROGRAM SLICING) 9
2.3 軟體驗證與確認(V&V)標準簡介 10
2.4 審查技術 11
2.5 XML 12
2.6 群組軟體與電腦輔助協同工具 13
3. 研究方法 16
3.1 文件切片與程式切片的比較 16
3.2 審查循線單元定義 19
3.3 軟體抽樣審查 23
3.4 審查文件類型定義 23
3.5 審查工具概述 30
4. 實作與效率評估 35
4.1 實作技術與資料結構 35
4.2   系統畫面 38
4.2.1 編輯模式 38
4.2.2 瀏覽模式 42
4.2.3 應用案例 49
4.3 循線式軟體文件抽樣審查技術的評估 60
5. 結論與未來展望 67
參考資料 69
附錄一 火車平交道系統使用者需求與規格文件片段 71

[1] M. Weiser , Program slice.IEEE Transation on Software Engineering , 10:352-357 , July 1984
[2] Keith Brian Gallagher, James R. Lyle , “Software Safety and Program Slicing”
[3] Fagan, Advances in software inspections , IEEE TSE , July 1986
[4] Michiel van Genuchten , Cor van Dijk and Henk Scholten , Doug Vogel , “Using Group Support System for Software inspections” , IEEE SOFTWARE May/July 2001,60-65
[5] Ilkka Tervonen, Lasse Harjumaa and Juha Iisakka , “The Web Generation of Software Inspection:A Process with Virtual Meetings and On-line Recording”
[6] WiT, The URL of WiT demo is http://rieska.oulu.fi/~wit, user account from marcus@rieska.oulu.fi
[7] Kevin Curran , “A Web-Based Collaboration Teaching Envioronment”, 1070-986X/02 2002 IEEE 72-76
[8] IEEE Std 829-1998 Standard for Software Test Documentation
[9] IEEE Std 830-1998 Recommended Practice for Software Requirements Specification
[10]IEEE Std 1012-1986 Standard for Software Verification and Validation Plans
[11]IEEE Std 1016-1998 Recommended Practice for Software Design Descriptions
[12]IEEE Std 1044.1-1995 Guide to Classification for Software Anomalies
[13]IEEE Std 1059-1993 Guide for Software Verification and Validation Plans
[14]John D. Corrie , Mott MacDonald Ltd , “Safety cases: Getting there together”
[15]Andy H. BSc CEng MIEE MSaRS , “Independent Safety Assessment” ,15th June 1999
[16]Tim Kelly , John McDermid , “Safety Case Patterns” , 1998 The Institution of Electrical Engineers
[17]“The Railways (Safety Case) Regulations 1994”, Statutory Instrument 1994 No. 237
[18]“Safety Case Assessment and Acceptance”, LUL RAILWAY SAFETY CASE, 12 JULY 2002
[19]Peter Barrett , Amer Saeed , “Designs Amenable to Safety Case Demonstration” , 2 years; ended September 1996
[20]C. Lange , “Program Slicing and Slicing Book Technology — A Comparison” , ARTI 8800 , Spring2001
[21]“Earth Observing System Data and Information System (EOSDIS)” http://spsosun.gsfc.nasa.gov/eosinfo/EOSDIS_Site/
[22]“EOSDIS V&V Plan” , NASA
[23]Extensible Markup Language , http://www.w3.org/XML/
[24]J. Miller , J. D. Ferguson , P. Murphy , “Groupware Support for Asynchronous Document Review” , Proceedings of the seventh annual conference on Computer documentation(p.185-192). New Orleans , 1999
[25]XSL Transformations(XSL) Version 1.0 , W3C Recommendation 16 Nov. 1999 , http://www.w3.org/TR/xslt/
[26]XML Path Language(XPath) Version 1.0 , W3C Recommendation 16 Nov. 1999 , http://www.w3.org/TR/xpath/
[27]XML Pointer Language(XPointer) Version 1.0 , W3C Candidate Recommendation 11 Sep. 2001 , http://www.w3.org/TR/xptr/
[28]XML Linking Language(XLink) Version 1.0 , W3C Recommendation 27 June 2001 , http://www.w3.org/TR/xlink/
[29]Dr. Chin-Feng Fan and Zen-Shien Yang , “Formal Methods for Safety Cases” , Chung-Li , Taiwan , Republic of China, June 1999
[30]Dr. Chin-Feng Fan and Des-Ming Wu , “Derivation and Application of the knowledge structures of software document review process” , Chung-Li , Taiwan , Republic of China, July 2000
[31]Dr. Chin-Feng Fan and Cheng-Chih Kuo , “The Development and Application of Threaded Review Technique”,Chung-Li , Taiwan , Republic of China,2002
[32]吳世傑,翁哲斌,“火車平交道系統”, Oct. 2002

QRCODE
 
 
 
 
 
                                                                                                                                                                                                                                                                                                                                                                                                               
第一頁 上一頁 下一頁 最後一頁 top
系統版面圖檔 系統版面圖檔