统，会使用形式方法确认系统的正确性，不过形式方法的成本相当的高，若是非任务关键系统，一般会使用其他的验证及确认方式，例如等。
测试用例.测试用例是验证及确认过程中使用的工具，测试用例一组条件或变量，测试者根据它来确定应用软件或软体系统是否正确工作。测试用例是为了验证而准备，其目的是评估后续建构产品的程序是否正确。测试用例是为了确认而执行，是评估产品是否依照使用者的需求而设计及制造的程序，若在软体开发生命週期的前面，会用其他方法（例如）进行确认。
监管