These examples may be generated ins

These examples may be generated inside a counter-example guided inductive synthesis loop40 (which involves using a validation technology to find new test inputs on which the current version of the synthesized program does not meet the given specification), or using a distinguishing input-based methodology (which involves finding new test inputs that distinguish two semantically distinct synthesized programs, both of which are consistent with the given set of examples).

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

ตัวอย่างเหล่านี้อาจถูกสร้างขึ้นภายในเป็นตัวอย่างซึ่งสังเคราะห์เหนี่ยว loop40 (ซึ่งเกี่ยวข้องกับการใช้เทคโนโลยีการตรวจสอบหาอินพุตการทดสอบใหม่ที่รุ่นปัจจุบันของโปรแกรมสังเคราะห์ไม่ตรงตามสเปคที่กำหนด), หรือใช้วิธีแตกต่างที่ใช้ป้อน (ซึ่งเกี่ยวข้องกับค้นหาอินพุตทดสอบใหม่ที่แยกสองทางมาสังเคราะห์โปรแกรม ซึ่งทั้งสองจะสอดคล้องกับกำหนดชุดของตัวอย่าง)

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

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

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

ตัวอย่างเหล่านี้จะถูกสร้างขึ้นในแบบเคาน์เตอร์ตัวอย่างแนวทางการสังเคราะห์ loop40 ( ซึ่งเกี่ยวข้องกับการใช้เทคโนโลยีการตรวจสอบเพื่อหาค่าทดสอบใหม่ที่รุ่นปัจจุบันของโปรแกรมสังเคราะห์ไม่ตรงตามระบุสเปค )หรือใช้วิธีการแยกข้อมูลตาม ( ซึ่งเกี่ยวข้องกับการหาใหม่กระผมแยกแยะสองเพื่อทดสอบโปรแกรมที่แตกต่างกันได้ ซึ่งทั้งสองมีความสอดคล้องกับได้รับชุดตัวอย่าง )