白盒测试工具ppt

1、白盒测试工具阿俊_出品前言白盒测试也称结构测试或逻辑驱动测试，它是按照白盒测试也称结构测试或逻辑驱动测试，它是按照程序内部的结构测试程序，通过测试来检测产品内程序内部的结构测试程序，通过测试来检测产品内部动作是否按照设计规格说明书的规定正常进行，部动作是否按照设计规格说明书的规定正常进行，检验程序中的每条通路是否都能按预定要求正确工检验程序中的每条通路是否都能按预定要求正确工作。作。 这一方法是把测试对象看作一个打开的盒子，这一方法是把测试对象看作一个打开的盒子，测试人员依据程序内部逻辑结构相关信息，设计或测试人员依据程序内部逻辑结构相关信息，设计或选择测试用例，对程序所有逻辑路径进行测试，通

2、选择测试用例，对程序所有逻辑路径进行测试，通过在不同点检查程序的状态，确定实际的状态是否过在不同点检查程序的状态，确定实际的状态是否与预期的状态一致。与预期的状态一致。白盒测试特点：白盒测试特点：1.依据软件设计说明书进行测试依据软件设计说明书进行测试2.对程序内部细节的严密检查对程序内部细节的严密检查 3.针对特定条件设计针对特定条件设计测试用例测试用例 4.对软件的逻辑路径进行覆盖对软件的逻辑路径进行覆盖测试测试白盒测试工具目前不下白盒测试工具目前不下20种种 但是常用的但是常用的56种，种，IBMIBM一家就有至少一家就有至少5 5种种 还收购了好多其他公司的产还收购了好多其他公司的产品

3、品, ,后面会有所介绍。后面会有所介绍。简介软件测试工具，对于软件测试技术的应用和软件项软件测试工具，对于软件测试技术的应用和软件项目实施过程几乎是完全离不开的，软件测试工具对目实施过程几乎是完全离不开的，软件测试工具对于实际测试工作的作用和重要性也毋庸置疑。随着于实际测试工作的作用和重要性也毋庸置疑。随着软件自动化测试技术的不断发展，测试工具与软件软件自动化测试技术的不断发展，测试工具与软件测试紧密结合，软件业界测试紧密结合，软件业界90%以上的企业在研发、以上的企业在研发、测试及质量管理的过程中都使用了测试工具。因此，测试及质量管理的过程中都使用了测试工具。因此，学习、认识、掌握和运用各类

4、测试工具，已成为软学习、认识、掌握和运用各类测试工具，已成为软件测试人员的必备专业技能。件测试人员的必备专业技能。白盒测试工具是对源代码进行的测试，测试的主要白盒测试工具是对源代码进行的测试，测试的主要内容包括词法分析与语法分析、静态错误分析、动内容包括词法分析与语法分析、静态错误分析、动态检测等。但是对于不同的开发语言，测试工具实态检测等。但是对于不同的开发语言，测试工具实现的方式和内容差别是较大的。目前测试工具主要现的方式和内容差别是较大的。目前测试工具主要支持的开发语言包括：标准支持的开发语言包括：标准C、C+、Visual C+、Java、Visual J+等。等。根据测试工具原理不同

5、划分静态测试工具在不执行程序的情况下分析软件特性。本类工具主要集中在软件需求文档、设计文档以及程序结构方面，可以进行类型分析、接口分析、输入/输出规格说明分析，等等。 动态测试工具直接执行被测程序已提供测试活动。本类工具是功能确认、接口测试、覆盖率测试、性能分析、内存分析等静态测试工具1PC-Lint 2rational purify3Logiscope PC-Lint 简介简介是一个历史悠久，功能异常强劲的静态是一个历史悠久，功能异常强劲的静态代码检测工具。经过这么多年的发展，代码检测工具。经过这么多年的发展，它不但能够监测出许多语法逻辑上的隐它不但能够监测出许多语法逻辑上的隐患，而且也能够

