软测测试基础静态

1、测试基础 该方法是指在不真正运行被测试程序的情况下检查程序的运行情况，只对被测对象(设计或代码)进行特性分析。因此，常称为“分析”，静态分析是对被测对象进行特性分析的一些方法的总称。主要特征不动态运行程序；充分发挥人的思维优势；易开展，不需特别条件，但可能非常耗时；对测试要求较高，要有编程经验，需要有知识和经验的积累，能发现问题本身而非征兆。3测试基础 为什么要因的复杂性，可能导致结构不够合理、，代码编写运行出错，不够规范，不便。存在一些不易察觉的错等，使内容主要包括：各阶段的文档评审、代码检查、代码度量等。可由人工进行，也可借助工具自动进行。可以做静态分析的工具很多，出名的有LOGICSCO

2、PE，C+ TEST，LDRA TESTBED，PRQA C/C+，MACABE IQ，以及Rational的Purify、 PureCoverage等fy和4测试基础 概述 评审 代码检查5评审评审是对所有人工静态分析和具体文档检查技术的通称。评审对象：开发项目中所有文档及项目外有价值的文档。如：合同、需求定义、设计规格说明、程序代码、测试计划和手册等。评审是一种保证质量的方法评审的积极作用可降低消除缺陷的成本可缩短开发时间可减少动态测试时间和成本可减少系统安装后的变更申请降低系统运行故障率6检查团对活动，改进团队成员的工作方法评审潜在注意不要使作者感到严格检查是针对他人而非他提交的文档。评

3、审的成本和收益的10%15%,包括评审过程评审的成本大概占整个开发、评审分析和过程改进的工作量。估计节约的成本约为 14%25%。（参见：Bush M. “Software Quality:The use of formal inspections at the Jet Propul Laboratory”，Proceedings of the 12th ICSE,IEEE 1990,pp 196-199.）如评审有效，应能发现70%以上的文档缺陷。（参见：Gilb， T.，Graham,D.；Software Inspections，Addison- wesley,1996）7（IEEE 1

4、028建议）能促使评审成功的每次评审都事先定于一个明确的目标；根据每个人的知识和技能水平选择合适的评审参与者。8通用评审过程（参考：IEEE 1028）评审活动分6个步骤：计划、概述、准备、检查（评审会议）、返工和计划。要评审的文档；评审技术；估算评审工作量；评审检查点；组建评审团队；确保文档处于一个可评审状态；会议的时间和地点（概述（开工会）的话）等。为参加评审的人提供所有必需信息。准备评审人必须各自为评审会议做准备。9检查（评审会议）会议应有。目的除了发现缺陷外，还包括判断评审对象是否满足需求以及是否符合标准。评审会议的一些通用准则：1）评审会议的时间限制在2小时内；2）评审人缺席或准备不

5、充分，取消或中止会议；3）检查对象是被提交的文档，而非作者；评审人必须注意他们的言语及表达方式作者不应为自己或文档辩护4）不应同时作为评审人；10检查（评审会议）（续）5）不常见的风格问题（方针之外）；6）开发方案和对应的不是评审团队的任务；7）每个评审必须有机会充分表达他们的论点；会议纪要必须完整表达评审人的意见；问题不应以命令的形式写给作者；问题必须划分为不同的权重：严重缺陷、重要缺陷、一般缺陷、好的；评审团队应对评审对象给出最后意见：接受（无需修改）有条件接受（需修改，但不需进一步评审）不接受（需进一步评审或其他的检查）11检查（评审会议）（续）12）要有会议纪要及总结包括会议中返工或发

6、现问题的列表，评审总结等。经理决定接受评审团队意见修正缺陷，或选择另外的方法（经理必须对此全权负责）专人缺陷的修改。12评审角色和职责经理确保文档、必需的资源可用，同时选择评审人；经理不一定得是管理层（导致大家“人心”）管理评审有关的工作：计划、准备它的目标，收集评审数据、发布评审作者文档的创建者，如为多人，应是主要评审有序进行且满足等。针对文档看作是对其人的批评，作者必须明白评审只是用来帮助改进产品。(接下页)13角色和职责评审人通常最多5个。他们应能识别并描审对象中存在。为保证有效的覆盖率，可给评审人分配制定的评审员。所有的发现：问题、采取的措施、决定和建议等。文字应简短和准确。最好由文档

