Parasoft? C/C++Test?: C/C++代码白盒测试工具

parasoft测试软件parasoft c++ test parasoft公司

Parasoft? C++test?是一个自动化了经广泛证明能提高开发团队开发C/C++软件效率和软件质量方的开发测试集成解决方案。

C/C++Test有助于：

静态分析 – 静态代码分析，数据流静态分析，与度量指标分析

自动化同行代码审查过程– 准备、通知、跟踪

单元测试 – JUnit 与 Cactus测试创建、执行、优化、与维护

运行时错误检测 – 竞争条件、异常、资源与内存泄露、安全攻击的漏洞等等

这为团队提供了一个切实可行的方法来预防，揭露和纠正错误，以确保C/C++ 代码按照预期正常工作。为了增进快速纠错，每个检测到的问题是根据配置的严重程度分配优先，自动分配给相关代码的***，而且直接链接到IDE中有问题的代码，并附有如何修正的描述。

对于嵌入式系统和跨平台开发，C/C++测试可用于基于主机和基于目标的代码分析和测试流程中。

Parasoft 的客户，包括58%的财富500强, 信赖 C++Test 能够帮助他们:

预防影响应用程序安全性,可靠性和性能的缺陷

遵守内部或质量监管措施

在大型和分布式团队之间确保一致性

通过自动化关键缺陷预防方法来提高开发效率

成功地实施流行的开发方法，例如 测试驱动开发（TDD），敏捷开发（Agile）, 和极限编程（XP）

C/C++开发的代码全面质量监控工具

Parasoft C++test能够使团队开发出更好的程序，实施更有效的测试，并能持续地监控其质量目标的进展。使用 C++test 经过时间考验的**实践-如静态分析，全面代码审查,运行时错误检测，具有集成覆盖率分析的单元测试和组件测试--能够在开发周期的早期阶段即可在***的桌面上自动完成。 能通过命令行模式自动执行回归测试和持续地集成测试，为监测和分析质量趋势提供数据。此外, C++test 与 Parasoft Concerto结合, 可提供基于Web的具有向下钻取功能的交互式仪表板，这使团队能够通过 C++test的结果以及其它关键进度指标来跟踪项目状态和趋势。

对于嵌入式系统和跨平台开发，C/C++test可用于基于宿主机环境和基于目标环境的代码分析和测试流程中。

自动化代码分析以提供代码规范性

一个正确实施的编码策略，通过建立预防性的编码规范，能够降低所有类型的编码错误。C/C++test通过静态分析代码来检查是否遵循这些策略。为了执行团队或组织的编码标准策略，用户可以对C/C++test进行配置，在内建和自定义规则中定义自己的规则集。可以生成包括HTML和PDF等各种格式的代码分析报告。

上千条的内置规则，包括实现FDA，PCI，国家军用标准(G**5369)，MISRA， MISRA 2004，新MISRA C++标准，以及来自于Mayers的Effective C++和 Effective STL等书籍和其他从主流源码中总结出的指导准则，有助于识别C/C++语言不当使用时潜在的错误，实施**编码实践，以提高代码的可维护性和可重用性。通过图形化的RuleWizard编辑器创建的自定义规则能增强标准API的使用，防止已经发现的应用程序缺陷重复出现。

无需执行软件即可检测运行时错误

BugDetective, 倍睿软件先进的C/C++test跨进程静态分析模块，通过模拟应用程序的可能执行路径－可跨越多个涵数和文件－并确定这些路径是否会引发运行时某些特定类型的错误。可以检测到的错误类型包括使用未初始的或无效的内存,空指针解引用，数组和缓冲区溢出，除零,内存和资源泄露，以及各式各样的死代码。无需运行软件即可暴露错误对于嵌入式代码特别有价值，因为详细的实时分析这些错误往往是无效或不可能的。

C/C++test为每个潜在的缺陷提供一个完整的路径分析。开发人员可以在IDE中通过代码自动交叉链接，快速定位到路径中的任何一点,从而极大地简化了缺陷分析.

简化代码审查

代码审查是已知发现代码缺陷最有效的方法。然而遗憾的是，许多公司认为这需要花费大量的精力，没有充分利用代码审查。 C/C++test 的代码审查模块自动准备,通知,和跟踪同行代码审查，实现了一个非常高效的团队化进程。 所有代码审查的状态,包括全部审查者的注释,都由 C/C++test 基础设施来维护和自动地分配。C/C++test 支持两种典型的代码审查流程：

• 提交后代码审查 这个模式是通过自定义的源码控制器接口来自动地识别源代码库中的代码变化, 并且根据预先设定的关于更改的代码到审查者的映射来创建代码审查任务。

