2026年6月15日 Differential Testing 不需要形式化證明也能運作，但 Common-Mode Failure 才是真正的陷阱 Differential testing 讓你在不知道正確答案的情況下找到 bug。問題是，有相關性的錯誤看起來就像一致。以下是找出盲點的方法。 n-version-programmingdifferential-testingformal-methodstrust
2026年6月14日 測試無法證明兩個函式等價。真正有用的是這個。 N-version programming 假設你的實作結果一致。我們來看看為什麼測試不夠、SMT solver 如何真正證明等價，以及該在「夠好就好」和「形式化驗證」之間劃下哪條界線。 n-version-programmingequivalence-testingformal-methodsverification
2026年6月13日 如果我的 LLM 變體意見分歧，哪一個才對？ 並行運行多個 LLM 能抓出任何單一模型都會自信上線的錯誤。以下是如何建立一個真正有效的分歧解決系統。 n-version-programmingllmdifferential-testingdisagreement-resolution
2026年6月12日 五種實作卻沒有共識：到底該怎麼選出最好的那一個 N-version programming 聽起來很簡單：跑多個實作，挑最好的答案。但在實務上，「最好」比「最常見」難定義得多。 n-version-programmingimplementation-selectiondifferential-testingai-engineering
2026年6月11日 同一個 LLM 就能寫出五種版本的函式。以下是讓它們真正不同的方法。 用 LLM 進行 N-version programming 不需要多個模型。只要改變 prompt、角色設定和推理限制，就能從單一模型中產出多樣且正確的實作。 n-version-programmingllmdiverse-implementationsai-engineering
2026年6月10日 NASA 同時執行了 27 份相同的程式。漏洞們集體投票。 N-version programming 曾宣稱獨立團隊會犯下獨立的錯誤。Knight 與 Leveson 在 1986 年的實驗證明了相反的事實，NASA 也默默退出了這條路。 n-version-programmingnasafault-tolerancesoftware-history
