ภาพรวม
ชุดทดสอบสำหรับโครงการ SWI-Prolog
ความเป็นมา
PlUnit กำหนด test unit กับเงื่อนไขของผลสำเร็จ failure และ exception เพื่อทดสอบ predicate ภาพประจำรายการใช้เครื่องหมาย Prolog เพื่อระบุระบบนิเวศ ไม่ได้อ้างว่าเป็นโลโก้แยกของ PlUnit
เหมาะกับงานแบบไหน
ตรวจ predicate และกฎที่คาดผลได้ รวมถึงกรณีไม่พบคำตอบ
ข้อควรชั่งน้ำหนัก
ต้องระบุ nondeterminism และ cleanup ของ state ให้ถูกต้อง test ตัวอย่างไม่ยืนยัน termination ของทุก input