单项选择题我国《国民经济和社会发展第十个五年计划纲要》中提出，以信息化带动______。
单项选择题软件测试的方法可归纳成三种，它们是： Ⅰ．动态测试 Ⅱ．静态测试 Ⅲ．程序正确性证明 而真正实施的方法则是______。
