单项选择题
A．分层的数据流图 B．数据词典 C．问题分析图 D．描述加工逻辑的结构化语言、判定表或判定树
A．想证实在一个给定的外部环境中软件的逻辑正确性，检查软件在最终的运行环境上是否达到预期的目标 B．检测软件开发的每个阶段、每个步骤的结果是否正确无误，是否与软件开发各阶段的要求或期望的结果相一致 C．检查某样东西是否符合事先已定好的标准 D．试图证明软件在软件生命周期各个阶段以及阶段间的逻辑协调性、完备性和正确性
A．开发效率低，运行效率低 B．开发效率高，运行效率低 C．开发效率低，运行效率高 D．开发效率高，运行效率高