管理信息系统 第2版 教学课件 作者 周贺来 第07章.PPTVIP

管理信息系统 第2版 教学课件 作者 周贺来 第07章.PPT

  1. 1、本文档共66页,可阅读全部内容。
  2. 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
  3. 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  4. 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
  5. 5、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
  6. 6、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们
  7. 7、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
  8. 8、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
7.9小结-1 系统实施是系统开发的最后阶段,也是将系统设计的结果最终在计算机系统上实现的阶段,内容包括:物理系统实施、程序编写、系统测试、系统切换、系统运行与统维护。 物理系统的实施,主要任务是根据系统目标做好设备选型,包括计算机系统的安装和网络系统的配置。 程序设计中,应采用模块化程序结构和结构化程序设计方法,提高程序的可靠性、可维护性、可理解性和开发效率。 7.9小结-2 系统测试就是要在计算机上以各种可能的数据和操作条件反复地对程序进行试验,发现存在的错误并及时加以修改,使其完全符合设计要求。根据信息系统的开发周期,系统测试分为五个阶段,分别是:单元测试、组装测试、确认测试、系统测试和验收测试。 系统测试的常用方法有三种,分别为:静态测试、动态测试、程序正确性证明。 系统切换是系统实施的最后阶段,主要目的就是实现新旧系统的交替。在进行系统转换之前,需要做好许多如下准备工作:数据的整理与录入、文档的准备、用户的培训。 7.9小结-3 系统切换的方式一般有四种,分别为:直接切换、并行切换、阶段切换和试点切换。在系统应用中应根据具体情况灵活运用。 系统刚建成时所编制的程序和数据很少能一字不改的沿用下去。系统人员应根据系统运行的外部环境的变更和业务量的改变,及时对系统进行维护。 系统维护的内容包括:硬件的维护、应用程序的维护、数据文件的维护和代码的维护。 系统维护的类型有四种,分别是:正确性维护、适应性维护、完善性维护和预防性维护。 系统实施阶段最后形成的文档包括:程序设计报告、系统测试报告和系统使用说明书。读者应该掌握文档的具体内容和编写要求。 7.10思考与实践-思考题 1. 简述系统实施阶段的工作任务和内容。 2. 画图描述系统实施阶段的工作步骤。 3. 程序设计的基本要求是什么? 4. 请说明系统测试与系统调试的区别。 5. 系统测试包括哪些步骤?每个阶段的任务分别是什么? 6. 请简述系统测试的常用方法。 7. 什么使系统切换?有哪些主要方式?它们各有什么特点? 8. 为什么要做系统维护工作?系统维护的内容包括哪些方面? 9. 系统维护有哪些类型?请说明每种方法的具体含义。 10.系统实施阶段最后形成的文档有哪些? * * * * * * * * * * * * * * * 软件测试与软件开发过程的关系 7.4.3 系统测试的方法 系统测试的常用方法有三种,分别为: 1.静态测试 2.动态测试 3.程序正确性证明 1.静态测试   以人工方式对程序进行分析和测试。静态测试法成效比较明显,可以查出30-70%的逻辑错误,成本低。它有下列三种方法: (1)个人复查 (2)走查 (3)会审 2.动态测试 动态测试是运用事先设计好的测试用例,有控制地运行程序,从多种角度观察程序运行时的行为,对比运行结果与预期结果的差别以发现错误。也就是说,动态测试是为了发现错误而执行程序。动态测试的方法有两种:白箱法和黑箱法。 ─ 黑盒法:穷举数据,检查所有数据经过处理后所的结果是否正确。选择有代表性的数据进行检查。 ─ 白盒法:覆盖路径,检查所有路径是否正确。选择主要路径,如选择、循环路径检查。  动态检查的两种方法 黑箱测试 不考虑系统内部结构而运行系统,以检查在一定的输入下,系统的输出是否与期望相同。 白箱测试 不仅要完成前者的内容,还要检查输入的数据是如何通过系统内部设定的结构,达到输出的。 A 黑箱测试 B 白箱测试 A 黑箱测试 B 白箱测试 3.程序正确性证明 程序正确性证明技术目前还处于初始阶段。 在使用这种测试技术时必须提供实现程序功能的严格数学模型,然后根据程序代码来确实能实现它的功能说明。 证明程序正确性,对于评价小程序可能有一些价值,但是在证明大型软件系统正确性时,不仅工作量巨大,而且在证明过程中很容易包含错误,因此是不实用的。 下面看一个例子: 四色猜想问题   1852年,刚从伦敦大学毕业的哥斯尼在给他的兄弟弗雷赘克的一封信中提出了这样的猜想:在一幅正规地图中。凡是有共同边界结的国家,都可以最多只用四种颜色着色,就能把这些国家区别开来。   弗雷赘克读了这封信后,就企图用数学品质方法来加证明。但是,他花了许多时间,仍是毫无头绪,他只好去请教他的教师摩尔根。但摩尔根也无法证明这个问题。同时也无法推翻,就把它交给了英国著名的数学家哈密顿。从此,这个问题在一些人中间传来似去,直到1865年哈密顿逝世为止,这个问题还没有得到解决。 于是该问题便以“四色猜想”的名字留在了近代数学史上。 1878年,著名的英国数学家凯来把“四色猜想”通报给伦敦的数学学会会员,征求解答。数学界顿时活跃起来,很多人挥戈上阵,企图试一试自己的能力。

您可能关注的文档

文档评论(0)

开心农场 + 关注
实名认证
文档贡献者

该用户很懒,什么也没介绍

1亿VIP精品文档

相关文档