Tarragon

"Property-Based-Testing"

• 2026-08-24 判準寫不下來的時候：性質、變形關係與留給人的部分 逐例預期值算不出來或跟不上產出速度時，用來決定判準退到哪一層、以及哪些驗證工作交不出去
• 2026-08-24 Property-Based Testing（性質式測試） 逐例斷言列不完、或預期輸出難以逐例算出時，用來把驗證對象從個別例子換成對所有輸入都該成立的性質