为把握软件开发各个环节的正确性, 需要进行各种确认和验证工作 确认( Validation),是一系列的活动 和过程,目的是想证实在一个给定 的外部环境中软件的逻辑正确性。 ◆需求规格说明确认 ◆程序确认(静态确认、动态确认) 验证( erification),试图证明在软 件生存期各个阶段,以及阶段间的 逻辑协调性、完备性和正确性