软件质量和可靠性保证-no5静态测试

缺陷预防——引入缺陷减少——通过故障检测和排除减少缺缺陷遏制——2软件测试课程安软件测试(上)：静态测软件测试(下)：动态测3目了解软件测试的基本概念及分掌握人 的过了解文 、代 的内掌握静态结构分4内软件测试概(人工 概文代静态分代 课堂实56 条，在国内测试也带软件测试的作用：发现错 软件开发与测试的关系用户需 产系统需

系统验系统需求说 系测测试

分

测测试数评 软件需求说 配置 评测测试数

概要设

部件集

评 概要设计文 部 评测测试数

单元集

测测试数评 详细设计文 单 评评

测编测试数

测测试数评软件测试贯穿与开发的整个过 功能性测效率测功能性测效率测可靠性测易用性测 性测可移植性测根据软件质特需求/设计审单元测部件测配置项测系统测根据开发阶静态测动态测根据是否运软信白盒测黑盒测开发阶质量特文单元测静态分代系统测后 概的基本 评审(PeerReview)是一种通过作者的 的过程简单地说，的过程包括两部分：会前事先阅读材料、会中集中讨论。更详细地说，的过程包括计划、 议、准备、会议审查、修改缺陷、回归。计

的过程 制定的计划议准 要预先对被的产品进行个人的 会

的过程以会议的形式组织，在会议上产品制作者逐一介绍产品内容。在介绍过程中，小组的其他成员进行提问，修改缺 行修改回 正确的，并且没有因为修改而引入其他的错，都遵循以上过无论是，都遵循以上过工作的一个重要特 过程对照检查进，检查表是过去经验的结，是 活动的 技。人 的类文代3文文 的内容文档的完整 文 的内容文档的一致检 文 的内容文档的准确文 的检查检查表是文档 中个常要环，正的文档 之前就该据档型和 的将一次 的主要查罗在查以作文档 的依据分别给出了软件文档共性题检查表软件配管理计划问题查表。需求避错准则需求避错准须全 …设计避错准则设计避错准模块化设计模块 和单出口设模块功能应该可以预模块规模应该适深度、宽度、扇降低模块接口的复杂程限制程序圈复杂在数据模块接口并建立检测判据检测须要进行异常情况设确定实现软件容安全关键信息不4代代性等方面。代 的检查表内容数 是否所有变量都 数组变量是否赋予了正确的长度、类型 类 是否代 的检查表内容比较运算是否存在代 的检查表内容是否每个 是否存在“仅差一输出信息代 的检查表内容OPENI/O语句文件在使文件在使是否处理了I/O错误代 的检查表内容接口形参的数量是否形参的属性与实形参的量纲是否代 的检查表内容 是 了与当 点无关的形参是否改变了某个全局变量的定义常数是否以实参形式传递过代 的检查表内容其他 属性列表是否与是否存在警告或提示信息是否对输入 进行了检查是否遗漏了某个功编码避讲义P84--if、for、do、while、case、switch、default等语句自占一行，且iffor、do、while等语句的执行语句部分无论多少都要加括号程 必须有正确的文数据说明应便于语句应该尽量简单清头文件结构编码避错准顺序结构内存IF语句SWITCH语句循环语句函数5静态分静态分析包括的内容静态分析 ysis)一般包括静态分析包括的内容静态结构一般以图形的方式表示程序的结构。例静态分析包括的内容质量度量等进行统计，或者通过Halstead科学静态分析包括的内容代码问题，包括变量检查、命名和类型、程序逻辑、程序语法检查和程序结构静态结构分析-点和判断，忽略了程序过12341234{}{ifthenifthen

控制流分析的内转向并不存在的没有使用的语句标号没有使用的子程序定义调用并不存在的子程从程 进入后无法达到的语句死循环语结构化编程验不可达代码检供静态分析的代码，不要求已经通过编译

行就是死循环语 下图分别画出了典型的结构化编程结构和典型的结构化12312 (2)If (3)Ifthen12312332123 (5)Whiledo 2123典型的非结构化编程结Abnormal 2)Loopwithmultipleexit 3) Loopwithmultipleentrypoints

Parallel 复杂度叫做基本圈复杂度(EsselCycom。完全结构化的程序，其基本圈复杂度为1 108V(G)=10-8+

1814V(G)=18-14+2=2ProperEV(G)=6-2=K1圈是一个典型的“ifthenelse”结构化编程结构。因此可以简化成一个节个节点经过简化后，控制流G编程控制流图G’。G’中没有典型的结构化编程结构G’的圈复杂度是4，基本圈复杂度也是4静态结构分析- 则称定义x=y+。 变量X。如s=2*(+46)、if(x>100)、 数据流分voidproc{intx=x=if(y>x=/*endifz=x+

定义，属于DD 静态结构分析-程序的接口分析包括检查形参与实参的一致性静态结构分析-表达式分析主要程序中括号的使用不正数 错作为除数的变量可能为作为开平方的变量可能为作为正切值的变量可能为浮点数变量比较静态分析-常见的质量度量圈复杂圈复杂度一般有三种方2）V(G)=Edge数-扇入/ABCDEFGHABCDEFGHI扇入/在扇入/扇出过大会增加程序结构宽度扇出过小会增加程序结构深度扇出过大增加过程或函数复杂性(需控制的模块过多)扇出数最好控制在3-4，最高不超过6-7程序中注释行对提高代码性非常有帮助，同时也是度量程序代码可读性与可性的一个重头注释执行行注释，是 注释，是现在程序中变量或函数区域的注6代 实对给定的一段代码进行代依据、参考代 个小组讨会总

10分10分15分要 简单地说，的过程包括两部分：会前事先阅读材料、会中集中讨论。更详细地说，的过程包括计划、启动会议、准备、会议、回归。 文 主要对文档的完整性、准确性、一致性等方面进 要“nor