背景

驗證規範驅動開發（Verified Spec-Driven Development, VSDD）是一種新興的軟體工程方法論，旨在將形式驗證、測試驅動開發（TDD）與規範驅動開發（SDD）整合進 AI 協作的工作流中。該方法強調在撰寫任何程式碼之前，必須先建立嚴密的行為契約與驗證架構，並透過 AI 扮演的「對抗者」角色進行循環審查，最終達成所謂的「零廢料」軟體開發。

社群觀點

Hacker News 社群對 VSDD 的討論呈現兩極化的態勢。支持者認為，形式規範語言本身就是一種強大的設計工具，能幫助開發者在實作前釐清問題邊界，避免 AI 在模糊的需求中產生幻覺。特別是在處理複雜系統時，高層次的規範能固定住系統的核心屬性，讓 AI 在迭代過程中有所依循，而不至於讓程式碼演變成難以維護的混亂結構。部分評論指出，這種方法論實際上是將開發重心從「寫程式」轉移到「定義需求」，這在 AI 時代是必然的趨勢，因為規範是人類唯一能完全掌控並理解的部分。

然而，許多資深開發者對此抱持懷疑，甚至批評這是一種過度工程化的「 buzzword 堆砌」。反對意見主要集中在靈活性與成本效益上。有觀點認為，在問題領域尚不明確的探索階段，強行要求撰寫嚴謹規範是不切實際的；與其花費大量資源追求一次到位的完美系統，不如利用 AI 極低的開發成本進行多路並行實驗，快速拋棄失敗的嘗試。此外，傳統 TDD 在 AI 環境下可能導致 API 設計僵化，若 AI 為了通過測試而產生出結構混亂的程式碼，後續的維護與擴展成本將會飆升。

另一個深層的爭論點在於「驗證」的本質。有專家提醒，計算科學中的模型檢查問題在實務上往往是難以處理的，追求 100% 的形式驗證可能會陷入無限的時間成本中。當開發者選擇降低驗證強度以換取效率時，對系統的信心程度將變得難以量化。社群中不乏聲音認為，與其追求複雜的新框架，不如回歸基本的工程實踐：良好的任務拆解、詳盡的文檔與紮實的測試。部分評論甚至直言，這種過度依賴提示詞工程的方法論，更像是那些熱衷於「談論開發」而非「實際開發」的人所推崇的幻象，忽略了軟體開發中真正優美的邏輯往往存在於程式碼本身，而非繁瑣的自然語言描述中。

延伸閱讀

在討論中，有參與者提到了 GitHub 的 spec-kit 專案，認為其或許能與此類規範驅動的流程結合。此外，針對形式驗證與 AI 結合的潛力，討論也觸及了類型系統作為輕量級驗證手段的重要性，以及如何利用 LLM 降低形式規範語言的學習門檻。