• 提交前代码审查. 用户可以通过选择一个为审查而分配的文件集合来从图形界面开始一个代码审查, 或者自动地识别所有本地修改的源代码。

C/C++test的静态分析能力进一步增强了团队代码审查的效率。因为能够自动监控团队编码策略，几乎完全消除了逐行检查代码的需要。当代码提交审查时，违规也已经被识别出来并被更正。这样审查可以集中在检查算法，审查设计，和查找自动化工具无法检测出的细微错误。

监测应用程序的内存问题

运行时错误检测是用于消除严重的内存相关缺陷并具有零误报率的****法。可持续地监测运行的应用程序以查找某些类别的问题--如内存泄漏，空指针，未初始化的内存，和缓冲区溢出--并且在测试过程完成之后立即得到结果。

无需**和费时的测试活动，准备好的应用程序通过标准的功能性测试，然后标记出所有存在的问题。应用程序可以在目标设备,模拟目标平台,或者宿主机上运行。收集到的问题以及相关详细信息直接地呈现在开发人员的开发环境中(包括内存块的大小，数组索引，堆栈分配/释放的跟踪等。)

在应用程序运行期间可收集覆盖率指标。这些指标可以用于查看哪一部分应用程序已经被测和微调单元的回归测试集(作为功能测试的补充)。

具有覆盖率分析的单元和集成测试

C++test 的自动化大大地提高了测试新开发或旧代码的正确性和可靠性，极大地提高了工作效率。 C++test 自动地为每个函数生成完整的测试,包括测试驱动和测试用例。 这些测试用例纯粹是C或C＋＋代码，类似于CppUnit 格式。无论是否修改，这些测试都能被用于代码功能性行为的初始验证。通过使用边界情况的条件, 这些自动生成的测试用例也可用与检查对未知输入的功能响应,暴露潜在的可靠性问题。

通过一组特定的GUI构件简化测试的创建和管理。图形化的测试用例向导使开发人员能够为所选的函数快速地创建黑盒功能测试,而不必关心它们的内部运作或嵌入数据的依赖。数据源向导帮助参数化测试用例和桩函数－以最小的代价提高测试范围和覆盖率。使用桩函数视图可方便生成和分析桩函数,此视图显示所有在代码中使用的函数，并允许用户为任何在测试范围内不能调用的函数创建桩函数-或者为特定测试目的而改变现有的函数。测试执行和分析都在测试用例浏览器中进行,它整合了所有现有的项目测试并提供了一个明确的通过/失败状态。 这些功能对支持自动的持续集成和测试以及边开发边测试特别有用。

提供多种测试覆盖率分析报告,包括语句,分支,路径,和修订的条件／判定覆盖（MC/DC）, 帮助用户评估测试的有效性和完整性, 以及证明符合测试和验证的需求,例如 DO-178B。 测试覆盖率是通过对所有支持的覆盖率指标的代码在用户界面中或颜色表示的代码清单报告中高亮来显示。可以以多种格式生成包括文件, 类,和函数数据的覆盖率报告摘要。

自动化回归测试

C++test 有助于开发稳健的回归测试套件，能检测出任何增量代码变更是否破坏了现有的功能。 无论团队是有大量的遗留代码,还是一段刚完成的程序,或介于两者之间，C++test 都能够通过自动地记录运行时结果，产生测试断言，生成验证现有软件行为的测试。随着代码库的发展, C++test 重新运行这些测试，并将当前的结果与原来用于验证的“黄金设置”相比较。它可以很容易地被重新配置，为了使用不同的运行设置,测试用例,和桩函数以支持不同环境中的测试(例如, 不同的持续集成阶段, 测试不完整的系统, 或测试一完整系统中某一特定部分)。这类的回归测试对于支持敏捷开发和发布周期短的情况尤为重要, 可以确保不断变化和难以测试的应用程序持续稳定的功能。

可配置的详细报告

C++test可以通过图形界面控件或一选项文件来设置所需要的HTML, PDF和自定义格式的报告。标准报告包括：通过/失败的代码分析和测试结果的摘要，已分析文件的列表,和代码覆盖率总结报告。 这些报告可以进行自定义,以包括常用的静态分析检查清单, 每个通过/失败测试的可扩展输出, 关键指标的趋势图参数,和用颜色表明所有代码覆盖率结果的完整代码清单。生成的报告可以根据基于角色的过滤器通过邮件自动发送。除了直接提供数据给缺陷所标记出的代码负责开发人员, C++test 也发送摘要报告给管理人员和团队负责人。

高效的团队部署

C++test 建立了一个高效的过程，以确保软件验证任务被植入到团队的日常工作流程中并且实现了自动化。这使团队可专注于更挑战的任务。自动的任务安排和分配使缺陷审查和纠正更加容易。每个检测到的错误通过区分优先级,连同完整的数据和代码交叉链接被分发到编写相应代码的开发人员的开发环境中。为了帮助管理人员评估和记录趋势,集中化的报告能够确保对质量状态和过程的实时监控。这些数据同样可帮助确定是否需要采取进一步措施以满足内部目标或遵从已定策略。

