In mission-critical software system

In mission-critical software systems, where flawless performance is absolutely necessary, formal methods may be used to ensure the correct operation of a system. However, often for non-mission-critical software systems, formal methods prove to be very costly[citation needed] and an alternative method of software V&V must be sought out. In such cases, syntactic methods are often used.[citation needed]

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

ในระบบซอฟต์แวร์สำคัญ ซุกประสิทธิภาพจำเป็นจริง ๆ อาจใช้วิธีการอย่างเป็นทางการเพื่อให้การดำเนินการที่ถูกต้องของระบบ อย่างไรก็ตาม สำหรับระบบซอฟต์แวร์ที่ไม่ใช่สำคัญ มักเป็นวิธีพิสูจน์ให้ ปาท่องโก้ [อ้างจำเป็น] และอีกวิธีของซอฟแวร์ V & V ต้องค้นหาออก ในกรณี ทางไวยากรณ์มักใช้วิธีการ [ต้องการอ้างอิง]

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

ในระบบซอฟต์แวร์ภารกิจสำคัญที่ผลการดำเนินงานที่สมบูรณ์แบบเป็นสิ่งที่จำเป็นอย่างยิ่งวิธีการทางการอาจจะถูกใช้เพื่อให้การทำงานที่ถูกต้องของระบบ แต่มักจะไม่ใช่ภารกิจที่สำคัญระบบซอฟต์แวร์วิธีการทางการพิสูจน์ให้เป็นค่าใช้จ่ายมาก [อ้างจำเป็น] และวิธีทางเลือกของซอฟต์แวร์ V & V จะต้องมีการขอออก ในกรณีเช่นนี้วิธีประโยคมักจะใช้. [อ้างจำเป็น]

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

ในระบบซอฟต์แวร์ภารกิจที่สำคัญ , การแสดงที่ไม่มีที่ติเป็นสิ่งที่จำเป็นอย่างยิ่ง วิธีเป็นทางการ อาจจะใช้เพื่อให้แน่ใจว่า การดำเนินการที่ถูกต้องของระบบ อย่างไรก็ตาม มักจะไม่ใช่ภารกิจที่สำคัญซอฟแวร์ระบบวิธีการอย่างเป็นทางการพิสูจน์ให้เป็นค่าใช้จ่าย [ มาก ] และการอ้างอิงที่จำเป็นวิธีทางเลือกของซอฟต์แวร์& V V ต้องค้นหาออก ในบางกรณี วิธีการทางมักจะใช้[ อ้างอิงที่จำเป็น ]