软件测试方法 — 计算机选择题

某开发团队对一财务核算模块开展测试：测试人员甲未查看源代码，仅依据需求规格说明将该模块的输入金额划分为“有效等价类”与“无效等价类”设计用例；测试人员乙阅读源代码后，针对程序中的多个条件组合分支设计了用例，使程序中每个判定条件的真、假分支均被执行到。随后项目经理指出，测试中已发现的一个错误需由程序员定位并修改代码。下列叙述正确的是（　　） A. 甲采用黑盒测试，乙采用白盒测试中的逻辑覆盖；定位并改正错误的工作属于软件调试 B. 甲采用白盒测试，乙采用黑盒测试；定位并改正错误的工作属于软件测试 C. 甲、乙均采用黑盒测试；软件测试的目的是证明程序不存在错误 D. 甲采用黑盒测试，乙采用白盒测试；发现错误的测试工作就是软件调试