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

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

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

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

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

下列关于英美法系特征的说法中正确的有( )。

A．英美法系国家法的基本分类是公法和私法

B．英美法系国家的诉讼一般采用审讯方式，奉行干涉主义

C．判例是英美法系国家正式的法的渊源

D．英美法系法院有司法审查权