系统实施

下层模块
执行具体的功能
结构化方法主张自顶向下实现，尽量先实现 上层模块，逐步向下，最后实现下层最基本的模 块。
（首先调试整个系统的结构及各个模块之间 的接口，确保系统结构和各模块接口的正确性）
自顶向下模块化程序设计中应注意：
模块应该具有独立性： 在系统中模块之间应尽可能的相互独立，减少模块
间的藕合，即信息交叉，以便于将模块作为一个独立子 系统开发。 模块大小划分要适当：
下页首先对几种常用的工具软件作一介绍：
［电子表格软件开发工具］ ［数据库管理系统提供的开发工具］ ［套装软件 (set of software)工具］
［可视化图形界面编程工具］
⑴ MS Visual Foxpro ⑵ MS Visual BASlC ⑶ PowerBuilder： ⑷ 办公自动化系统开发工具Lotus Notes
1. 用正常数据调试。 2. 用异常数据调试。 3. 用错误数据调试。
试验程序对错误的处理能力，包括显示出错信息以及容许 修改错误的可能性。 具体检查内容有： • 输入键号错误 • 输人数据错误 • 操作错误
• 程序功能调试
经代码测试正确的程序只是基本上验证了程序逻 辑上的正确性，但并不能验证程序是否满足程序说 明中定义的功能，也不能验证数据本身是否完备。
测试是通过一些典型的数据运行检验系统 在各种情况下的正确性的过程。
单元测试 功能测试 系统测试 容量测试 认可测试
1 单元测试
单元测试是测试系统中的每一个低级处理 的基本功能，其目标是告诉程序员哪些程序部 分需要改正或改进。
•程序代码测试 •程序功能测试
• 程序代码调试
利用精心挑选的测试数据，使程序和模块中的每一条语句都能 得到执行， 即能够测试程序中的任一逻辑通路。常用的测试数据有 以下几种：
2、静态测试
人工评审软件的文档或程序，发现其中的错误。手续 简单，是一种行之有效的检验手段。
（1）代码审查：通过阅读程序发现软件错误和缺陷。 （2）静态分析：主要对程序进行控制流分析、数据流 分析、接口分析和表达式分析。
3、动态检查
即测试，有控制地运行程序，从多种角度观察程序运行时的行为， 发现其中的错误。（测试就是为了发现错误而执行程序）
采用顺序结构、循环结构、选择结构 三种基本逻辑结构来编写程序的方法。
1、顺序结构：
顺序结构表示含有多个连续的处理步骤，按照书写的先后顺序执行。
入口
A
Int i=0
Int s=1
B
S=100wk.baidu.comi
出口
2、循环结构：
循环结构是由一个或几个模块构成，程序运行时重复执行，直 到满足某一条件为止。
入口
F P T S
9-5 程序和系统测试
9-5-1 测试方法
人们常常有一种错觉，认为程序编写出来 就“万事大吉”。
目前，检验软件的有三种手段：正确性证 明、静态检查和动态检查。
1、正确性证明：
利用数学方法证明程序的正确性，该技术还处于初级 阶段。
四色猜想
1852年，刚从伦敦大学毕业的哥斯尼在给他的兄弟弗雷赘克的一封信中 提出了这样的猜想：在一幅正规地图中。凡是有共同边界结的国家，都可以 最多只用四种颜色着色,就能把这些国家区别开来。
注意 程序效率、可维护性、可理解性三者之间的关系
•在过去的小程序设计中，主要强调程序的正确和效率。 •对于大型程序，人们则倾向于首先强调程序的可维护性、 可靠性和可理解性，然后才是效率。
9-3-2 自顶向下的模块化设计
功能结构图中有很多大大小小的模块，先实现那些模块呢？
上层模块
控制性
下层模块
…….
9-2-1 网络系统的实施
•局域网（Local Area Network, LAN） 通常指一定范围内的网络，可以实现楼宇内部和临近
的几座大楼之间的内部联系。
•广域网（Wide Area Network, WAN） 能连接多个城市，国家或大洲－－广域网不仅仅只是
连接许多结点中的计算机，它还必须能使得计算机之间能 同时通信。
相互联系的，彼此制约
二、系统实施阶段的特点 与系统分析、系统设计阶段相比较，系统实施阶段的特
点是：工作量大，投入的人力、物力多。
实施计划主要内容 ——硬件计划 ——软件计划 ——机房、场所准备计划 ——总的实施日程计划
实施步骤
硬件获取 软件编程 用户准备 人员：聘用和培训 机房、场所准备
数据准备 安装 测试
9-3-1 程序设计的目标
⑴ 可维护性
由于信息系统需求的不确定性，系统需求可能会随 着环境的变化而不断变化，因此，就必须对系统功能进 行完善和调整，为此，就要对程序进行补充或修改。此 外，由于计算机软硬件的更新换代也需要对程序进行相 应的升级。
⑵ 可靠性：程序应具有较好的容错能力。
•正常情况下能正确工作。 •意外情况下应便于处理，不至产生意外的操作， 从而造成严重损失。
A
20次
520条路径。
测试只能证明程序有错误， 而不可能证明程序没有错误。 B
1. 黑箱测试
不考虑系统内部结构而运行系统，以检查在一定的 输入下，系统的输出是否与期望相同。
2. 白箱测试
不仅要完成前者的内容，还要检查输入的数据是如 何通过系统内部设定的结构，达到输出的。
A 黑箱测试
B 白箱测试
9-5-2 测试流程
第九章 系统实施
信息系统的开发思路
系统分析 系统实施
系统设计
9-1 系统实施阶段的任务
一、系统实施的内容
系统实施是开发信息系统的最后一个阶段。 这个阶段的任务：实现系统设计阶段提出的物 理模型，按照实施方案完成一个可以实际运行 的信息系统，交付用户使用。
系统的物理模型
构建系统运行平台
程序编制
然而还有一个数学家赫伍德，并没有放弃对四色问题的研究，他从表少 年时代一直到成为白发苍苍的老者，花费了毕生的精力致力于四色研究，前 后整整60年。终于在1890年，也就是肯普宣布证明了四色定理的11年之后， 赫伍德发表文章，指出了肯普证明中的错误，不过，赫伍德却成功地运用肯 普的方法证明了五色定理，即一张地图一公平能用和种颜色正确地染色。
模块中包含的子模块数要合适，既便于模块的单 独开发，又便于系统重构。
模块功能要简单： 底层模块一般应完成一项独立的处理任务。
共享的功能模块应集中： 对于可供各模块共享的处理功能，应集中在一个
上层模块中，供各模块引用。
9-3-3 结构化程序设计方法 (Structured Programming)
出口
Int i=1 Int s=0 Do While(i<=100)
s=s+i i=i+1 EndDo
3、选择结构：
由某个逻辑表达式的取值决定选择两个处理加工中的一个。
入口
T
F
P
A
B
出口
9-4 软件开发工具
利用软件生成工具进行系统开发可以大量的减少甚至 避免手工编写程序，并且避免了手工方式下的编程错误， 从而极大的提高了系统开发效率。
⑶ 可理解性：
程序不仅要求逻辑正确，计算机能够执行，而 且应当层次清楚，便于阅读。
⑷ 效率： 程序能否有效地利用计算机资源。
• 程序效率的地位： 已不像以前那样举足轻重了，因为 硬件价格大幅度下降，而其性能却不断完善和提高。 • 程序设计人员工作效率的地位日益重要。不仅能降低 软件开发成本；而且可明显降低程序的出错率，进而减 轻维护人员的工作负担。为了提高程序设计效率，应充 分利用各种软件开发工具。
1、常用的通讯介质
双绞线
同轴电缆 光纤
微波通信
微波站
地面波
地表
（A）地面微波通信
微波站
卫星
地表
（B）卫星通信
2、常用的通讯设备 路由器设备 交换机设备
9-3 程序设计
编程（Coding）就是为系统各个模 块编写程序。根据结构化方法设计了详 细方案，又有了高级语言，初级程序员 都可以参加这一阶段的工作。
［计算机辅助软件工程 (CASE)］
⑴ CASE (COMPUTER AIDED SOFTWARE ENGINEERING)的特点： 支持系统分析和系统设计 (如生成数据流程图、生成功能结构图和
各种文档资料等)乃至整个系统生命周期的大型软件环境。 ⑵ 功能：
CASE中集成了多种工具，这些工具既可以单独使用，也可以组合 使用，为系统开发提供了全过程的开发环境
试运行 系统切换 用户验收
9-2 物理系统的实施
MIS物理系统的实施是计算机系统和通信 网络系统设备的订购、机房的准备和设备的安 装调试等一系列活动。
9-2-1 计算机系统的实施
⑴ 计算机品牌选择
• 国外品牌目前有IBM、HP、Compaq、SUN、
NEC、Dell等；
• 国内品牌目前有联想、新浪潮、方正等。
⑵ 计算机购置的基本原则：
•能够满足MIS的设计和运行的基本要求 •合理的性价比； •良好的可扩充性； •良好的技术支持.
⑶计算机的环境要求
• 机房要安装双层玻璃门窗，并且要求无尘。 • 硬件通过电缆线连接至电源，防止静电感应。 • 防止由于突然停电造成的事故发生，应安装备用电 源设备，如功率足够的不间断电源(UPS)。
程序功能测试则面向程序应用环境，把程序看 做一个 "黑盒子"，认为程序只要满足应用功能上的 需求，就是可行的。
2 功能测试
将一个功能内所有程序按次序串联起来进行调试， 目的是要保证模块内各程序间具有正确的控制关系， 同时可以测试模块的运行效率。
程序1
程序1
程序3
程序2
模块的连接方法： 1. 非增量式集成：
五色定理被证明了。但四色定理却又回到未被证明的四色猜想的地位了， 这不仅由于赫伍德推翻了肯普的证明，而且离开泰特发表论文66年后的1946 年，加拿大数学家托特又举出反例，否定了泰特的证明。
肯普的证明，虽然在11年后被推翻了，但是，人们认为他的证明思路有 很多可取的地方。因此，数学家，有不少人一直在沿着他的思路，推进着四 色问题的证明工作，并且有了新的进展。然而，这些成就所提供的检验办法 太复杂了，人们难以实现。就拿1970年有些人的方案来说，用当时的计算机 来算也需要连续不断地工作10万小时（即11年以上），才能得出结论，这显 然是不可能的。
1970年以后，人们千方百计地改进了证明四色猜想的方案，而且计算机 的其使用方法，也不了飞快地进步。
1976年6月，美国数学家阿佩尔与哈肯，在美国伊利诺侵入大学的3台不 同的电子计算机上，用了1200小时，终于完成了"四色猜想"的证明，从面使" 四色猜想"成为了四色定理。
"四色定理"本身没有什么突出的理论价值和衫价值。因此美国数学家的贡 献，主要是用电子计算机解决了延续124年之久的纯理论问题。人与机器的合 作完全有可能解决那些悬而未决的问题，我们期待着那一日的到来。
代码实现
数据准备
程序的调试和测试
系统转换
用户培训
系统实施报告
1、硬件准备
硬件准备包括计算机主机、输入输出设备、存储设备、 辅助设备（稳压电源、空调设备）、通信设备等。
2、软件准备
软件包括系统软件、数据库管理系统以及一些应用 软件。
3、人员培训
主要指用户培训，包括主管人员和业务人员。
4、数据准备
没有一定的基础数据的准备，系统调试就不能很 好的进行。
⑴ 主控程序和调度程序调试 ⑵ 系统程序总调
4 特殊调试
除了上述常规测试之外，还有一些必要的性能测试，这些测试往 往不是针对程序在正常情况下运行的正确与否，而是根据系统需求选 择进行的，主要有：
把所有的模块按设计要求一次性全部组装起 来，然后进行整体测试。 2. 增量式集成：
一个一个地扩展模块，一步一步增大测试的 范围，错误易于定位和纠正。
3 系统测试
将所开发的系统放在模拟的产品环境中，其目标 是保证系统与网络、数据库、硬件和任何其它公司所 特有平台和环境因素相协调，保证整个系统运行是一 致的，并且使应用程序能满足用户要求的灵活性。
弗雷赘克读了这封信后，就企图用数学品质方法来加证明。但是，他花 了许多时间，仍是毫无头绪，他只好去请教他的教师摩尔根。但摩尔根也无 法证明这个问题。同时也无法推翻，就把它交给了英国著名的数学家哈密顿。 从此，这个问题在一些人中间传来似去，直到1865年哈密顿逝世为止，这个 问题还没有得到解决。 于是这个问题便以“四色猜想”的名字留在了近 代数学史上。1878年，著名的英国数学家凯来把“四色猜想”通报给伦敦的 数学学会会员，征求解答。数学界顿时活跃起来，很多人挥戈上阵，企图试 一试自己的能力。1879年，肯普首先宣布证明了四色定理，接着在1880年， 泰特也宣布证明四色定理的问题已经解决，从此就很少有人过问它了。