的产品，而验证程序确保「以正确的方式制造产品」（you built it right）。在社群中，确认、验证及的定义类似：
相关概念.验证及确认都是属于软体品质保证的一部份，但只靠验证及确认无法确保软体品质，需配合计划、可追踪性、组态管理及其他软体工程的概念才能确保软体品质。
分类.对于要求完美性能的任务关键系统，会使用形式方法确认系统的正确性，不过形式方法的成本相当的高，若是非任务关键系统，一般会使用其他的验证及确认方式，例如等。Section