A期望尽可能地避免冗余测试B期望证明软件没有缺陷C期望发现最多的程序BugD期望具有某种意义上的完备性