第三章-静态测试课件

第三章静态测试1第三章静态测试静态测试概述产品说明书检查检查代码静态结构分析代码质量度量2§3.1静态测试概述什么是静态测试？静态测试是指不实际运行软件，主要是对软件的编程格式、结构等方面进行评估。静态测试包括代码检查、静态结构分析、代码质量度量等。它可以由人工进行，也可以借助软件工具自动进行。静态测试方法也可利用计算机作为对被测程序进行特性分析的工具，但与人工测试方式有着根本区别。另一方面，因它并不真正运行被测程序，只进行特性分析，这又与动态方法不同。所以，静态方法常常称为“分析”，静态测试是对被测程序进行特性分析方法的总称。3静态测试阶段的任务：（1）检查算法的逻辑正确性。（2）检查模块接口的正确性。（3）检查输入参数是否有合法性检查。（4）检查调用其他模块的接口是否正确。（5）检查是否设置了适当的出错处理。（6）检查表达式、语句是否正确，是否含有二义性。（7）检查常量或全局变量使用是否正确。（8）检查标识符的使用是否规范、一致。（9）检查程序风格的一致性、规范性。（10）检查代码是否可以优化，算法效率是否最高。（11）检查代码注释是否完整，是否正确反映了代码的功能。4§3.2产品说明书检查什么是产品说明书？为什么要检查产品说明书？检查产品说明书的基本原则是什么？怎样检查产品说明书？53.2.1什么是产品说明书？产品说明书：是对产品的介绍和说明，包括产品的外观、性能、功能、参数、使用方法、操作指南、注意事项等。在规范的软件生成的流程中，产品说明书应在用户需求评审会议召开后，进行系统的概要设计前确定。63.2.2为什么要检查产品说明书？对测试人员而言，他的任务就是“尽早”找出软件缺陷，而很多软件的缺陷都是因为产品功能说明书不够全面，经常更改造成的；只有详细的阅读了产品功能说明书，确认产品需要实现的功能，才能拟定切实可行的测试方案；73.2.3检查产品说明书的基本原则

是什么？测试产品说明书时第一步不是钻进去查找缺陷，而是站在一个高度上进行审查，审查产品说明书是为了检查出根本性的问题、疏忽和遗漏之处。83.2.4怎样检查产品说明书？首先，假设自己是客户，从客户的角度来看待和使用软件，这就要求测试员对相关行业有一定的认识。9其次，研究现有标准和规范，以此来进行审查。这些标准和规范有公司惯用语和约定、行业要求、政府标准、安全标准等。软件测试人员的任务不是定义软件要符合何种标准和规范，我们应该做的是观察，“检查”是否套用了正确的标准，有无遗漏。

10另外，还应审查和测试同类软件，这有助于设计测试条件和测试方法。还可能暴露出一些没有想到的潜在问题。在审查竞争产品时应注意：软件规模软件的复杂性软件的可测试性软件的质量/可靠性113.3检查代码代码检查是一种对程序代码进行的静态检查。传统的代码检查是通过人工阅读代码的方式，检查软件设计的正确性；用人脑模拟程序在计算机中的运行，仔细推敲、校验和核实程序每一步的执行结果，进而判断其执行逻辑、控制模型、算法和使用参数与数据的正确性。在实践中，代码检查比动态测试更有效率，能找到更多的缺陷，通常能发现30%～70%的逻辑设计和编码缺陷。

123.3.1代码检查的内容代码检查包括桌面检查、代码走查和代码审查等方式，主要检查代码和设计的一致性，代码对标准地遵循、可读性，代码逻辑表达的正确性，代码结构的合理性等方面；发现违背程序编写标准的问题，程序中不安全、不明确和模糊的部分，找出程序中不可移植部分、违背程序编程风格的问题，包括变量检查、命名和类型检查、程序逻辑检查、程序语法检查和程序结构检查等内容。

13桌面检查桌面检查是由单人阅读程序，对照错误列表检查程序，使用测试数据对程序进行推演。参与人员：编写该程序的程序员OR其他非编写该程序的程序员OR专业测试人员14代码走查代码走查是采用持续一至两个小时的不间断会议的形式，以小组为单位进行代码阅读。参与人员：一位经验丰富的程序员&一位程序设计语言专家& 一位初级程序员&将要负责程序维护的人员&一位其他项目的人员&一位来自该软件编程小组的程序员15在走查会议前把材料交给参与者，准备书面测试用例在会议期间，使用事先设计好的测试数据沿程序的逻辑结构走一遍，并随时记录程序运行的状态，以供监视。16代码审查代码审查是由一组人通过阅读、讨论和争议对程序进行静态分析的过程，以小组会的方式进行。参与人员：编写该程序的程序员&其他非编写该程序的程序员&代码检查人员17会前需要把设计规格说明书、控制流程图、程序文本以及要求、规范、错误检查清单交给与会者开会期间由程序作者朗读解释程序，其他人则集中精力，捕捉程序在结构、功能、编码风格等方面的问题。

