如果结果不匹配，请 
更多“程序的静态验证是利用数学方法证明程序的正确性。()”相关的问题
第1题
在软件维护的实施过程中，为了正确、有效地修改，需要经历以下3个步骤：(A)、(B)、(C)。(A)是决定维护成败和质量好坏的关键。(C)包括(D)确认、计算机确认和维护后的(E)。供选择的答案：A～C.①修改程序②建立目标程序③分析和理解程序④重新验证程序⑤验收程序D.①动态②静态③人工④自动E.①验证②验收③检验④存档
在软件维护的实施过程中，为了正确、有效地修改，需要经历以下3个步骤：（A)、（B)、（C)。（A)是决定维护成败和质量好坏的关键。（C)包括（D)确认、计算机确认和维护后的（E)。供选择的答案：A～C.①修改程序②建立目标程序③分析和理解程序④重新验证程序⑤验收程序D.①动态②静态③人工④自动E.①验证②验收③检验④存档
点击查看答案
第2题
企业应该对维护工作的执行情况和维护的效果进行定期验证和评估，以确保所有维护工作都按照规定的程序执行(即安全、及时、经济、符合法规及标准等方面)。在维护评估中还应着重考虑维护资源的有效利用，并节约开支。维护的验证与评估由跨职能工作小组定期实施。()此题为判断题(对，错)。
第3题
反洗钱内控制度是证券强化业机构为保证反洗钱工作的有效开展而指定并组织实施的，制约内部各部门和人员并使之相互协调的一系列制度、措施、程序和方法等静态形式，不包括利用这些制度、措施、程序和方法对相关风险进行事前防范、事中控制、事后监督和纠正的动态过程和机制。（）此题为判断题(对，错)。
第4题
人工智能是指由人工制造出来的系统所表现出来的智能。下列论述中所描述的各项技术突破，无关人工智能的是：（)
A.科学家利用数学定理证明程序，证明了《数学原理》一书第二章的38个定理。
B.中国象棋程序在人机对弈时，能够根据以往的棋局，学习到新的战术，从而避免因为类似的错误而失败。
C.小张家里新买的最新款电视机，能够根据电视机周围的环境光线强弱，自动地调整屏幕的亮度。
D.有种名为siri的手机软件，采用自然语言处理技术，使用户能用自然的对话与手机进行互动。
第8题
关于进程与程序的联系与区别，下面哪项描述是正确的（)
A.进程是由程序、数据和进程控制块三部分组成的
B.进程是构成程序的组成部分之一
C.进程是静态的，而程序是动态的
D.二者没有区别
第11题
数控机床中的空运行功能是（）
A.对零件加工程序的正确性进行快速验证
B.对已输入的零件加工程序进行插入、删除、修改、复制等工作
C.对加工中产生的误差进行补偿
D.对加工机床润滑试运行
