This means that model inference as

This means that model inference as well as test sequence and test data generation have to be automated and guided to
high-quality test suites. Also, test evaluation using oracles needs to be automated for large sets of automatically executed tests.

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

หมายความ ว่า รุ่นข้อเป็นลำดับการทดสอบ และการสร้างข้อมูลทดสอบได้อัตโนมัติ และนำไป ห้องทดสอบคุณภาพ ยัง ประเมินทดสอบใช้ oracles ต้องเป็นแบบอัตโนมัติสำหรับขนาดใหญ่ปริมาณโดยอัตโนมัติดำเนินการทดสอบ

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

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

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

หมายความว่ารูปแบบการอนุมานเป็นลำดับการทดสอบและการทดสอบข้อมูลรุ่น ต้องเป็นแบบอัตโนมัติและแนวทาง

ห้องทดสอบที่มีคุณภาพสูง นอกจากนี้ การทดสอบใช้ออราเคิลต้องเป็นแบบอัตโนมัติสำหรับชุดใหญ่ของอัตโนมัติทดสอบ