183.3.3代码检查过程图3-1代码检查过程示意图19正式审查的4个基本要素：确定问题遵守规则准备编写报告203.3.4编码标准和规范为什么要遵守编码标准和规范？遵守标准/规范可以帮助避免代码缺陷。可靠性可读性/维护性可移植性C语言java语言213.3.5代码审查清单通用代码审查清单：数据引用错误；数据声明错误；计算错误；比较错误；控制流程错误；子程序参数错误；输入/输出错误；其他检查。22数据引用错误是否引用了未初始化的变量？数组和字符串的下标是整数值吗？是否在应该使用常量的地方使用了变量？变量是否被赋予不同类型的值？为引用的指针分配内存了吗？一个数据结构是否在多个函数或者子程序中引用，在每一个引用中明确定义结构了吗？23数据声明错误所有变量都赋予正确的长度和类型了吗？变量是否在声明的同时进行了初始化？存在声明过、但从未引用或者只引用过一次的变量吗？在特定模块中所有变量都显示声明了吗？24计算错误计算中是否使用了不同数据类型的变量？计算中是否了解和考虑到编译器对类型或长度不一致的变量的转换规则？在数值计算过程中是否可能出现溢出？除数/模是否可能为零？变量的值是否超过有意义的范围？对于包含多个操作数的表达式，求值的次序是否混乱，运算优先级对吗？25比较错误比较的正确吗？存在分数或者浮点值之间的比较吗？如果有，精确问题会影响比较吗？每一个逻辑表达式都正确表达了吗？逻辑计算如期进行了吗？求值次序有疑问吗？逻辑表达式的操作是逻辑值吗？26控制流程错误如果程序包含begin…end和do…while等语句组，end是否对应？程序、模块、子程序和循环能否终止？可能存在永远不停的循环吗？循环可能从不执行吗？27子程序参数错误子程序接受的参数类型和大小与调用代码发送的匹配吗？如果子程序有多个入口点，引用的参数是否与当前入口点没有关联？常量是否当作形参传递，意外在子程序中改动？28输入/输出错误软件是否严格遵守外部设备读写数据的专用格式？文件或者外部不存在或者未准备好的错误情况有处理吗？软件是否处理外部设备未连接、不可用，或者读写过程中存储空间占满等情况？29其他检查软件是否使用其他外语？是否处理扩展ASCⅡ字符？是否需要用统一编码取代ASCⅡ?软件是否要移植到其他编译器和CPU，具有这样做的许可吗？是否考虑了兼容性，以使软件能够运行于不同数量的可用内存，不同的内部硬件。程序编译是否产生“警告”或者“提示”信息？30关于“大小端”的问题#include<stdio.h>

intIsLittleEndian()

{

unsignedintusData=0x12345678;

unsignedchar*pucData=(unsignedchar*)&usData;

if(*pucData==0x78)

return1;

else

return0;

}

intmain(void)

{

if(IsLittleEndian())

printf("islittleendian!\n");

else

printf("isbigendian!\n");

return0;

}

31数据流分析如果程序中某一语句执行时能改变某程序变量V的值，则称V是被该语句定义的。如果一语句执行引用了内存中变量V的值，则说该语句引用变量V。例：X=Y+Zif(y>z)do……定义了X,引用了Y和Z只引用了Y和Z32节点被定义变量被引用变量1X,Y,Z2XW,X3X,Y4Y,Z5YV,Y6ZV,Z7VX8WY9ZV10ZZ11Z该程序包括两个错误：①语句2使用了变量W，但在此之前并未对它进行定义②语句5，6使用了变量V，但在执行循环前也未对其定义该程序包括一个异常：①语句8对w的定义从未使用过333.4静态结构分析静态结构分析主要是以图形的方式表现程序的内部结构。例如函数调用关系图、函数内部控制流图。其中：

——函数调用关系图以直观的图形方式描述一个应用程序中各个函数的调用和被调用关系；

——控制流图显示一个