当前软件测试的方法有3种：动态测试、静态测试、 【6】 。
参考答案：正确性证明
解析： 软件测试的方法有3种：动态测试、静态测试、正确性证明。
国企腐败重要原因是（）
A.官商勾结
B.官商不分
C.官官相护
D.受贿
COCOMO模型是 (19) 。
A．模块性成本模型
B．质量控制模型
C．结构性成本模型
D．进度管理模型
