Loading
0

Parasoft C/C++test的动态桩:根据不同测试用例返回不同结果

在嵌入式与C/C++软件开发中,单元测试是确保代码质量与可靠性的关键环节。Parasoft C/C++test作为一款专业的自动化测试工具,能够帮助开发人员高效完成代码验证、静态分析及覆盖率检测。然而,在实际测试过程中,复杂函数往往存在多次调用同一依赖函数的情况,且需要依赖函数在不同调用次数下返回不同结果,以验证被测函数的全部分支逻辑。

>>点击获取Parasoft C/C++test试用

情况说明

在很多情况下,对一些函数进行单元测试时,该函数需要调用其他函数进行运算。则cpptest会对其被调用的函数进行打桩。但有些情况下,一个函数中多次调用另一个函数,并且需要被调用函数给出不同返回值,程序才可以继续运行。在cpptest自动化生成的测试用例及桩函数使用中,测试用例调用桩函数的过程是封装的,所以当一个测试用例被设计完成后,它的调用桩的对象是固定的,而一个被打桩函数如果存在多个返回值情况,被测函数根据被打桩函数返回值做一些其他动作时会无法对进行准确测试。例如:

int funcA();
int funcB()
{
     funcA();
    return funcA();
}

代码中funcB两次调用funcA,而假设funcA是一种设备状态信号返回,当进行测试时,一个测试用例需要两次调用funcA,且2次funcA的返回值不同。简单的自动化单元测试并无法做到这一点,需要更多的人为介入。

下面就简单说明了针对这种情况的处理方法。

示例源码

int funcA();
int funcB()
{
     funcA();
    return funcA();
}

函数B两次调用函数A,A可能为某些设备状态返回值等,需要在特定状态下函数B做特定的事,比如第一次调用时A返回1,第二次调用时需要A返回2。

测试用例

void TestSuite_hhh_c_1e0b7b6_test_funcB_test()
{
    /* Pre-condition initialization */
    {
        /* Tested function call */
        int _return  = funcB();
        /* Post-condition check */
        CPPTEST_ASSERT_INTEGER_EQUAL(2, ( _return ) );
    }
}

可根据实际情况采用自动生成测试用例或根据测试用例向导自行添加。

桩函数

EXTERN_C_LINKAGE int funcA () ;
EXTERN_C_LINKAGE int CppTest_Stub_funcA (void)
{
    static int i=0;
    i++;
    if(i%2==1){
        return 1;
    }
    else
    return 2;
}

此处需要注意,应采用自定义用户桩,并对其进行一部分修改。如上述代码。对静态变量I进行循环自增,以此来表明调用次数,第一次调用时i经过自增结果为1,1%2结果为1,则funcA返回1,第二次调用时,i经过2次自增值为2,2%2结果为0,则funcA返回2。主要是用i%2这种判定余数的方法来给不同调用次数返回不同值。

验证结果

根据代码情况,在执行函数B测试用例时,第一次调用函数A返回1,第二次调用函数A返回2,则在函数B的测试用例执行之后,正确返回值为2,于是在其中进行断言。

下图为测试结果:

测试用例执行成功,证明断言正确。

除此以外,C++test还提供了多种API接口来控制桩函数的执行和返回结果。

* Available C++test API functions (see C++test Users Guide for details):
 *     void CppTest_Assert(bool test, const char * message)
 *     void CppTest_Break()
 *     const char* CppTest_GetCurrentTestCaseName()
 *     const char* CppTest_GetCurrentTestSuiteName()
 *     bool CppTest_IsCurrentTestCase(const char* testCaseName)
 */

 ```

比如最后一个可以用来判断当前执行的测试用例是否是某个具体的测试用例,来控制在不同的测试用例中桩函数返回不同的值。比如下面的代码:
```C
void foo()
{
    if (goo() == 1) {
        //code
    } else {
        //code
    }
}
为了达到100%的覆盖率,你可以创建两个foo()函数的测试用例,然后创建一个替代goo()函数的桩函数来实现:
int ::CppTest_Stub_goo()
{
    if (CppTest_IsCurrentTestCase("TestCase1")) {
        return 1;
    } else {
        return 0;
    }
}

在C++test实现的截图如下:

这样当执行的测试用例是第一个”test_foo_1”的时候则返回1,否则返回0
当单独执行第一个测试用例的时候,得到的覆盖率如下图:

当单独执行第二测试用例的时候,得到的覆盖率如下图:

当两个测试用例一起执行的覆盖率截图如下所示:

Parasoft C/C++test不仅支持通过自定义桩函数模拟外部依赖行为,还提供了丰富的内置API帮助用户根据测试场景动态控制桩函数行为。这一能力使得开发人员能够有效应对多分支、多状态场景下的单元测试挑战,显著提升测试覆盖率和代码可靠性。借助Parasoft C/C++test的强大功能,客户可以在持续集成与敏捷开发流程中,实现对复杂代码的全面自动化验证,最终交付更加稳定、高质量的软件产品。

关于慧都

慧都科技(EVGET)成⽴于2003年,是⼀家⾏业数字化解决⽅案公司,⻓期专注于软件、油⽓与制造⾏业。公司基于深⼊的业务理解与管理洞察,以系统化的业务建模驱动技术落地,帮助企业实现智能化运营与⻓期竞争优势。

慧都科技作为Parasoft公司在中国区的官方授权合作伙伴,为国内企业提供Parasoft C/C++test产品的正版授权、定制化部署与全生命周期技术支持与服务。我们致力于助力客户精准贯彻功能安全标准、全面提升软件开发效率、有效管控项目风险,最终构建符合国际标准的高质量软件体系。