Fagan Inspection 完全解析：六階段嚴謹審查流程如何揪出自動化工具看不見的程式碼缺陷

當靜態分析工具標記完語法錯誤後，真正危險的邏輯矛盾與架構缺失往往仍潛伏在程式碼中。Fagan Inspection（法根檢查）以六階段嚴謹流程與多角色集體審查，專門揪出自動化工具看不見的深層問題。

什麼是 Fagan Inspection，核心架構為何？

Fagan Inspection 由 Michael Fagan 於 1976 年在 IBM 提出，是目前最嚴謹的正式程式碼審查（Formal Code Review）方法。其六階段流程依序為：計畫（Planning）→ 概述（Overview）→ 準備（Preparation）→ 檢查會議（Inspection Meeting）→ 返工（Rework）→ 追蹤（Follow-up）。每個階段皆有明確的進入與退出標準，確保審查不流於形式。角色分工上，分為主持人（Moderator）、作者（Author）、審查員（Inspector）與記錄員（Reader/Recorder），以集體智慧對抗個人盲點。研究顯示，此方法可在開發早期消除高達 60–90% 的缺陷，大幅降低後期修復成本。

六階段流程的關鍵細節

計畫階段由主持人確認工件就緒並排程；概述階段由作者說明設計背景，確保審查員具備足夠脈絡。準備階段最為關鍵——每位審查員獨立閱讀程式碼並記錄潛在缺陷，研究顯示個人準備可發現 70% 以上的最終缺陷。檢查會議中，Reader 逐行朗讀程式碼，其他人提出問題，主持人控制節奏並禁止當場修正。返工階段由作者依缺陷清單修正，追蹤階段則由主持人驗證所有缺陷確實修復。整個流程透過度量數據（Metrics）持續回饋，改善後續審查效率，這正是它與一般 Code Review 最大的本質差異。

💡 重點整理

• 準備階段決定成敗：個人獨立審查比會議討論找到更多缺陷。
• 會議只找缺陷，不修缺陷：禁止當場討論解決方案，維持審查效率。
• 度量驅動改善：缺陷密度與審查速率數據用於優化後續流程。
• 適用範圍廣：不限於程式碼，同樣適用於需求文件與設計規格審查。

Fagan Inspection 的嚴謹成本在安全關鍵系統（航太、醫療、金融）中完全值得投入。對一般專案而言，即使只借鑒其準備階段獨立審查與缺陷度量回饋兩個核心實踐，也能顯著提升程式碼品質。

📚 參考文獻

1. Fagan, M. E. (1976). Design and Code Inspections to Reduce Errors in Program Development. IBM Systems Journal, 15(3), 182–211. — 原始論文，Fagan Inspection 的理論基礎。
2. IEEE Std 1028-2008: IEEE Standard for Software Reviews and Audits — 涵蓋 Fagan Inspection 的正式審查標準規範。
3. Wiegers, K. E. (2002). Peer Reviews in Software: A Practical Guide. Addison-Wesley. — 業界最權威的同儕審查實務指南。

⚠️ 本文內容基於撰寫時的最新資訊，實際應用時請參考官方文件的最新版本。