下列对于软件测试的描述中正确的是( )。

A．软件测试的目的是证明程序是否正确

B．软件测试的目的是使程序运行结果正确

C．软件测试的目的是尽可能地多发现程序中的错误

D．软件测试的目的是使程序符合结构化原则

有下列哪些情形，原告申请撤诉人民法院不予准许的（）。

A.原告申请撤诉并非出于自愿而是受被告行政机关胁迫

B.被告违法法律规定改变原具体行政行为，原告同意申请撤诉的

C.被告自动纠正原具体行政行为的错误，原告同意申请撤诉的

D.二审中被告行政机关改变原具体行政行为，一审原告同意申请撤诉的