以下有关软件质量保障的说法中，不存在问题的选项是()。

A.为发现错误，软件实现编码后必须进行软件测试。从已知程序逻辑开始，软件运行结果可预知，但测试是否能通过则是不可预见的。

B.在测试发现漏洞后，为了修复漏洞必须有对程序最熟悉的程序设计者修补漏洞。

C.软件测试发现漏洞后，通过调试能够确保漏洞修补有效。

D.软件测试发现漏洞后，调试可能修补漏洞成功，也可能出现意想不到的后遗症，这就需要通过回归测试，确认漏洞得到修补，并检查是否产生了意想不到的新问题。