在軟件測(cè)試工具Parasoft C/C++test中，樁函數(shù)是其實(shí)現(xiàn)高覆蓋率單元測(cè)試的核心機(jī)制之一，是用于模擬被測(cè)函數(shù)所依賴的外部組件的測(cè)試工具。它的核心作用是接管這些外部調(diào)用，并允許測(cè)試人員預(yù)設(shè)其行為，例如強(qiáng)制返回特定值或修改輸出參數(shù)。通過故意改變傳遞給主函數(shù)的參數(shù)值，可以精準(zhǔn)控制測(cè)試輸入，從而驗(yàn)證主函數(shù)在不同場(chǎng)景下的邏輯是否正確，確保其能夠妥善處理各種正常與異常情況。

>>點(diǎn)擊獲取Parasoft C/C++test試用

我們用Parasoft C/C++test通過樁函數(shù)的方式來控制輸入的參數(shù)，去實(shí)現(xiàn)高覆蓋率的測(cè)試，以下是示例代碼：

#include <stdint.h>

typedef uint8_t Std_ReturnType;

#define RTE_E_OK 0
#define DEM_EVENT_STATUS_PREPASSED 0
#define DEM_EVENT_STATUS_PREFAILED 1
#define RTE_SWC_ADC_ETHDIAG_SWC_INU_LinkUpStatus_u8_Signal 1

typedef struct {
    uint8_t inu_LinkUpSts;
    uint8_t ccu_LinkUpSts;
} LinkStatus;

Std_ReturnType Rte_Read_SWC_ADC_FM_SWC_INU_LinkUpStatus_u8_Signal(uint8_t* data) {
    *data = RTE_SWC_ADC_ETHDIAG_SWC_INU_LinkUpStatus_u8_Signal;
    return RTE_E_OK;
}

void Rte_Call_Event_DTC_0xD70188_Event_SetSts(uint8_t status) {
    // 添加實(shí)際的實(shí)現(xiàn)，根據(jù) DEM 事件設(shè)置狀態(tài)的需求
    // 此處僅為示例
    // ...
}

void EthLinkupStsDTCMainfunction(void) {
    uint8_t inu_LinkUpSts, ccu_LinkUpSts;

    Rte_Read_SWC_ADC_FM_SWC_INU_LinkUpStatus_u8_Signal(&inu_LinkUpSts);
    if (inu_LinkUpSts != 1) {
        /* 1inuDown */
        Rte_Call_Event_DTC_0xD70188_Event_SetSts(DEM_EVENT_STATUS_PREFAILED);
    } else {
        Rte_Call_Event_DTC_0xD70188_Event_SetSts(DEM_EVENT_STATUS_PREPASSED);
    }
}

int main(void) {
    /* 空的 main 函數(shù) */
    return 0;
}

接下來，我們以函數(shù)EthLinkupStsDTCMainfunction為例，用Pasasoft進(jìn)行測(cè)試，在默認(rèn)未配置函數(shù)打樁的情況下，其測(cè)試結(jié)果覆蓋情況如下圖：

測(cè)試用例設(shè)計(jì)

對(duì)被調(diào)函數(shù)Rte_Read_SWC_ADC_FM_SWC_INU_LinkUpStatus_u8_Signal打樁，因?yàn)镽te_Read_SWC_ADC_FM_SWC_INU_LinkUpStatus_u8_Signal的邏輯中，其實(shí)就是對(duì)inu_LinkUpSts重新賦值了。

Testcase1：對(duì)Rte_Read_SWC_ADC_FM_SWC_INU_LinkUpStatus_u8_Signal打樁，將inu_LinkUpSts的值修改成不等于1的值，來滿足 line31 的條件。

Testcase2：對(duì)Rte_Read_SWC_ADC_FM_SWC_INU_LinkUpStatus_u8_Signal打樁，將inu_LinkUpSts的值修改成等于1的值，來滿足 line34 的條件。

樁函數(shù)代碼如下：

#include "cpptest.h"
#include <stdint.h>

typedef uint8_t Std_ReturnType;

/**
 * This file contains user stub definitions.
 *
 * To create a user stub:
 * 1. Open stub template list:
 *    - Eclipse IDE: type 'stub' and press <Ctrl> <Space>
 *    - Microsoft Visual Studio IDE: use context menu C++test->Insert Snippet...
 * 2. Choose the stub template from the list.
 * 3. #include the header file where the function you want to stub is originally
 *    declared as well as any supporting header files as necessary.
 * 4. Fill out the stub signature to match that of the original function,
 *    while keeping the CppTest_Stub prefix when it applies.
 *    Note: for C++ operators, use appropriate stub names - e.g.:
 *        CppTest_Stub_operator_new    for operator new
 *        CppTest_Stub_operator_delete for operator delete
 *        CppTest_Stub_operator_plus   for operator +
 *    Refer to C++test User's Guide for a complete list of stub names for operators.
 * 5. Fill out the body of the stub according to intent.
 *
 * 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)
 */

