检验是软件开发过程中不可缺少的部分，检验的目的在于（)。

编码(实现)阶段得到的程序段应该是_______。

A.编辑完成的源程序

B.编译(或汇编)通过的可装配程序

C.可交付使用的程序

D.可运行程序

判定覆盖不一定包含条件覆盖，条件覆盖也不一定包含判定覆盖，判定/条件覆盖是同时满足这两种覆盖标准的逻辑覆盖。()

在有集成(组装)测试的叙述中，______是正确的。

A、测试底层模块时不需要桩模块

B、驱动模块的作用是模拟被调模块

C、自顶向下测试方法易于设计测试结果

D、自底向上测试方法有有利于提前预计测试结果

软件测试包括哪些类型的测试?这些测试之间的区别是什么?