软件实施文档

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