6、有效地帮你提出许多程患，而且也能够有效地帮你提出许多程序在空间利用、运行效率上的改进点，序在空间利用、运行效率上的改进点，在很多专业级的软件公司，比如在很多专业级的软件公司，比如MicrosoftMicrosoft， PC-LintPC-Lint检查无错误无警检查无错误无警告是代码首先要过的第一关，对于小公告是代码首先要过的第一关，对于小公司和个人开发而言，司和个人开发而言，PC-LintPC-Lint也非常重也非常重要，因为基于开发成本考虑，小公司和要，因为基于开发成本考虑，小公司和个人往往不能拿出很多很全面的测试，个人往往不能拿出很多很全面的测试，这时候，这时候，PC-LintPC-Lin

7、t的强劲功能可以很好的强劲功能可以很好地提高软件的质量。地提高软件的质量。特点特点PCLintPCLint识别并报告识别并报告C C语言中的编程语言中的编程陷阱和格式缺陷的发生。它进行程陷阱和格式缺陷的发生。它进行程序的全局分析，能识别没有被适当序的全局分析，能识别没有被适当检验的数组下标，报告未被初始化检验的数组下标，报告未被初始化的变量，警告使用空指针，冗余的的变量，警告使用空指针，冗余的代码，等等。软件除错是软件项目代码，等等。软件除错是软件项目开发成本和延误的主要因素。开发成本和延误的主要因素。PClintPClint能够帮你在程序动态测试之能够帮你在程序动态测试之前发现编码错误。这样

8、消除错误的前发现编码错误。这样消除错误的成本更低。成本更低。价格价格正版正版软件要正版正版软件要200200多多$ $网上也可以找到免费的网上也可以找到免费的rational purify简介简介自动化测试工具自动化测试工具Rational PurifyRational Purify是是Rational PurifyPlusRational PurifyPlus工具中的一种。工具中的一种。PurifyPurify是一个面向是一个面向VC, VBVC, VB或者或者JavaJava开发开发的测试的测试Visual C/C+ Visual C/C+ 和和Java Java 代码中与代码中与内存有关

9、的错误，确保整个应用程序的内存有关的错误，确保整个应用程序的质量和可靠性。在查找典型的质量和可靠性。在查找典型的Visual Visual C/C+ C/C+ 程序中的传统内存访问错误，以程序中的传统内存访问错误，以及及Java Java 代码中与垃圾内存收集相关的代码中与垃圾内存收集相关的错误方面，错误方面，Rational Purify Rational Purify 可以大显可以大显身手。身手。Rational RobotRational Robot的回归测试与的回归测试与Rational PurifyRational Purify结合使用完成可靠性结合使用完成可靠性测试。测试。特点特点

10、使用使用Rational Purify Rational Purify 特有特有PowerCheck PowerCheck 功能，可以按模块逐个调整所需的检查功能，可以按模块逐个调整所需的检查级别。这样您就可以把精力集中在最重级别。这样您就可以把精力集中在最重要的代码上。简单选择要的代码上。简单选择“最小最小”或或“准准确确”即可。即可。“最小最小”检查可以快速查出检查可以快速查出常见的运行写入错误和常见的运行写入错误和Windows API Windows API 错错误；对于关键模块，误；对于关键模块，“准确准确” ” 检查将检查将用行业强度检查来查找内存访问错误；用行业强度检查来查找内存

11、访问错误；这样您就可以确定调试的优先级并更有这样您就可以确定调试的优先级并更有效地工作。使用效地工作。使用PowerCheckPowerCheck，对每个代，对每个代码模块指定码模块指定“最小最小”或或“准确准确” ” 的错的错误检查。误检查。价格价格正版十分昂贵正版十分昂贵网上也有免费的网上也有免费的Logiscope 简介简介LOGISCOPELOGISCOPE是法国是法国TelelogicTelelogic公司推出的公司推出的产品。产品。Telelogic Logiscope Telelogic Logiscope 是一种是一种软件质量保证软件质量保证 (QA) (QA) 工具，它可以通

