单项选择题

______能发现程序中的错误并能证明程序中不存在错误。 Ⅰ．静态测试 Ⅱ．动态测试 Ⅲ．正确性证明

A．Ⅰ和Ⅱ
B．Ⅰ和Ⅲ
C．Ⅱ和Ⅲ
D．都是

<上一题 目录 下一题>
热门 试题

单项选择题
耦合是软件中各模块间相互联系的一种度量，耦合的强弱取决于模块间的复杂程度。耦合的若干种类中，偶合度最高的是______。
A．内容耦合
B．非直接耦合
C．数据耦合
D．控制耦合
单项选择题
结构化设计方法在软件开发中用于______。
A．概要设计
B．程序设计
C．详细设计
D．可行性分析
相关试题