Property-Based Testing

Property-based testing เป็นวิธีการทดสอบที่ทรงพลังมาก แทนที่จะเขียน test case แบบ hardcode เราบอกแค่ “คุณสมบัติ” (property) ที่ควรเป็นจริงเสมอ แล้วให้ระบบ generate test cases หลายร้อยตัวมาทดสอบให้

ลองนึกภาพว่าเราเขียน sort function แทนที่จะทดสอบว่า sort([3,1,2]) == [1,2,3] ซึ่งเป็นแค่ case เดียว เราบอกว่า “output ต้อง sorted และมี elements เท่าเดิม” แล้ว Hypothesis จะ generate lists หลายร้อยตัวมาทดสอบให้ รวมถึง edge cases ที่เราคิดไม่ถึงด้วย