第5章 软件检验 计算机软件技术 知识基础教程 .pptVIP

5.1 动态检验 5.2 静态检验 5.3 正确性证明 5.4 测试步骤 ;第5章 软 件 检 验;图5.1 程序的输入变量与输出变量; 白盒法是指测试人员必须了解程序的内部结构，此时，测试用例是根据程序的内部逻辑结构来设计的。如果想用白盒法发现程序中的所有错误，则至少必须使程序中每种可能的执行路径都执行一次。 例如，图5.1是一个很简单的程序，它有两个输入变量x、y，一个输出变量z。假定程序是在字长为32位的计算机上运行，且x、y都是整数，则输入数据的可能值有232×232＝264种。 如果这个程序执行一次需0.5 ms，则执行264次运算将需2.9亿年! 图5.2是一个小程序控制流程图。这个程序由一个循环语句组成，循环次数达20 次，循环体内是一组嵌套的IF语句，其可能的路径有多条，所以从A到B的路径多达520条。 ;图5.2 程序控制流程图 ;图5.3 评审模式; 由于评审的目的是发现错误，为了获得较好的效果，评审应由开发人员之外的人来主持，开发人员与评审人员相互独立是保证评审质量的重要措施之一。评审人员应在软件开发技术和检验技术方面受过良好的训练，有丰富的软件开发经验。 程序走查(Code Walkthrough)是另一种有效的评审活动。走查的关键在于：以人工运行作为媒介，通过这种方式启发与会者向程序员提出种种问题，从而发现程序中的错误。 2.评审条款 评审的目的是尽量快、尽量多地发现错误，所以一般的做法是将软件中常见的各类错误列成清单作为评审条款。评审过程中按评审条款有针对性地进行检查，就可达到多、快、好、省的目的。 评审条款随系统的不同可有所不同，可根据软件系统的性质和复查专家的经验来设定。; 5.3 正?确?性?证?明;5.4 测 试 步 骤; 模块测试是对一个模块进行测试，其目的是根据该模块的功能说明检验模块是否存在错误。模块测试主要可发现详细设计和编程时犯下的错误，如某个变量未赋值、数组的上下界不正确等。 程序员在完成某个模块的编程之后，一般总是要先对该模块进行私下的测试，此时，可以先用白盒法选择一些例子检验程序的内部逻辑，再用黑盒??补充一些例子。程序员本人经私下测试后认为程序基本可行，才会将程序交付出来。程序交付出来之后，由其他人员以黑盒法为主再次对该模块进行测试。 联合测试又称集成测试或联调，其目的是根据模块结构图将各个模块连接起来进行，以便发现问题。联合测试可以发现概要设计时犯的错误，如模块界面上的问题等。与后面的系统测试一样，联合测试的主要目标已不是发现模块内部的错误，所以通常只采用黑盒法。;图5.4 软件开发过程; 系统测试将硬件、软件和操作人员等视为一个整体，检验它是否有不符合需求说明书的地方，这一步可以发现设计和分析阶段的错误，如误解了用户的要求，与用户要求有冲突等。系统测试后就可由用户来验收。 测试中如发现错误，需要回到编程、设计、分析等阶段作相应的修改，也就是说，需要进行“再编程”、“再设计”和“再分析”，其过程可用图5.4的示意图表示。 从上述三步的测试过程可以看出：最早犯下的错误最迟才能发现，如分析阶段的错误一直要到验收才能发现。在大多数情况下，纠正这类错误需要对系统作较大的改动，其代价往往也是最大的。这正好说明了需求分析阶段结束时的需求复查和设计阶段结束时的设计复查是多么重要！