First, the approach has to cope wit

First, the approach has to cope with a software specification that is not formally defined, but semi-formal such as UML. Second, the testing must be supported within the early phases of software development, while the software specification is neither complete nor con- sistent. In other words, the approach must be applicable even if the system is only partially modeled.

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

ครั้งแรก วิธีการมีการรับมือกับข้อกำหนดของซอฟต์แวร์ที่ไม่มีกำหนดอย่างเป็นกิจจะลักษณะ แต่เป็นกึ่งทางการเช่น UML สอง การทดสอบต้องได้รับการสนับสนุนในระยะเริ่มต้นของการพัฒนาซอฟต์แวร์ ขณะเพาะซอฟต์แวร์ไม่สมบูรณ์ หรือคอน sistent ในคำอื่น ๆ วิธีต้องได้ใช้แม้เพียงบางส่วนมีจำลองระบบ

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

ครั้งแรกที่มีวิธีการที่จะรับมือกับสเปคซอฟแวร์ที่ไม่ได้กำหนดอย่างเป็นทางการ แต่กึ่งทางการเช่น UML ประการที่สองการทดสอบจะต้องได้รับการสนับสนุนในขั้นตอนแรกของการพัฒนาซอฟแวร์ในขณะที่สเปคซอฟต์แวร์ที่ไม่สมบูรณ์หรือ sistent ง ในคำอื่น ๆ วิธีการที่จะต้องมีผลบังคับใช้แม้ว่าระบบเป็นเพียงรูปแบบบางส่วน

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

แรก , วิธีการที่จะรับมือกับซอฟต์แวร์ที่ไม่ได้กำหนดสเปคอย่างเป็นทางการ แต่กึ่งเป็นทางการ เช่น ยูเอ็มแอล ประการที่สอง การทดสอบจะต้องได้รับการสนับสนุนในขั้นตอนแรกของการพัฒนาซอฟต์แวร์ ในขณะที่ซอฟต์แวร์สเปคไม่สมบูรณ์หรือคอน - sistent . ในคำอื่น ๆวิธีการที่ต้องใช้ถ้าระบบเป็นเพียงบางส่วนแบบ .