A．所有的测试都应追溯到用户需求
B．软件测试的计划和设计需要在程序代码产生之后进行
C．测试软件时，不仅要检验软件是否做了该做的事，还要检验软件是否做了不该做的事
D．成功的测试是发现了迄今尚未发现的错误的测试
