（23）
A．想证实在一个给定的外部环境中软件的逻辑正确性,检查软件在最终的运行环境上是否达到预期的目标
B．检测软件开发的每个阶段、每个步骤的结果是否正确无误，是否与软件开发各阶段的要求或期望的结果相一致
C．检查某样东西是否符合事先已定好的标准
D．试图证明软件在软件生命周期各个阶段以及阶段间的逻辑协调性、完备性和正确性
