軟體文件審查為提升軟體品質的重要技術之一，在安全關鍵軟體驗證過程中尤其扮演了極為重要的角色，但也擔負了龐大的工作量。因為應用系統功能日益複雜，應審查的軟體設計文件數量龐大，使得全面的文件審查幾乎成為不可能的任務，因此發展有效的軟體審查技術與工具成為軟體工程研究的重要議題。本研究發展循線式（Threaded）軟體審查技術及相關電腦輔助工具。循線審查的基本精神在於準備軟體發展文件時，先依據法規標準要求事項訂出審查議題(review issues) 及驗收準則(acceptance criteria)。軟體發展文件則應依據相關審查議題以模組化方式組織； 此項工作可以XML定義對應的標註達成，並可在這些標註上進一步定義文件模組間的各項關聯關係（如邏輯關係、追溯關係、支援關係等）。接著可發展工具將隸屬同一審查議題而散佈不同軟體文件中的段落加以萃取、串接，成為一針對特定議題的循線單元（thread）。審查者可由此循線單元(thread)，一次掌握此一議題所涵蓋的所有軟體文件相關項目，而不須要以人工方式在眾多文件報告中逐一檢索，可大幅提升審查工作效率及品質。

圖目錄 VI
表目錄 VIII
一、緒論 1
1.1研究動機與背景 1
二、相關研究 3
2.1軟體驗證與確認標準簡介 3
2.2審查工作﹙Inspection﹚ 7
2.3延伸格式標記語言XML 8
2.4書本切割技術﹙Book Slicing﹚ 10
2.5群組軟體、電腦輔助協同工作 12
2.6爪哇﹙Java﹚程式語言及其相關技術 13
三、研究方法 16
3.1循線式的審查﹙Threaded Review﹚ 16
3.1.1定義 16
3.1.2類型 17
3.1.3審查緒的表示方式 18
3.1.4文件標註範例 19
3.2群組審查環境的建構 26
3.2.1功能需求探討 26
3.2.2系統架構 26
3.3實例說明 29
3.3.1使用情境描述(Scenario) 29
3.3.2實作技術、資料結構與演算法說明 34
四、實驗部分 39
4.1效益評估 39
五、結論與未來展望 42
5.1循線式的審查技術 42
5.2三層式﹙Three-Tier﹚的系統環境 43
5.3跨平台之群組審查環境的建立 43
5.4未來展望 44
參考文獻 45
附錄一 47
附錄二 62
附錄三 75

﹝1﹞ Weiser， M.， “Program slices: formal， psychological， and practical investigations of an automatic program abstraction method”. PhD thesis， University of Michigan， Ann Arbor， 1979.
﹝2﹞ The Apache Software Foundation， http://www.apache.org/
﹝3﹞ C. Lange， “Program Slicing and Slicing Book Technology ─ A Comparison”， ARTI 8800， Spring 2001.
﹝4﹞ I. Dahn， G. Schwabe， “Personalizing Textbooks with Slicing Technologies ─ Concept， Tools， Architecture， Collaborative Use”， University of Koblenz-Landau， Germany， submitted to HICSS 2002.
﹝5﹞ The Jakarta Project， http://jakarta.apache.org/tomcat/index.html.
﹝6﹞ “IEEE Standard for Software Verification and Validation”， IEEE Std 1012-1998， Institute of Electrical and Electronic Engineers， Inc.， 1998.
﹝7﹞ I. Dahn， “Using Networks for Advanced Personalization of Documents”， Proc. SSGRR 2001.
﹝8﹞ S. Schach， Classical and Object-Oriented Software Engineering， McGraw-Hill International Editions.
﹝9﹞ Extensible Markup Language， http://www.w3.org/XML/
﹝10﹞ Java Server Pages， Sun Micro System Inc.， http://java.sun.com/products/jsp/
﹝11﹞ E.T.Ray， Learning XML， O’Reilly & Associates， Inc.， 2001
﹝12﹞ M. E. Fagan， “Advances in Software Inspections to Reduce Errors in Program Development，” IBM Systems Journal 15 (No.3， 1976)， pp. 182-211.
﹝13﹞ “Standard for Software Reviews and Audits，” IEEE 1028-1997， Institute of Electrical and Electronic Engineers， Inc.， 1998.
﹝14﹞ G. Booch， J. Rumbaugh， I. Jacobson， The Unified Modeling Language User Guide， Addison Wesley Longman， 1999
﹝15﹞ “Software Life Cycle Processes”， IEEE/EIA 12207， Institute of Electrical and Electronic Engineers， Inc.， March 1998.
﹝16﹞ Lotus Notes. Software. Lotus Development Corporation， Cambridge， Mass.， http://www.lotus.com/products/r5web.nsf/webhome/nr5noteshp
﹝17﹞ M. Mandviwalla， L. Olfman， “What Do Groups Need? A Proposed Set of Generic Groupware Requirements”， ACM Transactions on Computer-Human Interactions， Vol. 1， No. 3， September 1994， Page 245-268.
﹝18﹞ V. Mashayekhi， R. Glamm， and J. Riedl. “AISA：Asynchronous review of software artifacts. Technical report”， Computer Science Dept.， University of Minnesota， 1995.
﹝19﹞ J. Miller， J. D. Ferguson， P. Murphy， “Groupware Support for Asynchronous Document Review”， Proceedings of the seventh annual conference on Computer documentation﹙pp.185-192﹚. New Orleans， 1999.
﹝20﹞ Green， R.， “Web Review: A web-based documentation review tool”， Proceedings of the 15th annual international conference on Computer documentation﹙pp. 93-98﹚， Snowbird﹙UT﹚， 1997.
﹝21﹞ P. J. M. Perry， et al. “Anywhere， anytime code inspections: using the Web to remove inspection bottlenecks in large-scale software development”， Proceedings of the 1997 international conference on Software engineering﹙pp. 14-21﹚. Boston.
﹝22﹞ XSL Transformations (XSLT) Version 1.0， W3C Recommendation 16 November 1999， http://www.w3.org/TR/xslt
﹝23﹞ Extensible Stylesheet Language (XSL) Version 1.0， W3C Recommendation 15 October 2001， http://www.w3.org/TR/xsl/
﹝24﹞ XML Path Language (XPath) Version 1.0， W3C Recommendation 16 November 1999， http://www.w3.org/TR/xpath
﹝25﹞ “IEEE Guide for Software Verification and Validation Plans”， IEEE Std 1059-1993， Institute of Electrical and Electronic Engineers， Inc.， 1994.
﹝26﹞ “IEEE Standard for Software Verification and Validation Plans”， ANSI/IEEE Std 1012-1986， Institute of Electrical and Electronic Engineers， Inc.， 1986.
﹝27﹞ Java Community Process， http://www.jcp.org/
﹝28﹞ XML Pointer Language (XPointer) Version 1.0， W3C Candidate Recommendation 11 September 2001， http://www.w3.org/TR/xptr
﹝29﹞ XML Linking Language (XLink) Version 1.0， W3C Recommendation 27 June 2001， http://www.w3.org/TR/xlink
﹝30﹞ Chin-Feng Fan， and Swu Yih， “Evidence-based Software Verification and Validation Technique”， Proc. Of International Conference on Distributed Systems， Software Engineering and Database Systems (ICS’96)， Taiwan， December 1996， pp. 286-293.
﹝31﹞ Finn V. Jensen， An Introduction to Bayesian Networks， Springer-Verlag New York 1996.