软件测试的方法有三种：静态测试、动态测试和( )。

A．程序正确性证明

B．调试

C．验收测试

D．集成测试

我国1995年起实施的《中华人民共和国预算法》规定，地方政府不得发行地方政府债券(除法律和国务院另有规定外)，因此我国目前的政府债券仅限于中央政府债券。 ( )