证明程序正确最常用的方法是______，它对程序提出一组命题，如在数学上证明这些命题不成立，就能保证程序不发生错误。

操作系统是一组“管理各种资源以便执行应用程序”的程序。 工具栏是图形界面程序常用的组件。它将一组控件（以按钮为主）排 成一行中，放在程序的顶端。 由一组护理人员应用护理程序的工作方法，共同完成对一组病人的护理工作（） 由一组护理人员应用护理程序的工作方法，共同完成对一组患者的护理工作 程序是能够完成特定功能的一组指令序列（） 程序是能完成特定功能的一组指令序列。 表示一组观察值的离散趋势最常用的指标是（　　）。 检查一组数据异常值最常用的统计图形是（） 由一组护理人员应用护理程序的工作方法，共同完成对一组患者的护理工作，被称为 由一组护理人员应用护理程序的工作方法，共同完成对一组病人的护理工作，被称为 如果一组程序段在一个程序中多次出现，可将其做成固定程序并单独加以命名，该程序叫做（）。 描述一组正态分布资料的变异程度，最常用的指标是 浏览器主要由一组客户、一组解释程序以及一个管理这些客户和解释程序的控制器组成（） 你的项目需要使用一组新的软件程序，但是如这组程序无法使用，你的团队就会有一个（）计划来使用现有软件。 （）的定义是一组固有特性满足要求的程序。 控制面板是一组系统管理程序。 计算机病毒是一组人为设计的程序 BIOS是一组固化在ROM中的程序，其内容不含（ ） 源程序经过编译后，可得到一组目标模块，用链接程序将这组目标模块链接形成装入模块的方法有：()。 表示一组观察值分布的离散程度大小最常用的指标是（）