静态测试-白盒.pptVIP

第四章 静态测试 本章教学目标： 掌握静态测试和动态测试的概念 掌握理解静态测试的基本内容和方法 正确理解静态测试的意义 静态测试与动态测试 1、静态测试 静态测试，英文是Static Testing。静态测试指测试不运行的部分，例如测试产品说明书，对此进行检查和审阅.。静态方法是指不运行被测程序本身，仅通过分析或检查源程序的文法、结构、过程、接口等来检查程序的正确性。静态方法通过程序静态特性的分析，找出欠缺和可疑之处，例如不匹配的参数、不适当的循环嵌套和分支嵌套、不允许的递归、未使用过的变量、空指针的引用和可疑的计算等。静态测试结果可用于进一步的查错，并为测试用例选取提供指导。 2、动态测试 动态方法的主要特征是： ——计算机必须真正运行被测试的程序，通过输入测试用例，对其运行情况即输入与输出的对应关系进行分析，以达到检测的目的。 静态测试 静态测试包括代码检查、静态结构分析、代码质量度量等。它可以由人工进行，充分发挥人的逻辑思维优势，也可以借助软件工具自动进行。静态测试常用工具有：Logiscope、PRQA； 静态测试方法也可利用计算机作为对被测程序进行特性分析的工具，但与人工测试方式有着根本区别。另一方面，因它并不真正运行被测程序，只进行特性分析，这又与动态方法不同。所以，静态方法常常称为“分析”，静态测试是对被测程序进行特性分析方法的总称。 1. 静态白盒测试 1. 静态白盒测试 静态测试：只不运行程序，而只是检查和审阅代码、文档等 白盒测试：指访问代码，能够查看和审查 1. 静态白盒测试 静态白盒测试是在不执行软件的条件下有条理地仔细审查软件设计、体系结构和代码，从而找出软件缺陷的过程，有时也称为结构化分析。 检查和审阅代码、文档需要有编程方面的专业检验 测试人员能了解编程所使用的语言最好。 静态白盒测试的好处 尽早发现软件缺陷，以找出动态黑盒测试难以发现和隔离的软件缺陷。在开发过程初期让测试小组集中精力进行软件设计的审查非常有价值。 为黑盒测试员在接受软件进行测试时设计和应用测试用例提供思路。 静态白盒测试所面临的主要问题 经常不做或不能善始善终 高层管理者可能会认为太花时间 错误认为检查代码没有生产率 Note: The tyranny of the LOC metric, Lines of executable code as a measure of productivity! 2. 正式审查（Formal Review） 正式审查(Formal Review)就是进行静态白盒测试的过程。 正式审查的含义很广，从两个程序员之家的简单交谈，到软件设计和代码的详细的、严格的检查都属于此过程。 正式审查的4个基本要素 确定问题：审查的目的是找出软件的问题-不仅是出错的项目，还包括遗漏的项目。要注意对事不对人。 遵守规则：要遵守一套固定的规则，规则可能设定要审查的代码量、花费多少时间、哪些内容要做评价等。 准备：每一个参与者都为审查做准备，并尽自己的力量。 编写报告：审查小组必须做出审查结果的书面总结报告，并使报告便于开发小组的成员使用。 进行正式审查要按照已经建立起来的过程执行。随意“聚在一起复查代码”是不够的，实际上还会造成危害。 如果审查正确地进行，则是早期发现软件缺陷的好方法。 正式审查的方法 检验 (Inspection) 同事审查 (Peer Review) 走查 (Walkthrough) 同事审查 (Peer Review) 也称同行评审（Peer to Peer Review）也就是同事之间你看我的，我看你的 从正式的程度上来讲，要求最低 尽管如此，所有的参与者要切实保证正式正式审查的4个关键要素 走查 (Walkthrough) 其正式程度介于检验和同行评审之间。 编写代码的程序员向5人小组或者其他程序员和测试员组成的小组做正式陈述。审查人员在审查之前接到软件拷贝，以便检查并编写备注和问题，在审查过程中提问。 审查之后，报告人要编写报告说明发现的问题及解决方案 检验 (Inspection) 最正式的审查类型 按照定义好的过程进行 代码审查应涵盖下列方面 业务逻辑的审查。主要审查是否是按照实现设计的规格说明书展开编程，逻辑是否正确且简单，思路是否清晰 算法的效率。无论是内存处理还是统计排序算法，或者SQL语句，都需要精心设计算法，确定最优化的方法 代码风格。代码的命名规则、注释行、嵌套次数、书写格式等直接影响了软件的可读性、可维护性和可靠性等方面的质量 编程规则。包括语句的完整性、数据定义的准确性、常量和变量的定义、函数调用、参数的使用、内存管理、逻辑表达式等。执行规则保证程序运行的正确性、准确性、性能、稳定性可可扩充性等。 3. 编码标准和规范 坚持编码标准和规范的