ครอบคลุมลอจิก

การทดสอบความครอบคลุมลอจิกคืออะไร?

ลอจิกสอดคล้องกับโครงสร้างภายในของรหัสและการทดสอบนี้นำมาใช้สำหรับการใช้งานที่มีความสำคัญด้านความปลอดภัยเช่นซอฟต์แวร์ที่ใช้ในอุตสาหกรรมการบิน การทดสอบนี้ตรวจสอบชุดย่อยของจำนวนการกำหนดความจริงทั้งหมดให้กับนิพจน์

แหล่งที่มาของการครอบคลุมลอจิก:

การครอบคลุมลอจิกมาจากแหล่งที่กล่าวถึงด้านล่าง:

  • การตัดสินใจในโปรแกรม

  • Finite State Machines และ Statecharts

  • Requirements