具体的白盒测试方法有程序控制流分析、数据流分析、逻辑覆盖、域测试、符号测试、路径分析、（）等。

填空题白盒测试是以仔细检查程序的细节为基础，通过提供一组指定条件和循环的（），对软件中的逻辑路径进行测试，可以在不同的检查点检查程序的状态，以确定实际运行状态与预期状态是否一致。

单项选择题召开审查会，在会中由小组成员阅读程序，以发现程序错误，同时测试员利用测试数据人工运行程序并得出输出结果，然后由参加者对结果进行审查，以达到测试的目的。这种测试方法是（）。

A.软件审查
B.错误推测法
C.人工走查
D.代码审查

单项选择题调试应该由（）完成。

A.与源程序无关的程序员
B.编制该源程序的程序员
C.不了解软件设计的机构
D.设计该软件的机构

单项选择题（）方法需要考察模块间的接口和各模块之间的联系。

A.单元测试
B.集成测试
C.确认测试
D.系统测试

单项选择题超出软件工程范围的测试是（）。

A.单元测试
B.集成测试
C.确认测试
D.系统测试