摘要
軟體文件審查在安全關鍵驗證技術中，扮演了非常重要的角色。審查是品質保證中重要的活動。審查不只在實質上，提高了軟體的品質，並且法令上對於安全關鍵軟體(safety-critical software)亦要求必須通過管制單位的審查核准才可以運作。然而一般而言，軟體設計文件的數量非常的龐大，面對如此繁雜的大量文件，要做到全面性的文件審查是一件困難的工作。 本研究提出循線式抽樣審查方式，所謂的循線審查則是針對一個審查評估項目，所萃取出在一份或多份文件中的相關文件切片，而抽樣審查則利用文件片段中進行有意義的抽樣，可有效率的做出審查結論。實作上我們採用抽樣審查(sampling review)及程式切片(program slicing)的觀念為基礎，在此又稱之為文件切片(document slicing)。文件切片觀念是綜合了程式切片與抽樣審查兩種技術，也就是在文件片段中所進行有意義的抽樣審查。本研究發展了循線式抽樣審查技術及相關的電腦輔助群組軟體，我們應用文件切片概念，並以XML技術標註文件切片間的語意概念及相互片段間的關係，以利於審查者萃取相關審查議題的資訊片段進行抽樣審查。循線式抽樣審查技術可大幅度的提昇軟體文件審查的品質和效率。
參考文獻
[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”