12、过工具，它可以通过自动进行代码检查和对容易出错的模块自动进行代码检查和对容易出错的模块的鉴定与检测来帮助扩大测试范围，从的鉴定与检测来帮助扩大测试范围，从而达到保证质量和完成软件测试的目的。而达到保证质量和完成软件测试的目的。可自定义的软件测试功能可帮助您在软可自定义的软件测试功能可帮助您在软件开发过程中及早发现缺陷，这样您就件开发过程中及早发现缺陷，这样您就可以做到按时交付，将费用控制在预算可以做到按时交付，将费用控制在预算内，同时又可以提高软件质量。内，同时又可以提高软件质量。特点特点1. 1. 软件质量分析软件质量分析2. 2. 代码规范性检测代码规范性检测3. 3. 测试覆盖率统计测试

13、覆盖率统计4. Logiscope 4. Logiscope 可以对多种语言实现的可以对多种语言实现的代码进行分析，比如代码进行分析，比如C C、C+C+、JavaJava等等价格价格800,000 RMB 800,000 RMB 静态测试工具对比产品功能产品功能应用范围应用范围价格价格供应商供应商PC-LintPC-Lint1 1 强类型检查强类型检查 2 2 变量跟踪变量跟踪3 3 顺序检查顺序检查 4 4 弱定义检查弱定义检查5 5 格式检查格式检查 6 6 缩进检查缩进检查7 const7 const检查检查 8 volatile8 volatile检查检查几乎所有的几乎所有的编译环境

14、编译环境正版正版软件要正版正版软件要200200多多$ $网上也可以找到网上也可以找到免费的免费的GIMPEL GIMPEL SOFTWARESOFTWARE公司公司rational rational purifypurify主动搜查主动搜查/ /记录记录/ /分析程序运分析程序运行过程中行过程中( (扫描频率不为扫描频率不为0)0)的内存的内存/API/COM/API/COM/资源和句资源和句柄的使用状况柄的使用状况/ /误用误用/ /泄漏泄漏C C、C+C+、JavaJava正版十分昂贵正版十分昂贵网上也有免费的网上也有免费的IBMIBMLogiscopeLogiscope1. 1. 软件

15、质量分析软件质量分析2. 2. 代码规范性检测代码规范性检测3. 3. 测试覆盖率统计测试覆盖率统计C C、C+C+、JavaJava 800,000 RMB 800,000 RMB 法国法国TelelogicTelelogic公司公司动态测试工具1JTEST2CodeTest 3VcTester JTEST简介简介jtestjtest是是parasoftparasoft公司推出的一款针对公司推出的一款针对javajava语言的自动化白盒测试工具语言的自动化白盒测试工具, ,它通过自动它通过自动实现实现javajava的单元测试和代码标准校验的单元测试和代码标准校验, ,来提高代码的可靠性。来

16、提高代码的可靠性。JtestJtest先分析每个先分析每个javajava类，然后自动生成类，然后自动生成 junitjunit测试用例并执行用例，从而实现代码的最大覆盖，并将代测试用例并执行用例，从而实现代码的最大覆盖，并将代码运行时未处理的异常暴露出来；另外，它还可以检查以码运行时未处理的异常暴露出来；另外，它还可以检查以DbCDbC（Design by ContractDesign by Contract）规范开发的代码的正确性。用户还可以通过扩展测试用例的自动生成器来添加更多规范开发的代码的正确性。用户还可以通过扩展测试用例的自动生成器来添加更多的的junitjunit用例。用例。Jt

17、estJtest还能按照现有的超过还能按照现有的超过350350个编码标准来检查并自动纠正大多数常个编码标准来检查并自动纠正大多数常见的编码规则上的偏差，用户可自定义这些标准，通过简单的几个点击，就能预防见的编码规则上的偏差，用户可自定义这些标准，通过简单的几个点击，就能预防类似于未处理异常、函数错误、内存泄漏、性能问题、安全隐患这样的代码问题。类似于未处理异常、函数错误、内存泄漏、性能问题、安全隐患这样的代码问题。优势优势 1 1）使预防代码错误成为可能，从而大大节约成本，提高软件质量和）使预防代码错误成为可能，从而大大节约成本，提高软件质量和 开发效率开发效率 2 2）使单元测试）使单元测

