半岛权威十大直营(官方)网站

软件测试是软件开发的组成部分。开发和执行代码的每个行业都可以从使用结构化代码覆盖率测试工具中受益。这些工具在安全性至关重要的应用程序的嵌入式开发行业中特别有用，因为在这些应用程序中，软件系统不会发生故障，否则将会丧生。Parasoft C/C++test 2020.2附带了Coverage Advisor，可帮助用户创建难以确定且耗时的难以理解的测试用例。

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

在嵌入式安全性和安全性至关重要的系统中获得100％的代码覆盖率指标可以达到多种目的。主要目的是符合DO-178C，IEC 62304等工艺标准中定义的验证和确认（V＆V）要求。想要了解验证和确认有什么区别？请阅读另一篇文章：嵌入式软件中的软件验证与软件确认。

优点

代码覆盖率提供的值是一项附加的V＆V活动，该活动可以清除代码中的缺陷。它可以确保每行代码都已执行，因此可以通过测试进行检查。这为您提供了额外的代码质量和可靠性安全网。

另外，如果您执行所有测试用例并仅获得60％，则很显然您没有创建足够的测试用例。结果，在这些未触及的区域中可能会隐藏隐患。

另一个问题是“死代码”。这意味着永远不会执行的代码，因为不存在任何途径。当实现功能部件/功能时，可能会发生这种情况，但在某些时候，功能部件的要求已被删除。如果您没有完全删除代码，则可能会导致代码失效。在函数或操作中查找无效代码还会突出显示必须解决的不良代码逻辑。在这种情况下，无效代码表示不存在可到达的逻辑路径。

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

您可以通过各种测试方法或以下各项的组合来实现代码覆盖：

• 单元

• 集成

• 系统测试

我参与了以下两种方法，Parasoft轻松支持这些方法：

• 系统测试和单元测试的结合。首先，检测代码并执行所有系统测试用例，这将产生大量覆盖率指标。最后，进行单元测试以覆盖其余未发现的代码。

• 利用单元测试实现100％的结构代码覆盖率。这种方法很简单。用户创建单元级别的测试用例，以确保覆盖每个功能/操作。

代码覆盖率指标

有多种覆盖率指标需要考虑。知道要应用哪种特定类型取决于IEC 61508中定义的软件完整性级别（SIL）。另一个示例是DO-178B/C的设计保证级别（DAL）。对于嵌入式系统，引用的控制指标是语句、分支、修改后的条件决策覆盖范围（MC/DC），对于最严格的要求，还提供对象/组装代码。Parasoft支持收集所有这些覆盖率指标，包括其他行业使用的术语，例如阻止、调用、功能、路径、决策等。

图1：指标和趋势

流程自动化

Parasoft C/C++test在自动化获取代码覆盖率的过程中极大地影响了生产力。首先是在自动测试用例生成中。通过单击和选择菜单，测试解决方案可以分析代码并自动生成智能单元测试用例。然后可以执行这些单元测试用例。根据代码大小和复杂性，团队可以立即达到90％。

对于复杂的代码，总是存在难以捉摸的代码语句，因此很难获得覆盖。可能会有多个具有各种排列和可能路径的输入值，使它们难以理解且费时。但是只有一种组合可以为您提供所需的覆盖范围。Parasoft C/C++test 2020.2增强了其覆盖率顾问，使其更易于获得那些难以访问的代码行的覆盖率。

如何在Coverage Advisor中获得承保范围

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

图2：在Coverage Advisor菜单中显示

下面的图3显示了为用户提供解决方案的分析报告。前提条件字段表示：

• mainSensorSignal和coSensorSignal的范围和输入值

• 外部呼叫的预期输出

使用这些设置的参数值和外部调用的存根创建单元测试用例后，用户将获得所选行的覆盖率以及“预期覆盖率”字段中表示的其他行。

图3：Parasoft C/C++test 2020.2 Coverage Advisor线路覆盖率分析反馈

总结

在构建嵌入式安全性和安全性至关重要的软件系统时，执行结构性代码覆盖是必要的。连同需求测试覆盖范围，它可以确保：

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

• 没有任何无效代码。

• 检查每条生产线是否符合法规和认证要求。

Parasoft C/C++test是一个统一的测试解决方案，为团队提供测试方法功能和自动化生产率功能，例如Coverage Advisor。使用此功能，开发人员可以快速实现其代码覆盖率目标。因此，软件主管和经理可以实现上市时间、降低人工成本、审计保护措施以及简化产品认证的业务目标。