The novelty with DbC is to make the

The novelty with DbC is to make these contracts executable. This is useful for isolating errors during debugging, and for validating contracts that are used as documentation or for increasing code reliability and correctness

ผลลัพธ์ (ไทย) 1:

นวัตกรรมกับ DbC คือการ ทำให้สัญญาเหล่านี้สามารถดำเนินการได้ นี้มีประโยชน์ สำหรับการแยกข้อผิดพลาดในระหว่างการตรวจแก้จุดบกพร่อง และ สำหรับการตรวจสอบสัญญาที่ใช้เป็นเอกสาร หรือ สำหรับการเพิ่มรหัสความน่าเชื่อถือและความถูกต้อง

ผลลัพธ์ (ไทย) 2:

ความแปลกใหม่กับ DbC คือการทำให้สัญญาเหล่านี้ปฏิบัติการ นี้จะเป็นประโยชน์สำหรับการแยกข้อผิดพลาดระหว่างการแก้จุดบกพร่องและสำหรับการตรวจสอบสัญญาที่ใช้เป็นเอกสารหรือรหัสสำหรับความน่าเชื่อถือที่เพิ่มขึ้นและความถูกต้อง

ผลลัพธ์ (ไทย) 3:

นวัตกรรมกับ DBC เพื่อทำให้สัญญาเหล่านี้ปฏิบัติการ นี้จะเป็นประโยชน์สำหรับการแยกข้อผิดพลาดในระหว่างการแก้จุดบกพร่องและการสัญญาที่ใช้เป็นเอกสาร หรือเพื่อเพิ่มความน่าเชื่อถือ และความถูกต้องของรหัส