* 为把握软件开发各个环节的正确性需要进行各种确认和验证工作 确认(Validation)是一系列的活动和过程目的是想证实在一个给定的外部环境中软件的逻辑正确性 需求规格说明的确认 程序的确认(静态确认动态确认) 验证(Verification)试图证明在软件生存期各个阶段以及阶段间的逻辑协调性完备性和正确性 软件测试的对象2 * 用户需求 需求分析与系统设计 概要设计 详细设计 编码 单元测试