7、作者来担当。14评审失败的可能原因：需要的人没空或不具备必须的资格和技术技能。管理层在资源计划时确的估计准备文档。缺少管理层支持(在下述文献中详细描述了解决这些问题的方法： Freedman,D.P.,Weinberg,G.M.:Handbook of Walkthroughs,Inspections,and Technical Reviews:Evaluating Programs,Projects,and Products,3rd ed.,Dorset House,1990)15测试基础 概述 评审 代码检查16代码检查主要检查代码和设计的一致性，代码对标准的遵循、可读性，代码的逻辑表达的

8、正确性，代码结构的合理性等方面；以期发现违背编程标准或编程风格问题，程序中不安全、不明确和模糊部分，程序中不可移植部分等。代码检查在编译和动态测试前进行，在检查前，应准备好需求描述文档、程序设计文档、程序的源代码代码缺陷检查表等。、代码编码标准和代码检查包括：桌面检查、代码、代码走查等。17 桌面检查（Desk Checking）由程序员自查。程序员在程序通过编译之后，进行单元测试设计之前，对源程序代码进行分析，检验，并补充相关文档。检查项目有：检查变量的交叉表重点是未说明的变量和了类型规定的变量；逐个检查变量的、变量的使用序列；临时变量在某条路径上的重写情况；局部变量、全局变量与变量的使用；

9、18-桌面检查检查标号的交叉表检查验证所有标号的正确性：命名是否正确；转向指定位置的标号是否正确。检查子程序、宏、函数验证每次调用与被调用位置是否正确；被调用的子程序、宏、函数是否存在；检验调用序列中调用方式与参数顺序、个数、类型上的一致性。等值性检查检查全部等价变量的类型的一致性，解释所包含的类型差异。19常量检查确认每个常量的取值和数制、数据类型；检查常量每次标准检查同它的取值、数制和类型的一致性；检查标准。比较控制流比较由程序员设计的控制流图和由实际程序生成的控制流图，寻找和解释每个差异，修改文档和校正错误。20选择、激活路径在程序员设计的控制流图上选择路径，再到实际的控制流图上激活这条

10、路径。如果选择的路径在实际控制流图上不能激活，则源程序可能有错。用这种方法激活的路径集合应保证源程序模块的每行代码都被检查，即桌前检查应至少是语句覆盖。风格检查检查在程序设计风格方面发现。对照程序的规格说明，详细阅读源代码程序员对照程序的规格说明书、规定的算法和程序设计语言的语则，仔细地阅读源代码，逐字逐句进行分析和思考，比较实际的代码和期望的代码，从它们的差异中发现程序和错误。21补充文档桌前检查的文档是一种过渡性的文档，不是公开的正式文档。通过编写文档，也是对程序的一种下意识的检查和测试，可以帮助程序员发现和抓住的错误。这种桌前检查，由于程序员熟悉自己的程序和自身的程序设计风格，可以节省很

11、多的检查时间，但应避免片面性。22（Code Reading Review）是由若干程序员和测试员组成一个会审小组，通过阅读、 代码代码和争议，对程序进行静态分析的过程。 代码分两步：第一步，小组提前把设计规格说明书、控制流程图、程序文本及有关要求、规范等分发给小组成员，作为评审的依据。小组成员在充分阅读这些材料之后，进入二步。的第第二步：召开程序会。在会上，首先由程序员逐句讲解程序的逻辑。在此过程中，程序员或其他小组成员可以提出问题，展开，错误是否存在。实践表明，程序员在讲解过程中能发现许多原来自己没有发现的错误，而讨论和争议则促进了问题的。23在会前，应当给会审小组每个成员准备一份常见错误

12、的，把以往所有可能发生的常见错误罗列出来，供与会者对照检查，以提高会审的实效。这个常见错误也叫做检查表，它把程序中可能发生的各种错误进行分类，对每一类列举出尽可能多的典型错误，然后把它们制成表格，供在会审时使用。下面列出了代码检查应查找241.2.3.4.5.6.7.8.9.10.11.源代码格式：是否符合编程标准或规范？程序语句的使用数据数据计算错误比较错误接口错误错误错误控制流程错误输入输出错误逻辑和性能性和可靠性25 走查（Walkthroughs）走查与代码会审基本相同，其过程分为两步。第一步也把材料先发给走查小组每个成员，让他们认真研究程序，然后再开会。开会的程序与代码会审不同，不是简单地读程序和对照错误检查表