一種基于邏輯執(zhí)行塊的嵌入式軟件測試插樁方法

基本信息

申請?zhí)?/td> CN201110379877.2 申請日 -
公開（公告）號 CN102521123B 公開（公告）日 2016-04-06
申請公布號 CN102521123B 申請公布日 2016-04-06
分類號 G06F11/36(2006.01)I 分類 計算；推算；計數(shù);
發(fā)明人 王忠民;霍藝偉;梁琛;王文浪;范琳 申請（專利權(quán)）人 陜西埃菲克能源科技有限公司
代理機構(gòu) - 代理人 -
地址 710065 陜西省西安市高新區(qū)唐延南路8號泰維智鏈中心項目T1樓16層02號
法律狀態(tài) -

摘要

摘要 本發(fā)明公開了一種基于邏輯執(zhí)行塊的嵌入式軟件測試插樁方法。首先根據(jù)不同的覆蓋測試類型，對被測程序進行預(yù)處理。接著分析被測程序結(jié)構(gòu)，獲得語句類型、層級關(guān)系、嵌套關(guān)系等信息。根據(jù)這些信息和邏輯執(zhí)行關(guān)系對被測程序分塊，每個邏輯執(zhí)行塊入口和出口位置插入探針函數(shù)。運行插樁后的被測程序，收集樁信息，統(tǒng)計插樁點語句的執(zhí)行次數(shù)。最后根據(jù)插樁點語句類型和被測程序?qū)蛹夑P(guān)系、嵌套關(guān)系，確定每段代碼塊中語句的執(zhí)行次數(shù)。該方法能厘清程序?qū)蛹夑P(guān)系、嵌套關(guān)系，計算包括語句覆蓋、判定覆蓋、條件覆蓋、判定/條件覆蓋、條件組合覆蓋在內(nèi)的多種覆蓋率。該方法基于代碼塊插樁，大大降低程序插樁后的膨脹率，減小海森堡效應(yīng)對實時性測試的影響。