การตรวจสอบความถูกต้องและการจัดการข้อกำหนด

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

Definition

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

Scope

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

Core questions

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

Key theories

การตรวจสอบย้อนกลับข้อกำหนด

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

การตรวจสอบความถูกต้องผ่านการทบทวนและการสร้างต้นแบบ

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

Clinical relevance

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

Evidence & guidelines

ISO/IEC/IEEE 29148 และส่วนความรู้ด้านข้อกำหนดซอฟต์แวร์ของ SWEBOK อธิบายกิจกรรมการตรวจสอบความถูกต้องและการจัดการ รวมถึงการตรวจสอบคุณภาพของข้อกำหนดและการควบคุมการเปลี่ยนแปลง

History

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

Key figures

• Orlena Gotel
• Anthony Finkelstein
• Ian Sommerville

Seminal works

• gotel1994
• sommerville2015
• swebok2014

Frequently asked questions

ความแตกต่างระหว่างการตรวจสอบความถูกต้องของข้อกำหนดและการตรวจสอบยืนยันคืออะไร?

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

เหตุใดการตรวจสอบย้อนกลับจึงมีความสำคัญ?

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