18、试包括白盒、黑盒以及回归测试成为可能包括白盒、黑盒以及回归测试成为可能 3 3）使代码规范检查和自动纠正成为可能）使代码规范检查和自动纠正成为可能 4 4）鼓励开发团队横向协作来预防代码错误）鼓励开发团队横向协作来预防代码错误JTEST特征特征 1 1）通过简单的点击，自动实现代码基本错误的预防，这包括单元测试和代码）通过简单的点击，自动实现代码基本错误的预防，这包括单元测试和代码规范的检查规范的检查 2 2）生成并执行）生成并执行junitjunit单元测试用例，对代码进行即时检查单元测试用例，对代码进行即时检查 3 3）提供了进行黑盒测试、模型测试和系统测试的快速途径）提供了进行黑盒测试、

19、模型测试和系统测试的快速途径 4 4）确认并阻止代码中不可捕获的异常、函数错误、内存泄漏、性能问题、安）确认并阻止代码中不可捕获的异常、函数错误、内存泄漏、性能问题、安全弱点的问题全弱点的问题 5 5）监视测试的覆盖范围）监视测试的覆盖范围 6 6）自动执行回归测试）自动执行回归测试 7 7）支持）支持DbCDbC编码规范编码规范 8 8）检验超过）检验超过350350个来自个来自javajava专家的开发规范专家的开发规范 9 9）自动纠正违反超过）自动纠正违反超过160160个编码规范的错误个编码规范的错误 1010）允许用户通过图形方式或自动创建方式来自定义编码规范）允许用户通过图形方式

20、或自动创建方式来自定义编码规范 1111）支持大型团队开发中测试设置和测试文件的共享）支持大型团队开发中测试设置和测试文件的共享 1212）实现和）实现和IBM Websphere Studio /Eclipse IDE IBM Websphere Studio /Eclipse IDE 的安全集成的安全集成CodeTest简介简介CODETESTCODETEST是全球第一台专为嵌入式系统是全球第一台专为嵌入式系统软件测试而设计的工具套件，软件测试而设计的工具套件，CODETESTCODETEST为追踪嵌入式应用程序，分析软件性能，为追踪嵌入式应用程序，分析软件性能，测试软件的覆盖率以及存储体

21、的动态分测试软件的覆盖率以及存储体的动态分配等提供了一个实时在线的高效率解决配等提供了一个实时在线的高效率解决方案。方案。CODETESTCODETEST还是一个可共享的网络还是一个可共享的网络工具，它将给整个开发和测试团队带来工具，它将给整个开发和测试团队带来高品质的测试手段。高品质的测试手段。特点特点包括以下四个模块包括以下四个模块: :性能分析、测试覆性能分析、测试覆盖分析、动态存储器分配分析、执行追盖分析、动态存储器分配分析、执行追踪分析（踪分析（TRACETRACE） 价格价格市场价每套约市场价每套约3030万人民币万人民币VcTester简介简介VcTesterVcTester由深

22、圳市领测科技有限公由深圳市领测科技有限公司自主研发，专业服务于嵌入式白司自主研发，专业服务于嵌入式白盒测试领域的测试工具，它遵循第盒测试领域的测试工具，它遵循第4 4代白盒测试方法（代白盒测试方法（4GWM4GWM，The 4th The 4th Generation White-box-testing Generation White-box-testing MethodologyMethodology），为有效实施针对），为有效实施针对C C语言的单元测试、集成测试与协议语言的单元测试、集成测试与协议测试，提供系统化的测试解决方案。测试，提供系统化的测试解决方案。VcTesterVcTes

23、ter仅支持仅支持VCVC平台下平台下C C源代码源代码的白盒测试的白盒测试, , 主要应用于通信设备、主要应用于通信设备、嵌入式手持终端、医疗器械等实时嵌入式手持终端、医疗器械等实时嵌入式产品的源码级测试。嵌入式产品的源码级测试。特点特点1.1.脚本化测试驱动脚本化测试驱动2.2.脚本桩脚本桩3.3.在线测试在线测试4.4.即时调测即时调测5.5.测试工程管理测试工程管理价格价格共享版免费共享版免费, ,商用版本价格参见其官方商用版本价格参见其官方网站网站动态测试工具对比产品功能产品功能应用范围应用范围价格价格供应商供应商JTESTJTEST1.1.迅速可靠的修改已有代码迅速可靠的修改已有代

