ซอฟต์แวร์ที่มีความสมบูรณ์สูงคือซอฟต์แวร์ที่หากเกิดความล้มเหลวอาจก่อให้เกิดความเสียหายร้ายแรงและอาจมีผลร้ายแรงถึงชีวิตได้^{[ 1 ]} "ความสมบูรณ์มีความสำคัญเนื่องจากแสดงให้เห็นถึงความปลอดภัย ความมั่นคง และความสามารถในการบำรุงรักษาของโค้ด" ^{[ 1 ]}ตัวอย่างของซอฟต์แวร์ที่มีความสมบูรณ์สูง ได้แก่การควบคุมเครื่องปฏิกรณ์นิวเคลียร์ ซอฟต์แวร์การบิน ซอฟต์แวร์ที่สำคัญต่อความปลอดภัยของยานยนต์ และซอฟต์แวร์ควบคุมกระบวนการ^{[ 2 ] [ 3 ]}

ความสมบูรณ์สูงหมายความว่ารหัส:

• ทำงานได้ตามที่ควรจะเป็น
• สามารถทดสอบได้
• มีคุณสมบัติด้านความปลอดภัย
• ปราศจากช่องโหว่ด้านความปลอดภัย
• เข้าใจง่ายและปฏิบัติตามได้อย่างมีเหตุผล
• แก้ไขและอัปเกรดได้ง่ายโดยไม่ก่อให้เกิดข้อผิดพลาดใหม่^{[ 1 ]}

มีมาตรฐานหลายประการที่ใช้ได้กับซอฟต์แวร์ที่มีความสมบูรณ์สูง ซึ่งรวมถึง:

• DO-178Cข้อควรพิจารณาด้านซอฟต์แวร์ในการรับรองระบบและอุปกรณ์บนเครื่องบิน^{[ 4 ]}
• CENELEC EN 50128 การใช้งานทางรถไฟ – ระบบการสื่อสาร การส่งสัญญาณ และการประมวลผล – ซอฟต์แวร์สำหรับระบบควบคุมและป้องกันทางรถไฟ^{[ 5 ]}
• IEC 61508ความปลอดภัยเชิงฟังก์ชันของระบบที่เกี่ยวข้องกับความปลอดภัยทางไฟฟ้า/อิเล็กทรอนิกส์/อิเล็กทรอนิกส์แบบตั้งโปรแกรมได้ (E/E/PE หรือ E/E/PES)
• ISO 26262ยานพาหนะบนท้องถนน – ความปลอดภัยเชิงฟังก์ชัน (โดยเฉพาะ 'ส่วนที่ 6' ของมาตรฐาน ซึ่งมีชื่อว่า "การพัฒนาผลิตภัณฑ์ในระดับซอฟต์แวร์" ^{[ 6 ]}

• ภาษาเอดา (ภาษาโปรแกรม)
• ระบบที่สำคัญต่อความปลอดภัย
• ซอฟต์แวร์ที่มีความพร้อมใช้งานสูง
• วิธีการที่เป็นทางการ
• ซอฟต์แวร์ที่ไม่ทราบที่มา

• Boulanger, Jean-Louis (13 เมษายน 2558). มาตรฐาน CENELEC 50128 และ IEC 62279. John R. Wiley and Sons. ISBN 978-1-84821-634-1.
• วินเทอร์, วิคเตอร์ แอล.; บัตตาชาเรีย, สุราฟ, บรรณาธิการ (2001). ซอฟต์แวร์ที่มีความน่าเชื่อถือสูง . สปริงเกอร์ ไซเอนซ์+บิสซิเนส มีเดีย, แอลแอลซี. ISBN 978-1-4613-5530-4สืบค้นข้อมูลเมื่อ วัน ที่14 กุมภาพันธ์ 2565
• Wallace, Dolores R.; Ippolito, Laura M.; Kuhn, D. Richard (1992). มาตรฐานและแนวทางปฏิบัติสำหรับซอฟต์แวร์ที่มีความสมบูรณ์สูง (PDF) . สถาบันมาตรฐานและเทคโนโลยีแห่งชาติ. สืบค้นเมื่อ15 กุมภาพันธ์ 2022 .