参考答案：B

解析：

可以审查系统输出以确保任务成功完成了，也就是产生了用户报告。选项(a)不正确，磁带备份文件可以在最后结束时反映初步结束或中间点。用户不会从系统输出中意识到这些。选项(c)不正确，用户可能会从他们的个人库中提交不同的程序版本而没有意识到差异，而不是从生产库中获取不同的程序版本。选项(d)不正确，可以假设程序运行正确，但是处理逻辑的一致性可能没有进行验证。