Testing, Property Based Testing, Agile, Software Engineering.
target 擁有哪些 invariant 並重新檢視我們的實作是否符合這些規則。此外，支援 shrinker 的 framework 更可以透過 shrinker 來幫助我們更容易理解最小可能有誤的 case 為何。 ▍延伸閱讀 由於本文只簡介 Property-Based Testing 的特性，所以只用了 reverse 及 sort 兩個較為簡單的 function 做介紹。 Property-Based Testing 可以在多種情境下使用，也可以搭配著 End-to-End framework 一起使用。 以下兩場都是很棒的演講，並且使用情境較為複雜，有興趣的朋友可以看看：