在软件测试中，动态测试和静态测试手段只能发现程序中的错误，而不能证明程序中不存在错误，只有______才有可能证明程序的正确性。
参考答案：程序正确性证明
自古以来中 * * 就是一个大家庭，我们华夏子孙共推的祖先是[ ]
A．黄帝
B．女娲
C．盘古
D．夸父
社会主义物质文明建设与精神文明建设的关系表现为（）
A.前者是目的，后者是手段
B.前者是基础，后者是目标
C.前者是内容，后者是形式
D.二者互为条件、相互依赖曷