优点

• 提高团队开发效率 — 应用一套全面的**实践组合，缩短了测试时间，降低了测试难度,并且减少了到达最终测试阶段的错误数量。

• 优化团队开发资源的配置 — 自动地审查已知的代码问题,以便有更多的时间可以被用于需要人类智慧的地方。

• 建立更可靠的代码库 — 高效地构建,并可持续地执行,和维护一个全面的回归测试套件,用于检测更新是否破坏了既有的功能

• 随时可显示C和C++ 代码的质量和进度 — 获取对用于实现需求代码的评估，并跟踪其过程以实现质量和进度的目标。

• 降低支持成本 — 自动对广泛的潜在用户路径进行测试以查找出只有在真正使用时才能发现的问题。

功能

• 通过静态分析，促使用户选定的编码规范能得到遵守

• 提供图形化的 RuleWizard 编辑器用于创建自定义的编码规则

• 通过代码路径静态模拟分析，可发现潜在的运行时错误

• 通过图形化界面和进度跟踪使代码审查自动化

• 自动生成并执行单元和组件级的测试

• 灵活的桩函数机制

• 全面支持回归测试

• 高亮显示代码的覆盖率分析

• 单元测试和应用程序测试运行时的内存错误检查

• 通过图形界面和命令行方式实施团队部署

运行时错误检测

• 通过简单的功能测试识别复杂的内存相关问题，如:

  • 内存泄露

  • 空指针

  • 内存未初始化

  • 缓冲区溢出

  
  

• 应用程序运行中收集代码覆盖率

• 通过在实际目标环境中执行要监测的应用程序，提升测试结果的准确性

支持嵌入式和跨平台开发

随着嵌入式系统中的软件组件变得越来越重要,嵌入式软件质量得到了的广为关注。传统的质量对策，如使用调试器测试已不再有效或不够充分。更为复杂的是,许多开发人员在实际部署的环境中不能轻易方便地运行测试程序,因为他们无法访问最终的系统硬件。为了应对这些挑战,需要在整个开发生命周期中实现代码质量。通过实施和监测自动化,协同使用这一被时间证明的早期缺陷预防技术。来自倍睿软件嵌入式的C/C++test可以使团队为嵌入式系统开发出更好的代码，进行更有效的测试，并能持续监控其质量目标的进展情况。通过C/C++test, 开发人员可在开发周期的早期随时启用诸如静态分析，全面代码审查，及具有综合覆盖率分析的单元和组件测试等这些关键时刻证明的**实践。命令行接口实现在持续集成环境内回归测试完全自动化，提供数据监测和分析质量趋势。

对于质量高度敏感的行业,如**,医疗,汽车,运输,和工业自动化, 倍睿软件基于Web的 交互式仪表板和拥有 SQL数据库支撑的具有向下钻取细分能力的统计和报告系统，通过规范化可视化来实现高效和可度量的质量过程。

在宿主机,模拟器,和目标机上测试

C++test 自动实施完整的测试执行流程, 包括测试用例生成,交叉编译,部署,执行,和加载结果 (包括覆盖率指标)返回到图形界面中。可以通过图形界面或命令行交互驱动测试自动执行, 也可进行批处理的回归测试。在交互模式中,为了方便调试或验证用户可以单独地或在选中的组中运行测试。对于批处理执行，用户可以针对指定的代码，或它们的名称或在磁盘上的位置来执行测试。

高度的可定制化

C++test 允许用户完全自定义测试执行的流程。除了可用内置的自动化测试以外，用户还可以包含自定义的测试脚本和 shell命令，以适应具体的构建和测试环境。这给了用户巨大的灵活性，帮助用户实现所需的测试流程而不用受限于工具的预置选项。

通过交叉编译为预期目标环境所提供的运行时库，C++test可以广泛的用于各种嵌入式操作系统和结构体系。C++test 所有的测试中间工件都有源代码，因此完全可以移植。

先进的单元测试功能

• 自动生成测试用例和桩函数

• 根据观察到的测试结果自动生成断言

• 图形化测试用例向导方便交互式自定义测试

• 对测试用例和桩函数的源代码编辑修改

• 智能,灵活的桩函数功能

• 方便设置测试用例和桩函数的参数

• 符合 DO-178B标准的多种覆盖率分析(包括：修订条件/判定覆盖)

• 灵活地支持持续回归测试

• 按照缺陷和需求来注释测试用例

• 在调试器下执行测试用例

• 在特殊模式下测试模板代码