Inspection seeks to compliment test

Inspection seeks to compliment testing. Testing and formal verification help to detect errors and determine mathematical correctness, respectively, but it is possible to have error free (mathematically correct) code that is hard to understand and difficult to maintain. In addition to finding errors in code and related software documents, inspection can also help to determine if coding style guidelines are followed, comments in the code are relevant and of appropriate length, naming conventions are clear and consistent, the code can be easily maintained, etc. When it comes to the cost of building and maintaining large software products, these issues are crucial. To the theorem provers, model-checkers, and automated testing tools, these issues are irrelevant.

Results (Thai) 1:

การตรวจสอบพยายามชมเชยการทดสอบ การทดสอบ และเป็นทางช่วยตรวจสอบเพื่อตรวจสอบข้อผิดพลาด และตรวจสอบความถูกต้องทางคณิตศาสตร์ ตามลำดับ แต่มันเป็นไปได้ที่มีรหัสข้อผิดพลาดฟรี (ถูกต้องทางคณิตศาสตร์) ยากที่จะเข้าใจ และยากที่จะรักษา นอกจากการค้นหาข้อผิดพลาดในเอกสารซอฟต์แวร์ที่เกี่ยวข้อง สามารถตรวจสอบและรหัสยังช่วยในการตรวจสอบถ้าแนวสไตล์ตาม ความคิดเห็นในรหัสเกี่ยวข้อง และความยาวที่เหมาะสม แผนมีความชัดเจน และสอดคล้องในการเขียนโค้ด รหัสสามารถได้อย่างง่ายดายรักษา ฯลฯ เมื่อมาถึงต้นทุนของอาคาร และการบำรุงรักษาผลิตภัณฑ์ซอฟต์แวร์ขนาดใหญ่ ปัญหาเหล่านี้เป็นสำคัญ ปัญหาเหล่านี้จะไม่เกี่ยวข้องกับทฤษฎีบท provers รุ่นหมากฮอส และเครื่องมือทดสอบอัตโนมัติ

Results (Thai) 2:

พยายามที่จะตรวจสอบการทดสอบชมเชย การทดสอบและการช่วยเหลือในการตรวจสอบอย่างเป็นทางการในการตรวจสอบข้อผิดพลาดและตรวจสอบความถูกต้องทางคณิตศาสตร์ตามลำดับ แต่ก็เป็นไปได้ที่จะมีข้อผิดพลาด (ที่ถูกต้องทางคณิตศาสตร์) รหัสที่ยากที่จะเข้าใจและยากที่จะรักษา นอกเหนือจากการหาข้อผิดพลาดในรหัสและเอกสารซอฟแวร์ที่เกี่ยวข้องกับการตรวจสอบนอกจากนี้ยังสามารถช่วยในการตรวจสอบว่าแนวทางรูปแบบการเข้ารหัสมีการปฏิบัติตามความเห็นในรหัสที่มีความเกี่ยวข้องและความยาวที่เหมาะสม, การตั้งชื่อมีความชัดเจนและสอดคล้องรหัสสามารถรักษาได้อย่างง่ายดาย ฯลฯ เมื่อมันมาถึงค่าใช้จ่ายในการบำรุงรักษาและการสร้างผลิตภัณฑ์ซอฟต์แวร์ที่มีขนาดใหญ่ปัญหาเหล​​่านี้มีความสำคัญ ไป provers ทฤษฎีบทรุ่นหมากฮอส, และเครื่องมือทดสอบอัตโนมัติปัญหาเหล​​่านี้ไม่เกี่ยวข้อง

Results (Thai) 3:

ขอชมเชยการตรวจสอบการทดสอบ การทดสอบและการตรวจสอบระบบช่วยตรวจสอบข้อผิดพลาดและตรวจสอบความถูกต้องทางคณิตศาสตร์ตามลำดับ แต่มันเป็นไปได้ที่จะมีข้อผิดพลาดฟรี ( ทางคณิตศาสตร์ที่ถูกต้อง ) รหัสที่เข้าใจยาก และ ยากที่จะรักษา นอกเหนือจากการค้นหาข้อผิดพลาดในรหัสซอฟต์แวร์ที่เกี่ยวข้องกับเอกสารและการตรวจสอบยังสามารถช่วยตรวจสอบว่ารหัสแนวทางสไตล์ตามความเห็นในรหัสที่เกี่ยวข้อง และความยาวที่เหมาะสม การตั้งชื่อการประชุมมีความชัดเจน และสอดคล้องกัน รหัสสามารถรักษาได้อย่างง่ายดายและอื่น ๆเมื่อมันมาถึงค่าใช้จ่ายของการสร้างและรักษาผลิตภัณฑ์ซอฟต์แวร์ขนาดใหญ่ ปัญหาเหล่านี้เป็นสำคัญ กับทฤษฎีบท provers รุ่นหมากฮอสและเครื่องมือทดสอบอัตโนมัติ ปัญหาเหล่านี้จะไม่เกี่ยวข้อง