06白盒测试开题报告.pptVIP

软件测试技术基础 汪峰坤 第4章 白盒测试技术 本课要点： 了解白盒测试技术。 了解白盒测试用例设计方法之程序插桩法 了解白盒测试用例设计方法之断言语句法 了解白盒测试用例设计方法之逻辑覆盖法 白盒测试也称为结构测试或逻辑驱动测试，前提是知道产品内部工作过程，可通过测试来检测产品内部动作是否按照规格说明书的规定正常进行，按照程序内部的结构测试程序，检验程序中的每条通路是否都能够按预定要求正确工作，而不管产品的功能，主要用于软件验证。 白盒测试方法又可分为静态测试和动态测试。 静态测试是一种不通过执行程序而进行测试的技术，其关键功能是检查软件的表示和描述是否一致，没有冲突或者没有歧义。它主要是纠正软件系统在描述、表示和规格上的错误，是任何进一步测试的前提。 动态测试需要软件的执行，当软件系统在模拟的或真实的环境中执行之前、之中和之后，对软件系统行为的分析是动态测试的主要特点。它显示了一个系统在检查状态下是正确还是不正确。 白盒测试的动态测试要根据程序的控制结构设计测试用例，其原则是： （1）保证一个模块中的所有独立路径至少被使用一次； （2）对所有逻辑值均需测试true和false； （3）在上下边界及可操作范围内运行所有循环； （4）检查内部数据结构以确保其有效性。 程序插桩法 在软件动态测试中，程序插桩是一种基本的测试手段，有