参考答案：B

解析： 软件验证和确认理论是测试过程的理论依据，验证是检查软件开发的各个阶段过程活动的结果是否满足规格说明的描述，证实各阶段和阶段之间的逻辑协调性、完备性和正确性。确认是证实在一个给定的外部环境中软件的逻辑正确性，即是否满足用户的要求。