ตรวจสอบ - ขั้นตอนการตรวจสอบซอฟแวร์

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

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

ตรวจสอบ - ตรวจสอบความสอดคล้องของซอฟต์แวร์ เอกสารทางเทคนิค ให้โดยข้อกำหนดความต้องการสถาปัตยกรรมหรือรูปแบบโดเมน ใน "หน้าที่" ของคำที่รวมและขั้นตอนการคำนวณเปรียบเทียบกับกระบวนการของการพัฒนากฎระเบียบและมาตรฐาน

การตรวจสอบข้อมูลที่สามารถดำเนินการในการตั้งค่าการทำงานของมาตรฐานข้อกำหนดการออกแบบและเอกสารสำหรับผู้ใช้โปรแกรมการปฏิบัติที่จัดตั้งขึ้น ในกรณีนี้มีผลบังคับใช้ก่อนการตรวจสอบให้เป็นไปตามเอกสารเหล่านั้นซึ่งเมื่อเทียบกับการปฏิบัติตามมาตรฐานและกฎระเบียบที่กำหนดไว้ในประเทศที่มีซอฟต์แวร์ที่มีการดำเนินการ มันเป็นสิ่งจำเป็นที่จะใช้ในการพิจารณาและให้ความเคารพสำหรับลำดับทั้งหมดของการดำเนินการดำเนินการ

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

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

ตรวจสอบ - คือคำตอบสำหรับคำถามที่ "เป็นซอฟแวร์ที่ทำถูกต้องหรือไม่" และการตรวจสอบ - "Will ซอฟต์แวร์ที่เหมาะสม"

เมื่อค้นหาคำตอบสำหรับคำถามเหล่านี้คุณอาจพบว่าการตรวจสอบ (หรือการรับรอง) เนื้อหาจะถูกตั้งค่าความกว้างมากกว่าการตรวจสอบเล็กน้อย (ตรวจสอบ) อย่างไรก็ตามการตรวจสอบมีการเชื่อมโยงอย่างใกล้ชิดเพื่อให้มั่นใจว่าการควบคุมคุณภาพผลิตภัณฑ์ซอฟต์แวร์

ยกตัวอย่างเช่นการตรวจสอบของโปรแกรมคอมพิวเตอร์ให้กระบวนการที่เป็นพื้นฐานสำหรับจุดมุ่งหมายคือเพื่อให้มั่นใจว่าตอบสนองความต้องการเหล่านี้โดยเฉพาะในวงจรชีวิตของผลิตภัณฑ์ที่ได้รับเพื่อให้ผู้ที่ได้รับในขั้นตอนก่อนหน้า

ถ้าเราพูดคุยเกี่ยวกับการยืนยันรูปแบบที่นี่เราจะมุ่งเน้นไปที่การตรวจสอบของจอแสดงผลที่ถูกต้องของแบบจำลองคอมพิวเตอร์ที่จำเป็นในแนวความคิดหรือ แบบจำลองทางคณิตศาสตร์

เมื่อรหัสระบบการตรวจสอบแหล่งที่มาการวิเคราะห์การเข้ารหัสและการตรวจสอบรายละเอียดการจับคู่สารคดี

กระบวนการตรวจสอบอาจรวมถึงการดำเนินงานประกอบด้วยการคำนวณทางเลือก การเปรียบเทียบเอกสารทางเทคนิคและวิทยาศาสตร์ของโครงการใหม่ที่มีเอกสารที่เหมาะสมของโครงการที่มีอยู่การทดสอบบังคับทดสอบผลิตภัณฑ์ซอฟต์แวร์ใหม่และผลการแสดงให้เห็นถึง