given a model of a system, test aut

given a model of a system, test automatically whether this model meets a given specification;

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

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

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

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

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

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