第八章 管理信息系统的系统实施
合集下载
相关主题
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
第八章 管理信息系统的系统实施
2013-8-11
闽江学院 管理学系 《管理信息系统》
信息系统的开发思路
系统设计
系统分析
系统实施
2013-8-11 闽江学院 管理学系 《管理信息系统》
8-1 系统实施阶段的任务
2013-8-11
闽江学院 管理学系 《管理信息系统》
一、系统实施的内容
系统实施是开发信息系统的最后一个阶段。 这个阶段的任务：实现系统设计阶段提出的物 理模型，按照实施方案完成一个可以实际运行 的信息系统，交付用户使用。
在指定的时间点，停止原系统的使用，启动新系统。
老系统 新系统
•转换简单，费用最省 •风险较大
2013-8-11
闽江学院 管理学系 《管理信息系统》
2、并行切换法
新系统投入运行时，老系统并不停止运行，而是与 新系统同时运行一段时间，对照两者的输出，利用老系
统对新系统进行检验。
老系统 新系统
并行运行
2013-8-11
则需要
年才能全部测试完这组输入数据。 5亿
2013-8-11
闽江学院 管理学系 《管理信息系统》
2、人工测试
人工评审软件的文档或程序，发现其中的错误。手续简
单，是一种行之有效的检验手段。
（1）个人复查。
（2）走查。 （3）会审。
2013-8-11 闽江学院 管理学系 《管理信息系统》
3、机器测试
功能与性能要求。为了满足这些要求，需要修改或再开 发软件，以扩充软件功能、增强软件性能、改进加工效 率、提高软件的可维护性。这种情况下进行的维护活动 叫做完善性维护。
2013-8-11
闽江学院 管理学系 《管理信息系统》
4、预防性维护（preventive maintenance）
对一些使用寿命较长，目前尚能运行，但可能要发生 变化的部分进行维护，以适应将来的修改或调整。 通常，预防性维护定义为：“把今天的方法学用于昨
⑴ 计算机品牌选择
• 国外品牌目前有IBM、HP、Compaq、SUN、
NEC、Dell等；
• 国内品牌目前有联想、新浪潮、方正等。
2013-8-11
闽江学院 管理学系 《管理信息系统》
⑵ 计算机购置的基本原则：
•能够满足MIS的设计和运行的基本要求 •合理的性价比； •良好的可扩充性； •良好的技术支持.
系统维护与评价
2013-8-11
闽江学院 管理学系 《管理信息系统》
系统维护
管理信息系统需要在使用中不断完善： 1、经过调试的系统难免有不尽如人意的地方，或 有的地方效率可以提高，或有使用不够方便的地方； 2、管理环境的新的变化，对信息系统提出了新的 要求。
2013-8-11
闽江学院 管理学系 《管理信息系统》
用，应进行的诊断和改正错误的过程，是改正性维护。
2013-8-11
闽江学院 管理学系 《管理信息系统》
2、适应性维护（adaptive maintenance）
为了适应外界环境的变化而增加或修改系统的部分功能 的 维护工作。 随着计算机的飞速发展，外部环境（新的硬、软件配
置）或数据环境（数据库、数据格式、数据输入／输出方
2013-8-11
闽江学院 管理学系 《管理信息系统》
8-3-2 自顶向下的模块化设计
结构化程序设计方法采用自顶向下(top-
down approach)的系统开发策略，按照模 块化和逐步细化的思想，用一组单入口、 单出口的基本控制结构及反复嵌套来进行 程序设计。
2013-8-11
闽江学院 管理学系 《管理信息系统》
2013-8-11
闽江学院 管理学系 《管理信息系统》
穷举：包含所有可能情况的测试
假设有一个简单程序，有两个输入变量X和Y， 程序输出变量为Z。X、Y只能取整数，在字长
为32位的计算机上运行，那么X、Y可分别有2
32 个可能的值，则输入数据的所有可能值有2 64 种，如果这个程序测试一组数据需要1毫秒，
2013-8-11
闽江学院 管理学系 《管理信息系统》
五色定理被证明了。但四色定理却又回到未被证明的四色猜想的地位了， 这不仅由于赫伍德推翻了肯普的证明，而且离泰特发表论文66年后的1846年， 加拿大数学家托特又举出反例，否定了泰特的证明。 肯普的证明，虽然在11年后被推翻了，但是，人们认为他的证明思路有 很多可取的地方。因此，有不少数学家一直在沿着他的思路，推进着四色问 题的证明工作，并且有了新的进展。然而，这些成就所提供的检验办法太复 杂了，人们难以实现。就拿1870年有些人的方案来说，用当时的计算机来算 也需要连续不断地工作10万小时（即11年以上），才能得出结论，这显然是 不可能的。 1876年6月，美国数学家阿佩尔与哈肯，在美国伊利诺侵入大学的3台不 同的电子计算机上，用了1200小时，终于完成了"四色猜想"的证明，使"四色 猜想"成为了四色定理。 "四色定理"本身没有什么突出的理论价值。美国数学家的贡献，主要是用 电子计算机解决了延续124年之久的纯理论问题。人与机器的合作完全有可能 解决那些悬而未决的问题，我们期待着那一日的到来。
即测试，有控制地运行程序，从多种角度观察程序运行时的行为， 发现其中的错误。（测试就是为了发现错误而执行程序） A
20次
520条路径。
测试只能证明程序有错误，
而不可能证明程序没有错误。 B
2013-8-11 闽江学院 管理学系 《管理信息系统》
1.
黑箱测试
不考虑系统内部结构而运行系统，以检查在一定的 输入下，系统的输出是否与期望相同。
2013-8-11
闽江学院 管理学系 《管理信息系统》
⑶计算机的环境要求
• 机房要安装双层玻璃门窗，并且要求无尘。
• 硬件通过电缆线连接至电源，防止静电感应。
• 防止由于突然停电造成的事故发生，应安装备用电
源设备，如功率足够的不间断电源(UPS)。
Uninterrupted Power Supply
2013-8-11
闽江学院 管理学系 《管理信息系统》
8-5 人员培训
2013-8-11
闽江学院 管理学系 《管理信息系统》
8-5-2 人员培训的内容
信息系统的知识非常广 泛，企业管理人员与企业信 息系统专业人员的培训内容
应各有侧重。
ቤተ መጻሕፍቲ ባይዱ
2013-8-11
闽江学院 管理学系 《管理信息系统》
8-6 系统切换、运行
2013-8-11
闽江学院 管理学系 《管理信息系统》
系统的物理模型
构建系统运行平台
程序编制 代码实现 程序的调试和测试 数据准备
系统转换
用户培训
系统实施报告
2013-8-11 闽江学院 管理学系 《管理信息系统》
• 制作还是购买
对于所使用的硬件，可有两种方法获得相应
的软件：从外部开发商处购买(off-the-shelf software)，或自行开发(in-house development software)。究竟是内部自己开发还是向外部开 发商购买所需软件？通常称这个决策为制作或购 买决策（make-or-buy decision）
1852年，刚从伦敦大学毕业的哥斯尼在给他的兄弟弗雷赘克的一封信中 提出了这样的猜想：在一幅正规地图中。凡是有共同边界结的国家，都可以 最多只用四种颜色着色,就能把这些国家区别开来。 弗雷赘克读了这封信后，就企图用数学方法来证明。但是，他花了许多 时间，仍是毫无头绪，他只好去请教他的教师摩尔根。但摩尔根也无法证明 这个问题。同时也无法推翻，就把它交给了英国著名的数学家哈密顿。这个 问题一直到1865年哈密顿逝世为止，还没有得到解决。于是这个问题便以“四 色猜想”的名字留在了近代数学史上。1878年，著名的英国数学家凯来把“四色 猜想”通报给伦敦的数学学会会员，征求解答。1878年，肯普首先宣布证明了 四色定理，接着在1880年，泰特也宣布证明四色定理的问题已经解决，从此 就很少有人过问它了。 然而还有一个数学家赫伍德，并没有放弃对四色问题的研究，他从少年 时代一直到成为白发苍苍的老者，花费了毕生的精力致力于四色研究，前后 整整60年。终于在1880年，也就是肯普宣布证明了四色定理的11年之后，赫 伍德发表文章，指出了肯普证明中的错误，不过，赫伍德却成功地运用肯普 的方法证明了五色定理。
模块的大小划分要适当。模块中包含的子模块数要合 适，这样既便于模块的单独开发，又便于系统重构。
2013-8-11
闽江学院 管理学系 《管理信息系统》
8-4 程序和系统测试
2013-8-11
闽江学院 管理学系 《管理信息系统》
8-4-1 测试方法
在完成程序设计之后,还要进行大量而艰巨的 系统调试,一般情况下,系统测试与调试大约占系
维护成本 30%-40%
开发成本 开发成本
维护成本 40%-60%
开发成本 维护成本 70%
1970年
1980年
1990年
系统维护成本的比例
2013-8-11
闽江学院 管理学系 《管理信息系统》
维护的类型
1、更正性维护（corrective maintenance）
指由于发现系统中错误而引起的维护，包括诊断问 题和改正错误。在软件交付使用后，由于开发时测试的 不彻底、不完全，必然会有一部分隐藏的错误被带到运 行阶段来。改正软件性能上的缺陷、排除实施中的误使
自顶向下模块化程序设计中应注意：
模块应该具有独立性： 在系统中模块之间应尽可能的相互独立，减少模块
间的藕合，即信息交叉，以便于将模块作为一个独立子
系统开发。 模块大小划分要适当： 模块中包含的子模块数要合适，既便于模块的单 独开发，又便于系统重构。
2013-8-11
闽江学院 管理学系 《管理信息系统》
2013-8-11
闽江学院 管理学系 《管理信息系统》
系统转换包括：
1. 新系统和旧系统的切换 2. 把旧系统的文件转换成新系统的文件 3. 数据的整理和录入 4. 人员、设备、组织结构的改造和调整
5. 有关资料档案的建立和移交。
2013-8-11
闽江学院 管理学系 《管理信息系统》
1、直接转换法
天的系统以满足明天的需要”。也就是说，采用先进的软
件工程方法对需要维护的软件或软件中的某一部分（重新）
进行设计、编制和测试。
2013-8-11
闽江学院 管理学系 《管理信息系统》
更正性维护 21% 预防性维护 4%
适应性维护 25%
完善性维护 50%
各类维护工作的比例
2013-8-11
闽江学院 管理学系 《管理信息系统》
式、数据存储介质）可能发生变化，为了使软件适应这种
变化，而修改软件的过程叫做适应性维护。
2013-8-11
闽江学院 管理学系 《管理信息系统》
3、完善性维护（perfective maintenance）
为了改善系统功能或适应用户的需要而增加新的功 能的维护工作。
在软件的使用过程中，用户往往会对软件提出新的
闽江学院 管理学系 《管理信息系统》
3、试点过渡法（逐步转换法）
新系统一部分一部分地替换老系统，直到全部替代 老系统。
新系统n
老系统 新系统2 新系统1
•避免了直接转换法的危险性，费用也比并行转换法省 •这种转换方式接口复杂，当新老系统差别太大时不宜 采取该方法
2013-8-11 闽江学院 管理学系 《管理信息系统》
2013-8-11
闽江学院 管理学系 《管理信息系统》
8-2 物理系统的实施
2013-8-11
闽江学院 管理学系 《管理信息系统》
MIS物理系统的实施是计算机系统和通信 网络系统设备的订购、机房的准备和设备的安 装调试等一系列活动。
2013-8-11
闽江学院 管理学系 《管理信息系统》
8-2-1 计算机系统的实施
2.
白箱测试
不仅要完成前者的内容，还要检查输入的数据是如 何通过系统内部设定的结构，达到输出的。
2013-8-11
闽江学院 管理学系 《管理信息系统》
A 黑箱测试
B 白箱测试
2013-8-11
闽江学院 管理学系 《管理信息系统》
特殊调试
除了常规测试之外，还有一些必要的性能测试，这些测试往往不 是针对程序在正常情况下运行的正确与否，而是根据系统需求选择进 行的，主要有： 1. 峰值负载测试、 容量测试、 响应时间测试、 恢复能力测试等。 2. 严格核对计算机处理和人工处理的两种结果。 3. 实况测试。
统实施工作量的40%-50%。
程序和系统调试的目的是找出程序和系统中可 能存在的错误并及时予以纠正.。
2013-8-11
闽江学院 管理学系 《管理信息系统》
1、正确性证明：
利用数学方法证明程序的正确性，该技术还处于初级 阶段。
穷举？
选择？
2013-8-11
闽江学院 管理学系 《管理信息系统》
四色猜想
2013-8-11
闽江学院 管理学系 《管理信息系统》
信息系统的开发思路
系统设计
系统分析
系统实施
2013-8-11 闽江学院 管理学系 《管理信息系统》
8-1 系统实施阶段的任务
2013-8-11
闽江学院 管理学系 《管理信息系统》
一、系统实施的内容
系统实施是开发信息系统的最后一个阶段。 这个阶段的任务：实现系统设计阶段提出的物 理模型，按照实施方案完成一个可以实际运行 的信息系统，交付用户使用。
在指定的时间点，停止原系统的使用，启动新系统。
老系统 新系统
•转换简单，费用最省 •风险较大
2013-8-11
闽江学院 管理学系 《管理信息系统》
2、并行切换法
新系统投入运行时，老系统并不停止运行，而是与 新系统同时运行一段时间，对照两者的输出，利用老系
统对新系统进行检验。
老系统 新系统
并行运行
2013-8-11
则需要
年才能全部测试完这组输入数据。 5亿
2013-8-11
闽江学院 管理学系 《管理信息系统》
2、人工测试
人工评审软件的文档或程序，发现其中的错误。手续简
单，是一种行之有效的检验手段。
（1）个人复查。
（2）走查。 （3）会审。
2013-8-11 闽江学院 管理学系 《管理信息系统》
3、机器测试
功能与性能要求。为了满足这些要求，需要修改或再开 发软件，以扩充软件功能、增强软件性能、改进加工效 率、提高软件的可维护性。这种情况下进行的维护活动 叫做完善性维护。
2013-8-11
闽江学院 管理学系 《管理信息系统》
4、预防性维护（preventive maintenance）
对一些使用寿命较长，目前尚能运行，但可能要发生 变化的部分进行维护，以适应将来的修改或调整。 通常，预防性维护定义为：“把今天的方法学用于昨
⑴ 计算机品牌选择
• 国外品牌目前有IBM、HP、Compaq、SUN、
NEC、Dell等；
• 国内品牌目前有联想、新浪潮、方正等。
2013-8-11
闽江学院 管理学系 《管理信息系统》
⑵ 计算机购置的基本原则：
•能够满足MIS的设计和运行的基本要求 •合理的性价比； •良好的可扩充性； •良好的技术支持.
系统维护与评价
2013-8-11
闽江学院 管理学系 《管理信息系统》
系统维护
管理信息系统需要在使用中不断完善： 1、经过调试的系统难免有不尽如人意的地方，或 有的地方效率可以提高，或有使用不够方便的地方； 2、管理环境的新的变化，对信息系统提出了新的 要求。
2013-8-11
闽江学院 管理学系 《管理信息系统》
用，应进行的诊断和改正错误的过程，是改正性维护。
2013-8-11
闽江学院 管理学系 《管理信息系统》
2、适应性维护（adaptive maintenance）
为了适应外界环境的变化而增加或修改系统的部分功能 的 维护工作。 随着计算机的飞速发展，外部环境（新的硬、软件配
置）或数据环境（数据库、数据格式、数据输入／输出方
2013-8-11
闽江学院 管理学系 《管理信息系统》
8-3-2 自顶向下的模块化设计
结构化程序设计方法采用自顶向下(top-
down approach)的系统开发策略，按照模 块化和逐步细化的思想，用一组单入口、 单出口的基本控制结构及反复嵌套来进行 程序设计。
2013-8-11
闽江学院 管理学系 《管理信息系统》
2013-8-11
闽江学院 管理学系 《管理信息系统》
穷举：包含所有可能情况的测试
假设有一个简单程序，有两个输入变量X和Y， 程序输出变量为Z。X、Y只能取整数，在字长
为32位的计算机上运行，那么X、Y可分别有2
32 个可能的值，则输入数据的所有可能值有2 64 种，如果这个程序测试一组数据需要1毫秒，
2013-8-11
闽江学院 管理学系 《管理信息系统》
五色定理被证明了。但四色定理却又回到未被证明的四色猜想的地位了， 这不仅由于赫伍德推翻了肯普的证明，而且离泰特发表论文66年后的1846年， 加拿大数学家托特又举出反例，否定了泰特的证明。 肯普的证明，虽然在11年后被推翻了，但是，人们认为他的证明思路有 很多可取的地方。因此，有不少数学家一直在沿着他的思路，推进着四色问 题的证明工作，并且有了新的进展。然而，这些成就所提供的检验办法太复 杂了，人们难以实现。就拿1870年有些人的方案来说，用当时的计算机来算 也需要连续不断地工作10万小时（即11年以上），才能得出结论，这显然是 不可能的。 1876年6月，美国数学家阿佩尔与哈肯，在美国伊利诺侵入大学的3台不 同的电子计算机上，用了1200小时，终于完成了"四色猜想"的证明，使"四色 猜想"成为了四色定理。 "四色定理"本身没有什么突出的理论价值。美国数学家的贡献，主要是用 电子计算机解决了延续124年之久的纯理论问题。人与机器的合作完全有可能 解决那些悬而未决的问题，我们期待着那一日的到来。
即测试，有控制地运行程序，从多种角度观察程序运行时的行为， 发现其中的错误。（测试就是为了发现错误而执行程序） A
20次
520条路径。
测试只能证明程序有错误，
而不可能证明程序没有错误。 B
2013-8-11 闽江学院 管理学系 《管理信息系统》
1.
黑箱测试
不考虑系统内部结构而运行系统，以检查在一定的 输入下，系统的输出是否与期望相同。
2013-8-11
闽江学院 管理学系 《管理信息系统》
⑶计算机的环境要求
• 机房要安装双层玻璃门窗，并且要求无尘。
• 硬件通过电缆线连接至电源，防止静电感应。
• 防止由于突然停电造成的事故发生，应安装备用电
源设备，如功率足够的不间断电源(UPS)。
Uninterrupted Power Supply
2013-8-11
闽江学院 管理学系 《管理信息系统》
8-5 人员培训
2013-8-11
闽江学院 管理学系 《管理信息系统》
8-5-2 人员培训的内容
信息系统的知识非常广 泛，企业管理人员与企业信 息系统专业人员的培训内容
应各有侧重。
ቤተ መጻሕፍቲ ባይዱ
2013-8-11
闽江学院 管理学系 《管理信息系统》
8-6 系统切换、运行
2013-8-11
闽江学院 管理学系 《管理信息系统》
系统的物理模型
构建系统运行平台
程序编制 代码实现 程序的调试和测试 数据准备
系统转换
用户培训
系统实施报告
2013-8-11 闽江学院 管理学系 《管理信息系统》
• 制作还是购买
对于所使用的硬件，可有两种方法获得相应
的软件：从外部开发商处购买(off-the-shelf software)，或自行开发(in-house development software)。究竟是内部自己开发还是向外部开 发商购买所需软件？通常称这个决策为制作或购 买决策（make-or-buy decision）
1852年，刚从伦敦大学毕业的哥斯尼在给他的兄弟弗雷赘克的一封信中 提出了这样的猜想：在一幅正规地图中。凡是有共同边界结的国家，都可以 最多只用四种颜色着色,就能把这些国家区别开来。 弗雷赘克读了这封信后，就企图用数学方法来证明。但是，他花了许多 时间，仍是毫无头绪，他只好去请教他的教师摩尔根。但摩尔根也无法证明 这个问题。同时也无法推翻，就把它交给了英国著名的数学家哈密顿。这个 问题一直到1865年哈密顿逝世为止，还没有得到解决。于是这个问题便以“四 色猜想”的名字留在了近代数学史上。1878年，著名的英国数学家凯来把“四色 猜想”通报给伦敦的数学学会会员，征求解答。1878年，肯普首先宣布证明了 四色定理，接着在1880年，泰特也宣布证明四色定理的问题已经解决，从此 就很少有人过问它了。 然而还有一个数学家赫伍德，并没有放弃对四色问题的研究，他从少年 时代一直到成为白发苍苍的老者，花费了毕生的精力致力于四色研究，前后 整整60年。终于在1880年，也就是肯普宣布证明了四色定理的11年之后，赫 伍德发表文章，指出了肯普证明中的错误，不过，赫伍德却成功地运用肯普 的方法证明了五色定理。
模块的大小划分要适当。模块中包含的子模块数要合 适，这样既便于模块的单独开发，又便于系统重构。
2013-8-11
闽江学院 管理学系 《管理信息系统》
8-4 程序和系统测试
2013-8-11
闽江学院 管理学系 《管理信息系统》
8-4-1 测试方法
在完成程序设计之后,还要进行大量而艰巨的 系统调试,一般情况下,系统测试与调试大约占系
维护成本 30%-40%
开发成本 开发成本
维护成本 40%-60%
开发成本 维护成本 70%
1970年
1980年
1990年
系统维护成本的比例
2013-8-11
闽江学院 管理学系 《管理信息系统》
维护的类型
1、更正性维护（corrective maintenance）
指由于发现系统中错误而引起的维护，包括诊断问 题和改正错误。在软件交付使用后，由于开发时测试的 不彻底、不完全，必然会有一部分隐藏的错误被带到运 行阶段来。改正软件性能上的缺陷、排除实施中的误使
自顶向下模块化程序设计中应注意：
模块应该具有独立性： 在系统中模块之间应尽可能的相互独立，减少模块
间的藕合，即信息交叉，以便于将模块作为一个独立子
系统开发。 模块大小划分要适当： 模块中包含的子模块数要合适，既便于模块的单 独开发，又便于系统重构。
2013-8-11
闽江学院 管理学系 《管理信息系统》
2013-8-11
闽江学院 管理学系 《管理信息系统》
系统转换包括：
1. 新系统和旧系统的切换 2. 把旧系统的文件转换成新系统的文件 3. 数据的整理和录入 4. 人员、设备、组织结构的改造和调整
5. 有关资料档案的建立和移交。
2013-8-11
闽江学院 管理学系 《管理信息系统》
1、直接转换法
天的系统以满足明天的需要”。也就是说，采用先进的软
件工程方法对需要维护的软件或软件中的某一部分（重新）
进行设计、编制和测试。
2013-8-11
闽江学院 管理学系 《管理信息系统》
更正性维护 21% 预防性维护 4%
适应性维护 25%
完善性维护 50%
各类维护工作的比例
2013-8-11
闽江学院 管理学系 《管理信息系统》
式、数据存储介质）可能发生变化，为了使软件适应这种
变化，而修改软件的过程叫做适应性维护。
2013-8-11
闽江学院 管理学系 《管理信息系统》
3、完善性维护（perfective maintenance）
为了改善系统功能或适应用户的需要而增加新的功 能的维护工作。
在软件的使用过程中，用户往往会对软件提出新的
闽江学院 管理学系 《管理信息系统》
3、试点过渡法（逐步转换法）
新系统一部分一部分地替换老系统，直到全部替代 老系统。
新系统n
老系统 新系统2 新系统1
•避免了直接转换法的危险性，费用也比并行转换法省 •这种转换方式接口复杂，当新老系统差别太大时不宜 采取该方法
2013-8-11 闽江学院 管理学系 《管理信息系统》
2013-8-11
闽江学院 管理学系 《管理信息系统》
8-2 物理系统的实施
2013-8-11
闽江学院 管理学系 《管理信息系统》
MIS物理系统的实施是计算机系统和通信 网络系统设备的订购、机房的准备和设备的安 装调试等一系列活动。
2013-8-11
闽江学院 管理学系 《管理信息系统》
8-2-1 计算机系统的实施
2.
白箱测试
不仅要完成前者的内容，还要检查输入的数据是如 何通过系统内部设定的结构，达到输出的。
2013-8-11
闽江学院 管理学系 《管理信息系统》
A 黑箱测试
B 白箱测试
2013-8-11
闽江学院 管理学系 《管理信息系统》
特殊调试
除了常规测试之外，还有一些必要的性能测试，这些测试往往不 是针对程序在正常情况下运行的正确与否，而是根据系统需求选择进 行的，主要有： 1. 峰值负载测试、 容量测试、 响应时间测试、 恢复能力测试等。 2. 严格核对计算机处理和人工处理的两种结果。 3. 实况测试。
统实施工作量的40%-50%。
程序和系统调试的目的是找出程序和系统中可 能存在的错误并及时予以纠正.。
2013-8-11
闽江学院 管理学系 《管理信息系统》
1、正确性证明：
利用数学方法证明程序的正确性，该技术还处于初级 阶段。
穷举？
选择？
2013-8-11
闽江学院 管理学系 《管理信息系统》
四色猜想