软件测试方法可分为3类，它们是动态测试、静态测试和程序正确性证明，真正实施的方法则是( )。

A．动态测试和静态测试

B．静态测试和程序正确性证明

C．动态测试和程序正确性证明

D．都不是

财政监督的根本目的是（）.

A.维护各类财政活动和财政制度的健康、有序

B.制约、纠正财政管理活动中的不当

C.加大税收征管力度

D.保证政府财政的足额使用