解决提升覆盖率难题-使用C/C++test覆盖率指导助手

描述

在构建关键系统时,将代码覆盖率结构化是必须的,也是非常重要的。这篇文章阐述了Parasoft C/C++test如何通过覆盖率指导助手等自动化生产力功能更好地帮助测试团队。

软件测试是软件开发不可分割的一部分。每个开发和执行代码的行业都可以从使用结构代码覆盖率测试工具中受益。这些工具在安全关键型应用的嵌入式开发行业中特别有用,在这些行业中,软件系统不能出现故障,否则就会涉及生命危险。Parasoft C/C++test的覆盖率指导助手能够帮助用户对难以捉摸又耗时的代码创建测试用例。

代码覆盖率是一个重要且必要的条件

我们在嵌入式安全和安全关键系统中将代码提升到100%覆盖率有多种目的。其中最主要的目是符合DO-178C、IEC 62304等流程标准中定义的验证和确认(Verification & Validation)要求。

优点

代码覆盖率提供的价值是对V&V(Verification & Validation)过程的提升,它可以帮助我们清除代码中的缺陷,确保每行代码都已执行,从而满足团队或者认证的要求。这可以大大提高团队代码质量的安全性和可靠性。

同样,如果我们执行了所有的测试用例,而只获得了60%的覆盖率,那么很明显我们没有创建足够的测试用例。因此,隐藏的缺陷可能潜伏在这些未测试的部分。

另一个问题是“死代码”。这意味着这些代码永远不会被执行,因为没有条件能够支持这些代码被执行。这种情况可能发生在实现了某个特性/功能,但在某种条件下,这个功能需求被删除了。如果不完全删除这些相关的代码,就可能会导致死代码这种情况。在函数或方法中查找死代码的同时,还可以突出必须解决的坏代码。

如何满足您的代码覆盖率要求

您可以通过下面的测试方法或它们的组合方法来实现代码的高覆盖率:

单元测试

集成测试

系统测试

下面是Parasoft支持度较高的两种方法:

1.    系统测试和单元测试的组合。首先,检测代码并执行所有的系统测试用例,这将会产生比较高的覆盖率指标。最后,使用单元测试方法来提升剩余未覆盖代码的覆盖率。

2.    利用单元测试实现100%代码覆盖率。这种方法很直接。用户创建单元级的测试用例,以确保对每个功能/方法被覆盖。

代码覆盖率指标

覆盖率指标有非常多种类。具体应用哪种覆盖率指标取决于IEC 61508中定义的安全完整性等级(SIL)。另一种情况是DO-178B/C的设计保证级别(DAL)对覆盖率指标的不同要求。对于嵌入式系统,我们可能常用到的覆盖率指标是语句、分支、修改条件/判定(MC/DC)覆盖率。其中,对于那些最严格的要求,会包括汇编代码的覆盖率。Parasoft支持收集所有这些覆盖率指标,包括其他行业名称不同的覆盖率指标种类,比如块、调用、函数、路径、判定覆盖率等。

C++

图一: 指标和趋势

自动化流程

Parasoft C/C++test的“一键获取覆盖率”功能在对减轻团队工作任务和减少成本方面,有着巨大作用。首先是自动生成测试用例,我们只需要单击一下测试配置,C/C++test即可分析代码并且自动生成智能的单元测试用例。然后我们可以执行这些单元测试用例。根据不同代码的大小和复杂性,团队基本上可以达到80%左右的覆盖率。

对于复杂的代码,总是有一些结构复杂的代码语句,要覆盖这些语句并且获取覆盖率是非常困难的。对于这些结构复杂的代码,我们可能需要根据不同的路径或条件情况排列,设计很多组测试用例,才有可能覆盖这些代码,这需要花费我们大量的时间和精力。但是我们现在就有一个完美的解决方案,那就是Parasoft C/C++test Coverage Advisor。Parasoft C/C++test覆盖率指导助手,可以帮我们分析结构或条件复杂的代码,提供给我们多组测试用例,使这些代码更容易被覆盖。

如何在Coverage Advisor中获取覆盖率

在编辑器中,右键单击您想要覆盖的代码行,然后选择Parasoft->Show in Coverage Advisor。

C++

图二:在Coverage Advisor菜单中显示

下图展示了为用户提供的多种测试用例,前置条件字段表示:

mainSensorSignal和coSensorSignal的范围和输入值

外部调用的预期输出

在使用这些设置的参数值和外部调用的桩函数创建单元测试用例时,用户将获得所选行的覆盖率。

C++

图三:Parasoft C/C++test2020.2 Coverage Advisor行覆盖分析反馈

总结

在构建嵌入式安全和安全关键型软件系统时,代码结构覆盖率是必须的。同时,我们可以将对应的测试用例和需求关联上,这样可以确保:

创建了足够的测试用例来测试软件

没有任何死代码

每一行代码都经过合规性和认证需求的检查

Parasoft C/C++test是一个完整的软件测试解决方案,它为团队提供了测试方法功能和自动化生产能力,比如覆盖率覆盖率指导助手。利用这个功能,开发人员可以快速实现他们的代码覆盖率目标。相应地,管理者可以加快产品上市时间、保障审计和简化产品认证。在向市场输出高质量软件的同时,能够降低成本投入。

审核编辑 :李倩

 

打开APP阅读更多精彩内容
声明:本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人,不代表电子发烧友网立场。文章及其配图仅供工程师学习之用,如有内容侵权或者其他违规问题,请联系本站处理。 举报投诉

全部0条评论

快来发表一下你的评论吧 !

×
20
完善资料,
赚取积分