คำว่า "การตรวจสอบ" และ "การตรวจสอบความถูกต้อง" เป็นเรื่องปกติมากใช้ในเอกสารทางเทคนิคและเกี่ยวข้องกับการวิเคราะห์คุณภาพของซอฟต์แวร์ใด ๆ ในวรรณคดีทางวิทยาศาสตร์สามารถพบการตีความต่างๆของแนวคิดเหล่านี้ได้ ลองมาทำความเข้าใจกับปัญหานี้
ที่ถูกต้องที่สุดจากมุมมองของเรา,เป็นคำนิยามต่อไปนี้ การตรวจสอบความถูกต้องและการตรวจสอบเป็นกิจกรรมที่มุ่งเน้นการควบคุมคุณภาพผลิตภัณฑ์ซอฟต์แวร์เพื่อตรวจจับข้อผิดพลาดในระยะแรก ดูเหมือนว่าพวกเขามีเป้าหมายร่วมกัน อย่างไรก็ตามชนิดเหล่านี้มีความแตกต่างในแหล่งที่มาของคุณสมบัติข้อ จำกัด และกฎที่สามารถตรวจสอบได้ซึ่งการไม่ปฏิบัติตามข้อนี้อาจถือได้ว่าเป็นข้อผิดพลาด
Верификация – это проверка соответствия เอกสารทางเทคนิคซอฟต์แวร์ที่จัดทำโดยโครงการด้านเทคนิคสถาปัตยกรรมหรือแบบจำลองโดเมน "หน้าที่" ของคำนี้รวมถึงการเปรียบเทียบขั้นตอนการตั้งถิ่นฐานกับขั้นตอนการพัฒนากฎระเบียบและมาตรฐานของพวกเขา
สามารถตรวจสอบข้อมูลได้การติดตั้งการปฏิบัติตามข้อกำหนดของโปรแกรมด้วยมาตรฐานที่กำหนดขึ้นข้อกำหนดการออกแบบและเอกสารสำหรับผู้ใช้ ในเวลาเดียวกันเอกสารที่มีการเปรียบเทียบเพื่อทำตามมาตรฐานและมาตรฐานที่กำหนดในประเทศที่ใช้ซอฟต์แวร์อยู่ภายใต้การตรวจสอบเบื้องต้นเบื้องต้นที่บังคับ จำเป็นต้องคำนึงถึงและเคารพในทุกขั้นตอนของการดำเนินงานที่ดำเนินการ
ในกรณีที่เกิดข้อผิดพลาดหรือข้อบกพร่องในการทำงานโปรแกรมหรือการค้นพบความขัดแย้งระหว่างเอกสารข้างต้นและการทำงานปัจจุบันของโปรแกรมการตัดสินใจเลือกเอกสารสำหรับการแก้ไขควรเป็นงานที่แยกกัน
ซึ่งแตกต่างจากการตรวจสอบการตรวจสอบความถูกต้องเป็นผู้รับผิดชอบการตรวจสอบความสอดคล้องของผลิตภัณฑ์ซอฟต์แวร์ที่พัฒนาหรือบำรุงรักษาตามความต้องการหรือความต้องการของลูกค้าหรือผู้ใช้ ความต้องการเหล่านี้มักไม่ได้บันทึกไว้ในเอกสารใด ๆ นั่นคือเหตุผลที่การตรวจสอบความถูกต้องเป็นทางการน้อยกว่าการตรวจสอบ นี่คือกระบวนการที่สามารถนำเสนอตัวแทนลูกค้าตัวแทนผู้ใช้และนักวิเคราะห์หรือผู้เชี่ยวชาญเรื่อง กล่าวอีกนัยหนึ่งคือสิ่งที่สามารถแสดงความต้องการเฉพาะและความต้องการที่แท้จริงของผู้มีส่วนได้ส่วนเสีย
การยืนยันคือคำตอบสำหรับคำถาม "ซอฟต์แวร์ทำงานถูกต้องหรือไม่" และการตรวจสอบความถูกต้องคือคำตอบสำหรับคำถาม "ซอฟต์แวร์ถูกสร้างขึ้นอย่างถูกต้องหรือไม่"
เมื่อต้องการคำตอบสำหรับคำถามที่โพสต์คุณสามารถทำได้พบว่าการตรวจสอบความถูกต้อง (หรือการยืนยัน) ในเนื้อหาค่อนข้างกว้างกว่าการตรวจสอบ (การยืนยัน) อย่างไรก็ตามการตรวจสอบค่อนข้างเกี่ยวข้องอย่างใกล้ชิดกับการควบคุมคุณภาพของผลิตภัณฑ์ซอฟต์แวร์
ตัวอย่างเช่นการตรวจสอบโปรแกรมคอมพิวเตอร์จัดเตรียมกระบวนการที่ตั้งอยู่บนเป้าหมายเพื่อให้แน่ใจว่าความต้องการของข้อมูลที่ได้รับในวงจรชีวิตของผลิตภัณฑ์นั้นเป็นที่พอใจกับข้อมูลที่ได้รับในขั้นตอนก่อนหน้า
หากเรากำลังพูดถึงการตรวจสอบแบบจำลองในที่นี้เราจะพูดถึงการตรวจสอบความถูกต้องของการแสดงผลของโมเดลการคำนวณที่กำหนดให้กับโมเดลเชิงความคิดหรือทางคณิตศาสตร์ที่จำเป็น
เมื่อตรวจสอบรหัสระบบจะมีการวิเคราะห์ซอร์สโค้ดและตรวจสอบการปฏิบัติตามคำอธิบายเอกสาร
กระบวนการตรวจสอบอาจรวมถึงการดำเนินการประกอบด้วยการคำนวณทางเลือก การเปรียบเทียบเอกสารทางเทคนิคและทางวิทยาศาสตร์ของโครงการใหม่กับเอกสารที่เกี่ยวข้องของโครงการที่มีอยู่การทดสอบบังคับการอนุมัติผลิตภัณฑ์ซอฟต์แวร์ใหม่และการสาธิตผลลัพธ์จะดำเนินการ
