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. Finally, the approach must increase the test accuracy even if the test ef- fort is reduced. The authors identify these demands as cru- cial regarding the feasibility for industrial application and argue that their contribution is new in this regard with re- spect to existent approaches.

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

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

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

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

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

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