问题：

[单选]下列是软件测试技术的是（　　）

A.强行排错法B.原因排除法C.回溯法D.边界值分析

Mill准则包括的实验方法有（）。

A、求同法差异法共变法剩余法同异并用法

B、求同法差异法共变法剩余法

C、类推法共变法求同法

D、排除法剩余法求异法

E、求同法排除法求异法

下列叙述中正确的是______。

A．软件测试的主要目的是发现程序中的错误

B．软件测试的主要目的是确定程序中错误的位置

C．为了提高软件测试的效率，最好由程序编制者自己来完成软件测试的工作

D．软件测试是证明软件没有错误