/**
 * Header files where the stubbed functions are originally declared.
 * Verify #include directives and add any additional header files as necessary.
 */

/** User stub definition for function: Std_ReturnType Rte_Read_SWC_ADC_FM_SWC_INU_LinkUpStatus_u8_Signal(uint8_t *) */

EXTERN_C_LINKAGE Std_ReturnType Rte_Read_SWC_ADC_FM_SWC_INU_LinkUpStatus_u8_Signal (uint8_t * data) ;
EXTERN_C_LINKAGE Std_ReturnType CppTest_Stub_Rte_Read_SWC_ADC_FM_SWC_INU_LinkUpStatus_u8_Signal (uint8_t * data)
{
    CPPTEST_STUB_CALLED("Rte_Read_SWC_ADC_FM_SWC_INU_LinkUpStatus_u8_Signal");
    Std_ReturnType __return = (unsigned char)0;
    /**
     * This section enables Dynamic Stub Configuration with Stub Callbacks.
     *
     * IMPORTANT: THIS COMMENT BLOCK SHOULD NOT BE DELETED OR MODIFIED
     *
     * 1. Define stub callback function in test suite file - use the following signature:
     *     void CppTest_StubCallback_SomeName(CppTest_StubCallInfo* stubCallInfo, Std_ReturnType* __return, uint8_t * data)
     *
     * 2. Register stub callback in test case function - use the following code:
     *     CPPTEST_REGISTER_STUB_CALLBACK("Rte_Read_SWC_ADC_FM_SWC_INU_LinkUpStatus_u8_Signal", &CppTest_StubCallback_SomeName);
     *
     * 3. Fill out the body of the stub callback function according to intent.
     * The following line may be used to call original function inside stub callback:
     *     *__return = Rte_Read_SWC_ADC_FM_SWC_INU_LinkUpStatus_u8_Signal(data);
     */
    if (CPPTEST_STUB_HAS_CALLBACK()) {
        CPPTEST_STUB_CALLBACK_PARAMS(Std_ReturnType* __return, uint8_t * data);
        CPPTEST_STUB_INVOKE_CALLBACK(&__return, data);
    } else {
        if(CppTest_IsCurrentTestCase("TestSuite_main_c_136bf872_test_EthLinkupStsDTCMainfunction_1"))
        {
                *data = 1;
        }
        else
        {
                *data = 2;
        }
    }
    return __return;
}

運(yùn)行用例后，我們可以在Parasoft C/C++test清楚的看到我們使用樁函數(shù)的方式，來控制輸入?yún)?shù)后覆蓋率結(jié)果，和未使用的相比，有大幅度的提升。

Parasoft 通過其強(qiáng)大的樁函數(shù)功能，使開發(fā)人員能夠輕松模擬外部依賴并精準(zhǔn)控制輸入?yún)?shù)，從而高效完成對(duì)主函數(shù)各條件分支的全面測(cè)試，將難以觸發(fā)的測(cè)試場(chǎng)景變得完全可控。這不僅顯著提升了單元測(cè)試的效率和代碼可靠性，更是實(shí)現(xiàn)高覆蓋率目標(biāo)的關(guān)鍵技術(shù)。Parasoft 提供了一整套貫穿軟件開發(fā)生命周期的自動(dòng)化測(cè)試解決方案，致力于在代碼質(zhì)量、功能安全及行業(yè)合規(guī)性方面為客戶提供全面保障，幫助團(tuán)隊(duì)?wèi)?yīng)對(duì)復(fù)雜交互場(chǎng)景的測(cè)試挑戰(zhàn)，最終確保軟件產(chǎn)品符合高質(zhì)量標(biāo)準(zhǔn)與嚴(yán)格的安全規(guī)范。

關(guān)于慧都

慧都是一家行業(yè)數(shù)字化解決方案公司，專注于軟件、石油與工業(yè)領(lǐng)域，以深入的業(yè)務(wù)理解和行業(yè)經(jīng)驗(yàn)，幫助企業(yè)實(shí)現(xiàn)智能化轉(zhuǎn)型與持續(xù)競(jìng)爭(zhēng)優(yōu)勢(shì)。在軟件工程領(lǐng)域，我們提供開發(fā)控件、研發(fā)管理、代碼開發(fā)、部署運(yùn)維等軟件開發(fā)全鏈路所需的產(chǎn)品，提供正版授權(quán)采購(gòu)、技術(shù)選型、個(gè)性化維保等服務(wù)，幫助客戶實(shí)現(xiàn)技術(shù)合規(guī)、降本增效與風(fēng)險(xiǎn)可控。

慧都科技是 Parasoft 公司在中國(guó)區(qū)的官方授權(quán)合作伙伴。為國(guó)內(nèi)企業(yè)提供 Parasoft 軟件測(cè)試工具的正版授權(quán)銷售、技術(shù)支持、定制化部署及實(shí)施服務(wù)，旨在幫助國(guó)內(nèi)企業(yè)提升軟件質(zhì)量與測(cè)試效率。