24、码2.2.控制开发成本和进度控制开发成本和进度3.3.优化开发资源优化开发资源4 4能更好的控制风险能更好的控制风险5.5.对于对于javajava代码的可读性具代码的可读性具有直观可视化效果有直观可视化效果javajava 网上也有免费版网上也有免费版ParasoftParasoftCodeTestCodeTest包括以下四个模块包括以下四个模块: :性能分性能分析、测试覆盖分析、动态存析、测试覆盖分析、动态存储器分配分析、执行追踪分储器分配分析、执行追踪分析（析（TRACETRACE）嵌入式系统嵌入式系统软件软件市场价每套约市场价每套约3030万人民币万人民币METROWERKSMETRO

25、WERKSVcTesterVcTester1.1.脚本化测试驱动脚本化测试驱动2.2.脚本桩脚本桩 3.3.在线测试在线测试4.4.即时调测即时调测5.5.测试工程管理测试工程管理VCVC平台下平台下C C源代码源代码共享版免费共享版免费, ,商用版本价格参商用版本价格参 见其官方网站见其官方网站深圳市领测科深圳市领测科技有限公司技有限公司 用户看法测试工具2 2. .使用过工使用过工具，但是价具，但是价格等因素限格等因素限制了进一步制了进一步使用使用3.3.对测试非常了解，经常使用对测试非常了解，经常使用ITIT测试工具测试工具1.1.有想法，要多了解信息有想法，要多了解信息这种想法在很多中

26、小企业中存在，他们已经意识到了这种想法在很多中小企业中存在，他们已经意识到了IT测试的重要性，但是限于各种测试的重要性，但是限于各种条件，现在还处于收集信息的阶段。部分用户代表希望有价格便宜的第三方测试机构条件，现在还处于收集信息的阶段。部分用户代表希望有价格便宜的第三方测试机构来帮助自己进行测试。来帮助自己进行测试。北京青云航空仪表公司北京青云航空仪表公司 黄迪生黄迪生我们目前比较需要网络测试和软件测试的设备。但因为此前对测试技术和产品不我们目前比较需要网络测试和软件测试的设备。但因为此前对测试技术和产品不太熟悉，目前更多地是想了解一下最新的技术和产品。我们希望厂商能有一些具体的太熟悉，目前

27、更多地是想了解一下最新的技术和产品。我们希望厂商能有一些具体的演示和应用案例。演示和应用案例。北京京能热点股份有限公司信息中心北京京能热点股份有限公司信息中心 夏骥夏骥在此前的在此前的IT项目中，我们还没有使用过专门的测试工具软件和设备。但我们对新项目中，我们还没有使用过专门的测试工具软件和设备。但我们对新的测试工具软件和设备比较感兴趣，目前我们正在做网络改造，所以想先了解一下这的测试工具软件和设备比较感兴趣，目前我们正在做网络改造，所以想先了解一下这方面的产品和技术。方面的产品和技术。第一类用户这类用户基本都是一些专业的这类用户基本都是一些专业的IT公司，他们对测试工具有明显的渴求，但是现在的条公司，他们对测试工具有明显的渴求，但是现在的条件限制了应用。件限制了应用。中科辅龙计算机技术有限公司技术管理部经理中科辅龙计算机技术有限公司技术管理部经理 林志丹林志丹我们用过一些网络测试和软件测试的工具软件，有一些感觉。网络测试和软件测我们用过一些网络测试和软件测试的工具软件，有一些感觉。网络测试和软件测试都是工具软件，它们面临同样的问题，就是专业性强，用户少，而厂商为了盈利就试都是工具软件，它们面临同样的问题，就是专业性强，用户少，而厂商为了盈利就不得不将价格定得较高；其次是这类软件大多比较难以上手，需要专门的培训，但这不得不将价格定得较高；其次是这类