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