用 TLA+ 幫你驗證系統規格設計
2021-07-17T08:56:40.000Z — 9 Min Read
前言 在年初我分享過團隊在嘗試的 self-improvement 計畫，過了半年，還是持續運作中，而且也不斷有收穫，在最近一次的分享會上，後端團隊的同事提到了在設計系統上遇到的一個問題，他們想知道有沒有辦法能驗證自己設計的系統規格沒有邏輯上的錯誤；當下我最直覺的想法是：應該只能把程式照著規格寫出來後，用大量的測試去驗證吧？這也是為什麼越有經驗的人，設計出來的系統通常比較穩定，因為能想到比較多的可能性與細節。 然而事實證明我還是太菜了。 同事介紹了 TLA+ 這個 formal…