4.4.1程序测试.pptVIP

计算机应用基础 潍坊学院 计算机工程学院 主讲人：丁素英 1.模型的分类； 2.评价算法的基本标准； 3.算法设计的注意问题； 4.算法表达的方法； 5.三种控制结构； 6.程序设计风格。 4.4 程序的测试、调试与维护 4.4.1 程序测试 4.3.2 程序调试 4.3.3 程序维护 程序测试（program testing） 程序测试是指对一个完成了全部或部分功能、模块的计算机程序在正式使用前的检测，以确保该程序能按预定的方式正确地运行。 目前，软件的正确性尚未得到根本的解决，软件测试仍是发现软件错误和缺陷的主要手段。 为了发现系统中的错误，应竭力设计能暴露错误的测试用例。测试用例是有测试数据和预期结果构成的。一个好的测试用例是极有可能发现至今为止尚未发现的错误的测试用例。 高效的测试是指用少量的测试用例，发现被测软件尽可能多的错误。软件测试所追求的是以尽可能少的时间和人力发现软件产品尽可能多的错误。 对程序进行调试可用两种方法: 1.黑盒测试 黑盒测试根据关键需求说明书所规定的功能来设计测试用例，它不考虑软件的内部结构和处理算法。常用的黑盒测试技术包括等价类划分、边值分析、错误推测和因果图等。 从测试流程的角度看，软件测试可分为单元测试、集成测试和确认测试。 （1）单元测试 单元测试（unit testing），也称模块测试，通常可放在编程阶段，由程序员对自己编写的模块自行测试，检查模块是否实现了详细设计说明书中规定的功能和算法。单元测试主要发现编程和详细设计中产生的错误，单元测试计划应该在详细设计阶段制定。 （2）集成测试 集成测试（integration testing），也称组装测试，它是对由各模块组装而成的程序进行测试，主要目标是发现模块间的接口和通信问题。集成测试主要发现设计阶段产生的错误，集承测试计划应该在概要设计阶段制定。集成的方式可分为非渐增式和渐增式。 （3）确认测试 确认测试（validation testing），主要依据软件需求说明书检查软件的功能、性能及其他特征是否与用户的需求一致。确认测试计划应该在需求分析阶段制定。 2.白盒测试 白盒测试，又称结构测试。他的前提是可以把程序看成在一个透明的白盒子里，测试者完全知道程序的结构和处理算法。这种方法按照程序内部逻辑设计测试用例，检测程序中的主要执行通路是否能按照预定要求正确工作。 白盒测试根据软件的内部逻辑设计设施用例，常用的技术是逻辑覆盖，即考察用测试数据运行被测程序是对程序逻辑的覆盖程度。主要的覆盖标准有：语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、组合条件覆盖和路径覆盖。 4.4.1 程序测试 我们以解二元一次方程组的程序为例，说明黑盒调试法与白盒调试法是怎样选择测试数据的。 1.黑盒调试法 为了调试程序的各个功能，我们把输入的二元一次方程组的系数分为以下四类，每一类设计一个调试用例。 合理的系数： （1）方程组有唯一解：a1=1，b1=1，c1=1，a2=0，b2=1，c2=2。 （2）方程组无解：a1=1，b1=1，c1=1，a2=1，b2=1，c2=2。 （3）方程组有无穷解：a1=1，b1=1，c1=1，a2=2，b2=2，c2=2。 选择合理的输入数据是验证程序的功能、性能是否符合设计的要求。 不合理的系数： （4）输入的不全是数值：a1=“a”，b1=5，c1=0，a2=6，b2=8，c2=7。 选择不合理的输入数据是对程序可靠性的考验。 2.白盒调试法 为了让程序中的每个语句至少执行一次，使每个判断条件取一次真或取一次假，我们选择如下调试用例： d=0，s=“Y”： a1=1，b1=1，c1=1，a2=2，b2=2，c2=2。 d≠0，s=“N”： a1=1，b1=0，c1=1，a2=0，b2=1，c2=2。 这两个例子调试后，使得程序中的每个语句至少执行了一次，每个判断条件分别取了一次“真”和一次“假”。 4.4.1 程序测试 3.测试的步骤 测试工作要制定出测试规划，包括测试的步骤、范围、进度和所用的资源（硬件、软件）等。 测试工作先对每个模块进行测试，一般采用白盒测试法保证每个程序模块内部的正确性，然后再把测试后的模块组装在一起进行整体测试，主要测试各模块是否能正常配合工作，方法多采用黑盒测试法。 对模块的接口进行测试，适当辅以白盒测试法，以便对主要执行路径进行测试。 4.4.2 程序调试 程序调试，是将编制的程序投入实际运行前，用手工或编译程序等方法进行测试，修正语法错误和逻辑错误的过程。这是保证计算机信息系统正确性的必不可少的步骤。编完计算机程序，必须送入计算机中测试。 程序调试的步骤 （1）把编制的源程序按照一定的书写格式送到计算机中，编辑程序会根据使用人员的意图对源程序进行增加、删除