白盒测试法是根据程序的（ C ② ）来设计测试用例的方法。除了测试程序外，它也适用于对（ D② ）阶
段的软件文档进行测试。
白盒法测试程序时常按照给定的覆盖条件选取测试用例。（ E⑤ ）覆盖比（ F⑥ ）覆盖严格，它使得每
一个判定的每一条分支至少经历一次。（ G⑤ ）覆盖既是判定覆盖，又是条件覆盖，但它并不保证使各种条
件都能取到所有可能的值。（ H ⑥ ）覆盖比其他条件都要严格，但它不能保证覆盖程序中的每一条路径。
单元测试一般以（ I① ）为主，测试的依据是（ J ③ ）。
供选择的答案：
A, C：① 应用范围 ② 内部逻辑 ③ 功能 ④ 输入数据
B, D：① 编码 ② 软件详细设计 ③ 软件总体设计 ④ 需求分析
E, F, G, H
⑤ 多重条件 ⑥ 路径
I：① 白盒法 ② 黑盒法
J：① 模块功能规格说明 ② 系统模块结构图 ③ 系统需求规格说明
【5-8】从供选择的答案中选出应该填入下列关于软件测试的叙述的( )内的正确答案。
软件测试中常用的静态分析方法是（ A ① ）和（ B② ）。（ B ① ）用于检查模块或子程序间的调用是
否正确。分析方法（白盒方法）中常用的方法是（ C ① ）方法。非分析方法（黑盒方法）中常用的方法是（
D ② ）方法和（ E ③ ）方法。（ E ③ ）方法根据输出对输入的依赖关系设计测试用例。
供选择的答案：
A B： ① 引用分析 ② 算法分析 ③ 可靠性分析 ④ 效率分析
⑤ 接口分析 ⑥ 操作分析
C ~ E： ① 路径测试 ② 等价类 ③ 因果图 ④ 归纳测试
⑤ 综合测试 ⑥ 追踪 ⑦ 深度优先 ⑧ 调试
⑨ 相对图