parasoft c/c++嵌入式单元测试：测试用例，覆盖率

 

准备测试套件和第一示范性测试用例

一旦完成C++test项目和uVision项目配置，所有的开发
环境限制都解决了。我们可以运行一个简单的测试用例来验证是否工作正常。为了避免被测功能或测试项目的其他部分出现争议，建议使用简单的功能进行初始化测试验证。通过这种方式，我们可以避免将设置问题与错误的初始化参数或外部函数区分开来。

部署并收集结果

第一次运行测试用例，要在C++test的测试用例管理器中选择并运行自定义测试配置。接着，你就可以得到测试结果和被测函数的代码覆盖率报告。这前半部分的文章中，我们简要介绍了嵌入式的单元测试。我们例举了一个简单的ASR系统（驱动防滑校准）的例子。在第二部分，我们将展示如何在单元测试中达到目的，例如一定程度的代码覆盖率。

实现单元测试的实际结果

首先，要确保所有的配置已经按照前文所说完成了。对于有经验的用户，这项工作只需要几分钟到一个小时。

覆盖目标

IEC-61508-3国际标准第二版中，强烈建议代码覆盖率的明确类型需要实现一个给定的安全完整性等级。SIL2需要100%的语句覆盖。SIL3要求100%的分支覆盖。SIL4需要100%的MC/ DC覆盖率（表B-2）。没有单元测试，想实现100%覆盖几乎是不可能的。现在，有几种技术可以显著减少所需的工作量。

覆盖度量

首先注意的是，C++test真实地反映了我们的覆盖范围：行，语句，分支或MC/ DC覆盖。您可以简单直接地导航到需要额外操作的功能上，以达到理想的覆盖范围。若是没有这项功能，将不能直接进行操作了。你将不知道代码的哪些部分需要额外的覆盖，哪些不需要。因此，无论你使用什么测试框架，都要确保提供了正确的覆盖度量。

生成测试用例

我们的目标是单元测试（SIL2）达到100%的语句覆盖。我们首先关注名为“proc.c”的文件，它包含计算车轮'旋转速度（“update_speed”）的函数；计算 制动功率（“update_brake_signal”，“brake_control”）和一些额外的平滑函数（“平均”）。因为文章 内容有限，我们这里不讨论这些功能究竟是如何工作以及它们是好是坏。我们的重点是如何对它进行单元测试。

在开始之前，我们可以重新输入测试用例。然而，更好的方法是自动生成。你只需要将需要生成测试用例的文件（也可以是目录或整个项目）高亮，然后在C++test菜单中选择内置的 “Generate Unit Tests”测试设置。在我们的例子中，所有的功能都在“proc.c”文件中，所以我们选中它并运行。接着，在项目中创建了 A “tests”目录，随之自动生成子目录。C++test分析代码并生成自动测试用例，并将它们存储在该目录中。使用这种方法，我们只用了30秒就生成了38个测试用例。生成的时间主要取决于代码。

这时生成的测试用例还没有包括断言。执行第一次后，看它的实际价值，并报告“验证结果”。一旦这些 值通过验证，C++test将把这些语句转化为实际的断言。如果结果不正确，用户可以选择：删除测试用例、更正代码、输手动入断言等。