Predicate และ Path predicate
- Predicate : เงื่อนไขที่ต้องทำงานตรวจสอบตรง dicision node ถ้าเป็น boolean function หรือ binary decision
ผลลัพธ์ จะเป็นค่าความจริง ture หรือ false แล้วนำผลที่ได้ไปตัดสินใจว่า จะทำคำสั่งของทางเลือกทางไหน ใน
เส้นทางที่มี predicate อยู่ จะเรียกว่า path predicate ในหนึ่งเส้นทางอาจจะมีหลาย predicate
- Path predicate expression : คือ set ของ boolean expression(True/False) ที่ปรากฏอยู่ในเส้นทางนั้น โดยจะ
ต้องทดสอบเงื่อนไขเหล่านั้นทั้งหมดจึงจะสามารถทดสอบเส้นทางนั้นๆได้ เราสามารถรวม predicate เข้าด้วยกัน
เป็น compound predicate แล้วแปลงให้อยู่ในรูปแบบที่ง่ายขึ้น
ตัวอย่าง เส้นทางประกอบด้วย predicate ดังนี้
และมี predicate ที่มีตัวดำเนินการตรรกะ OR
เราสามารถนำ predicate เหล่านี้มารวมกัน โดยใช้อักษรตัวพิมพ์ใหญ่แทนค่าความจริงของ แต่ละ predicate ถ้า
เขียนติดกัน หมายถึง AND ถ้าใช้เครื่องหมาย + หมายถึง OR ถ้าใช้สัญลักษณ์ bar อยู่บนตัวอักษร หมายถึง นิเสธ
โดยกำหนดให้
สามารถเขียน compound predicate ได้ดังนี้
เมื่อแปลงให้อยู่ในรูปของ input data แล้ว เราสามารถออกแบบกรณีทดสอบเพื่อตรวจสอบว่าเส้นทางนั้นสามารถ
เข้าถึงได้หรือไม่
- Predicate coverage : เป็นการทดสอบที่มีความน่าเชื่อถือมากกว่า branch coverage(C2) โดยจะต้องทดสอบทุกๆ ค่าความจริงของ predicate
ตัวอย่างการทดสอบแบบ branch coverage
จากรูปการทดสอบแบบ branch coverage จะต้องเลือกเส้นทาง
ตัวอย่างการทดสอบแบบ predicate coverage
จากรูปการทดสอบ predicate coverage จะต้องเลือกเส้นทาง
Predicate และ Path Predicate
Moderator: mindphp, ผู้ดูแลกระดาน
-
- PHP VIP Members
- โพสต์: 4933
- ลงทะเบียนเมื่อ: 02/06/2014 9:58 am
Predicate และ Path Predicate
บางที Bug ก็ไม่มีเหตุผล และไม่ต้องการคำจำกัดความ
-
- Similar Topics
- ตอบกลับ
- แสดง
- โพสต์ล่าสุด
-
- 0 ตอบกลับ
- 2408 แสดง
-
โพสต์ล่าสุด โดย jay_limm
06/06/2014 2:45 pm
-
-
โพสต์ใหม่ สอบถามการค้างค่าเก่าเมื่อกด path way โดย js ค่ะ
โดย MBMoo » 22/08/2022 9:18 am » ใน JavaScript & jQuery Ajax & Node.JS - 0 ตอบกลับ
- 528 แสดง
-
โพสต์ล่าสุด โดย MBMoo
22/08/2022 9:18 am
-
ผู้ใช้งานขณะนี้
สมาชิกกำลังดูบอร์ดนี้: ไม่มีสมาชิกใหม่ และบุคลทั่วไป 67