发布时间 : 星期六 文章管理信息系统测试更新完毕开始阅读ea5a2433a76e58fafab003ca
的代码。如果你都能看懂了，你还会做测试么？
6.3.2 软件测试步骤
一、软件测试的过程
系统测试是开发过程中一个独立而且非常重要的阶段，也是保证开发质量的重要手段之一。测试过程基本上与开发过程平行进行。在测试过程中，需要对整个测试过程进行有效的管理，保证测试的质量和效率。一个规范的测试过程通常包括以下基本的测试活动。
1. 制定测试计划
在制定测试计划时，需要充分考虑整个项目的开发时间和开发进度，以及一些人为因素和客观条件等，使得测试计划是可行的。测试计划的内容主要有：测试的内容、进度安排、测试所需的环境和条件、测试培训安排等。
2. 编制测试大纲
测试大纲是测试的依据，它明确详尽地规定了在测试中针对系统的每一项功能或特性所必须完成的基本测试项目和测试完成的标准。
3. 设计和生成测试用例
依据测试大纲设计和生成测试用例，产生测试设计说明文档，其主要内容有被测项目、输入数据、测试过程和预期输出结果等。
4. 实施测试
测试的实施阶段是由一系列的测试周期组成的。在每个测试周期中，测试人员和开发人员将依据预先编制好的测试大纲及准备好的测试用例，对被测系统或设备进行完整的测试。
5. 生成测试报告
测试完成后，要形成相应的测试报告。主要对测试进行概要说明，列出测试的结论，指出错误和缺陷。另外，给出一些建议。 二、软件测试的方法
对软件进行测试的主要方法有人工测试和机器测试。人工测试采用人工方法进行，目的在于检查程序的静态结构，找出编译不能发现的错误。经验表面，良好的人工测试可以发现程序中30%～70%的编码和逻辑设计错误，从而可以减少机器测试的负担。机器测试是将事先设计好的测试用例作用于被测试程序，对比测试结果和预期结果的差别以发现错误。机器测试只能发现错误的症状，不能进行问题定位，而人工测试一旦发现错误，就能确定问题
的位置、类型和性质。对于一些类型的错误，机器测试比人工测试有效，但对另一些类型的错误则人工测试更有效。因此，应根据实际情况来选择测试方法。
测试模型： 安装测试 应用需求 系统分析阶段 验收测试 高级测试 系统测试 逻辑结构设计 系统外部规范设计 程序结构设计 编写代码 功能测试 模块整体设置 系统设计阶段 模块测试 子模块测试 程序设计 调试代码
二、系统测试步骤
合理安排测试步骤对于提高测试效率、降低测试成本有很大的作用。管理信息系统的测试步骤是：分别按硬件系统、网络系统和软件系统进行测试，最后对整个系统进行总的综合测试。测试的步骤如下： （1）硬件测试
在开发建设管理信息系统时，通常需要根据项目情况选购硬件设备。在硬件设备采购到货后，应在各相关厂商的配合下进行初始验收测试，初验通过后，再将其与软件、网络等一起进行系统测试。初验测试所做的主要工作有一下几点。
1. 配置检测。检测是否按照合同提供了相应的配置，如系统软件、硬盘、内存、CPU等的
配置情况。
2. 硬件设备的外观检查。所有设备及配件开箱后外观有无明显的划痕和损伤，这些包括计
算机主机、工作站、磁带库、磁盘机柜和存储设备等。
3. 硬件测试。首先进行加电检测，查看运行状态是否正常，有无报警、屏幕有无乱码提示
和死机现象，以及是否能进入正常提示状态；然后进行操作检测，用一些常用的命令来检测机器是否能执行命令，执行结果是否正常，如文件复制、显示文件内容、建立目录等，最后检查是否提供了相关工具，如帮助系统、系统管理工具等。
通过以上测试，要求形成相应的硬件测试报告，报告中应包含测试步骤、测试过程和测试结论等。 （2）网络测试
如果开发的管理信息系统需要在局域网或广域网上运行，通常需要选购网络设备。在网络设备按合同到货后，应在各相关厂商的配合下进行初始验收测试，初验通过后，再将其与软件、网络等一起进行系统测试。初验测试所做的主要工作有一下几点。
1．网络设备的外观检查，所有设备及配件开箱后外观有无明显的划痕和损伤，这些包括交换机、路由器等。
2．硬件测试。对交换机、路由器等进行加电检测，观看运行状态是否正常，有无错误、有无报警等。
3.网络连通测试。检测网络是否连通，检测服务器和各工作站是否能通过网络设备建立正常连接。
通过以上测试，要求形成相应的网络测试报告，报告中应包含测试步骤、测试过程和测试结论等。 （3）软件测试
软件测试实际上分为4个步骤：单元测试、集成测试、确认测试和系统测试。如图所示：
模块 网络设备 图：管理信息系统测试过程
(a)单元测试。单元测试也称为模块测试。对源程序中的每个程序单元进行测试，以验证每个模块是否满足系统说明书的要求。一般情况下是编好一个程序模块就测试一个，通常采用白盒测试方法，再辅之以黑盒测试。
设计信息 模块 单元测试 模块 单元测试 单元测试 组装测试 已经测试过的模块 需求信息 已经集成的子系统 确认测试 确认后的硬件系统 已经确认的应用软件 用户信息 可以运行的系统 系统测试 硬件设备 初验 确认后的网络系统 初验
(b)集成测试。集成测试又称组装测试。是把模块按系统设计说明书的要求组装起来进行测试。集成测试的主要目标是发现与接口有关的问题，如数据通过接口时可能丢失，一个模块对另一个模块可能造成有害影响，将它们组合起来后可能不能实现预期的功能，全局数据结构会出现问题，误差累积到超过可接受的程度等。集成测试通常有两种方法：一种是非增量式集成测试，即先分别测试各个模块，再把这些模块组合起来进行整体测试；另一种是增量集成测试，即把下一个要测试的模块组合到已测试好的模块中，测试完后再将下一个需要测试的模块组合起来进行测试，逐步把所有的模块组合在一起，并完成测试。集成方式可采用自顶向下集成或自底向上集成。
(C)确认测试。确认测试是按照系统说明书中定义的全部功能和性能要求及确认测试计划，来测试整个软件系统是否达到了用户要求，确认测试首先要进行有效性测试及软件配置审查，然后进行验收测试和安装测试，经过管理部门的认可和专家的鉴定后，软件即可以交给用户使用。确认测试通常采用黑盒测试法。
(d)系统测试。系统测试是将已经确认的软件、计算机硬件、外设和网络等系统的各个部分连接到一起，对整个系统进行总的功能、性能等方面的测试。其目的是通过与系统的需求相比较，发现所开发的系统与用户需求不符或矛盾的地方。
6.3.4软件正确性证明
测试正确性证明是显示产品正确的一种数学技术。换句话说，产品满足规格说明。该技术有时称为验证，然而验证一次常用于表示所有的非执行测试技术，不只是正确性证明。为明确起见，将这个数学称为正确性证明，它是一个数学证明过程。
【例】为了明白如何证明正确性，考虑图a所示代码段。与代码等效的流程图（图b）所示。我们现在来证明该代码段是正确的。执行该代码之后，变量s的值等于数组y的n个元素的和。在图c中，在每个语句之前和之后，在标注字母A~H的地方，放置一个断言，也就是在每个拥有某个数字属性的地方做一个声明。我们需要做的是证明每个断言的正确性。