C++ test简介和使用.ppt

  1. 1、本文档共26页,可阅读全部内容。
  2. 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
  3. 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  4. 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
C++ test简介和使用 Parasoft软件测试工具介绍? 来自美国的测试软件专家PARASOFT,成立于1987年,总部设在美国加利福尼亚州的蒙罗维亚市。全球领先的软件测试工具和整体解决方案的专业开发供应商,AEP(自动错误预防)理论的创始者,软件测试领域的领导者,拥有22年丰富的软件测试专业技术积累和行业应用经验,致力于帮助客户迅速提高软件质量大幅缩短上市周期和降低开发成本,全球超过10,000家客户,其中58%的财富500强公司、88%的财富100强公司都正在使用Parasoft的产品和解决方案。 Parasoft C/C++test安装配置 Parasoft C++test 是一个集成解决方案,用于使一系列被广泛证明可改进软件开发团队生产力和软件质量的最佳实践得以自动化处理。通过 C++test,可进行编码策略增强、静态分析、综合代码复审以及单元测试和组件测试,以此向团队提供一种确保 C 和 C++ 代码达到其预期功能的实用方法。C++test 可以在桌面上 IDEs 的引导下使用,也可以通过命令行界面、批处理方式进行回归测试。C++test 与 Parasoft 的 GRS 报告系统相集成,后者提供了具有向下钻取功能并基于 Web 的交互式仪表板,允许团队根据 C++test 结果和其它关键的进程度量值,跟踪项目的状态和趋势。 支持的安装环境 C++test 的当前版本支持常见的主流开发平台及系统。针对不同的平台提供不同的安装文件,同一种安装平台还提供独立版和插件版两种安装文件,更好地扩展了工具适用范围。以下具体介绍Parasoft工具所支持的安装环境以及各种系统下的安装过程。 C++Test静态测试 静态方法是指不运行被测程序本身,仅通过分析或检查源程序的语法、结构、过程、接口等来检查程序的正确性,对需求规格说明书、软件设计说明书、源程序做结构分析、流程图分析、符号执行来找错。静态方法通过程序静态特性的分析,找出欠缺和可疑之处,例如不匹配的参数、不适当的循环嵌套和分支嵌套、不允许的递归、未使用过的变量、空指针的引用和可疑的计算等。静态测试结果可用于进一步的查错,并为测试用例选取提供指导。 软件工作产品可以通过不同的静态技术进行检查以评估工作产品的质量,而这种静态技术不同于软件的动态测试技术。静态测试是相对于动态测试而言的,即不要求在计算机上实际执行所测程序所进行的测试。静态测试主要以一些人工的模拟技术对软件进行分析和测试,是白盒测试方法的一种,包括代码检查、静态结构分析等。它可以由人工进行,充分发挥人的逻辑思维优势,也可以借助软件工具自动进行。据此,静态测试可以分为评审和工具支持的静态测试技术。相对于动态测试而言,静态测试成本更低,效率较高,更重要的是可以在软件开发生命周期早期就发现缺陷和问题。 IEC61508安全标准中,对于关键软件,静态分析是“高度推荐”的技术。 一个软件产品可能实现了所要求的功能,但如果它的内部结构组织的很复杂,很混乱,代码的编写也没有规范的话,这时软件中往往会隐藏一些不易被察觉的错误,其次,即使这个软件基本满足了用户目前的要求,但到了日后对该产品进行维护升级工作的时候,会发现维护工作相当困难。所以,如果能对软件进行科学、细致的静态分析,使系统的设计符合模块化、结构化、面向对象的要求,使开发人员编写的代码符合规定的编码规范,就能够避免软件中大部分的错误,同时为日后的维护工作节约大量的人力、物力。这就是对软件进行静态分析的价值所在。 Parasoft C++Test工具提供的强大的静态测试功能。包括静态代码规范检测、自定义测试规范、Bugdetective数据流检测功能。 下面将分别讲述如何使用parasoft C++Test工具的静态测试功能。 ?C++Test静态代码检测规范 静态代码检测概述 静态代码检测是静态测试的一种重要方法,在软件开发与维护的整个生命周期中,通过静态代码规范检测,可以使开发人员编写的代码符合规定的编码规范,就能够在软件开发前期避免软件中大部分的错误,同时为日后的维护工作节约大量的人力、物力。静态代码检测技术通常是使用人工模拟或模式匹配的方式,来查找软件代码中的一些编码等静态缺陷或错误。 C++Test静态代码规范及其检测方法 Parasoft C++Test通过建立一系列编码规范规则通过静态分析来检测兼容性并预防代码错误。C++Test提供了900多条内建规则,包括从MISRA、JSF、Ellemtel、Meyers’s? Effective C++和Effective STL等书中以及其它的一些主流资源中提取的编程建议,识别代码中因C/C++使用不当的潜在缺陷,提供最佳编码建议以提高代码的可维护性和可重用性。 C++Test内建的规则按照不

文档评论(0)

文档精品 + 关注
实名认证
内容提供者

该用户很懒,什么也没介绍

版权声明书
用户编号:6203200221000001

1亿VIP精品文档

相关文档