c/c++test 是parasoft 公司推出的一款针对c/c++ 语言的综合性软件测试工具。parasoft 公司是软件测试和sdlc(软件生命周期)凯发娱乐登录的解决方案专业开发供应商,aep(自动错误预防)理论的创始者。其拥有近30 年丰富的专业技术积累和软件测试行业应用经验,掌握大量软件技术专利,分支机构和凯发娱乐登录的合作伙伴网遍布全球。在全球范围内有超过10000 家客户。
1.c/c++test 主要功能
• 静态分析功能
♦ 代码静态检查
c/c++test 能够对代码逐行进行静态分析,检查代码是否遵循编码规范。提供了内建的3900 多条编码规则,并将所有规则按照5 种严重度进行划分。同时支持通过rule wizard 模块,使用图形界面进行自定义规则。
♦ 代码逻辑分析
parasoft 拥有先进的数据流静态分析功能,能够在不执行软件的情况下检测运行时缺陷。可以检测的缺陷类型包括使用未初始化的或无效的内存、空指针解引用、数组和缓冲区溢出、除零、内存和资源泄漏,以及死代码(dead code)。
♦ 全面的规范支持
c/c++test 支持实现fda、pci、misra c、misra c++ 标准,和来自于meyers 的effective c++ 和effective stl 等书籍以及从其他主流源码中总结的准则,有助于预防c/c++ 语言中潜在的缺陷,提高代码的可维护性和可重用性。
• 动态测试功能
♦ 自动生成单元测试套件
c/c++test 能够自动为每个函数生成完整的测试套件,包括测试驱动程序和测试用例。测试用例代码完全可见,格式类似于cppunit 测试框架。支持使用图形化向导进行自定义测试用例,同时也可以通过数据源向导参数化测试用例,方便地提高测试范围和测试效率。支持包括语句、路径、分支、mc/dc覆盖在内的多种覆盖率分析。
♦ 分析和生成桩函数
使用桩函数视图方便地分析和生成桩函数,可以显示所有在代码中使用的函数并允许用户为任何在测试范围内不可用的函数创建桩函数,或者为特定的测试目的而改变现有的函数。
♦ 可配置的详细报告
c/c++test 的html、pdf 以及其他自定义格式的报告可以通过gui 控件或一个选项文件方便地进行配置。标准报告包括有通过/ 失败的代码分析和测试结果的概要、已分析文件的列表和代码覆盖率概要。此报告可以进行自定义,以增加或减少报告中显示的内容。
2.dtp 主要功能
dtp 是开发测试平台(development testing platform)的简称,为代码级模块提供应用平台,整体管理软件开发过程,是保障持续输出高质量软件的实践手段。dtp 提供基于网页的可定制界面,能够查看在c/c++test 以及部分其他parasoft 产品中所收集的软件测试报告及展现开发活动状态的信息。