静态分析做过了,单元测试跑过了,覆盖率也统计了,但到了认证准备或审查阶段,团队还要从不同位置寻找结果、核对软件版本、整理表格,再把需求、测试用例和报告关联起来。一旦发现证据缺失或数据对不上,就可能重新执行测试、补充材料。
有没有一种工具,能在完成测试的同时,把这些证据也准备好?
Parasoft C/C++ Test解决的正是这个问题。
测试跑完,报告也跟着生成
针对嵌入式C/C++项目,C/C++test提供面向MISRA C/C++、AUTOSAR C++14、CERT C/C++等规范的检查配置。团队选定适用规则后,即可在开发环境或CI/CD流程中自动执行静态分析。
分析完成后,工具会输出相应报告,呈现执行了哪些规则、发现了哪些违规、问题位于什么位置以及当前处理状态。团队不必再从大量扫描结果中手工整理检查记录。
除了编码规范检查,C/C++test还支持单元测试和结构覆盖率分析。测试执行后,可以自动生成测试结果及覆盖率报告,集中呈现用例通过情况,以及语句、分支、条件、MC/DC等项目所需的覆盖率数据。
也就是说,测试人员完成一次自动化执行,工具便能够同步产出相应的结果和报告,而不是等到审查前再重新“拼材料”。
自动形成可审计的软件验证证据包
一份能够用于审查的报告,不能只有“通过”或“失败”。审核人员还需要知道:哪些要求经过了验证、采用了什么测试、结果如何、覆盖是否充分,以及发现的问题如何处理。
C/C++test可以把静态分析、单元测试、覆盖率和需求追溯信息组织起来,形成多类软件验证报告:
- 编码规范检查及违规结果;
- 单元测试执行报告;
- 结构覆盖率报告;
- 需求与测试用例的追溯信息;
- 问题处理及结果记录。
这些报告共同构成软件验证证据包,帮助团队回答“检查了什么、怎样检查、结果怎样、证据在哪里”,减少人工复制数据、维护表格和反复核对版本的工作。
配合DTP,合规状态看得更清楚
如果项目规模更大,或者需要跨团队、跨构建集中管理证据,还可以配合Parasoft DTP及相应的Compliance Pack。
DTP能够汇总C/C++test产生的分析与测试数据,通过合规仪表板持续展示违规状态、测试结果、覆盖率、需求追溯和变化趋势,并进一步生成面向相关规范的集中合规报告。
开发人员可以定位具体问题,测试人员可以检查验证缺口,质量和合规负责人则能从统一入口了解项目当前的证据准备情况。
真正省事的,是降低返工风险
认证准备阶段最怕的,不是报告多,而是整理报告时才发现编码违规没有处理、覆盖率不足,或者需求与测试结果对不上。此时再修改代码、补充测试、重新生成材料,返工成本往往更高。
C/C++test能够在开发过程中持续执行检查和测试,并同步生成、更新相关报告,让编码问题、测试缺口和追溯缺失更早暴露。团队可以及时处理,而不是等到审查阶段再集中补救。
它不能代替认证,但能帮助企业提前发现证据缺口,减少重复验证和材料重做,从而降低审查阶段的返工风险。
对于需要满足ISO 26262、IEC 62304等要求的嵌入式C/C++项目,Parasoft C/C++test不只帮你把测试做完,也帮你把报告准备好。
这里是慧都产品智能化,欢迎沟通交流~