A.想证实在一个给定的外部环境中软件的逻辑正确性，检查软件在最终的运行环境上是否达到预期的目标

B.检测软件开发的每个阶段、每个步骤的结果是否正确无误，是否与软件开发各阶段的要求或期望的结果相一致

C.检查某样东西是否符合事先已定好的标准

D.试图证明软件在软件生命周期各个阶段以及阶段间的逻辑协调性、完备性和正确性