If an adequate number of test cases

If an adequate number of test cases have been generated to verify the software, then the mutant program should fail one or more of the test cases supplied.

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

มีการสร้างจำนวนกรณีทดสอบที่เพียงพอในการตรวจสอบซอฟต์แวร์ แล้วโปรแกรมกลายพันธุ์ควรไม่น้อยหนึ่งกรณีทดสอบให้

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

ถ้าจำนวนที่เพียงพอของกรณีทดสอบที่ได้รับการสร้างขึ้นเพื่อตรวจสอบซอฟแวร์จากนั้นโปรแกรมจะไม่กลายพันธุ์หนึ่งหรือมากกว่าของกรณีทดสอบที่ให้มา

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

ถ้าเป็นจำนวนที่เพียงพอของกรณีทดสอบที่ได้รับการสร้างขึ้นในการตรวจสอบซอฟต์แวร์ แล้วโปรแกรมมิวแทนท์ควรล้มเหลวอย่างใดอย่างหนึ่งหรือมากกว่าของกรณีทดสอบให้