[發(fā)明專利]一種基于邏輯執(zhí)行塊的嵌入式軟件測試插樁方法

有效

• 申請?zhí)枺?/td>: 201110379877.2
• 申請日: 2011-11-24
• 公開（公告）號: CN102521123A
• 公開（公告）日: 2012-06-27
• 發(fā)明（設(shè)計(jì)）人: 王忠民;霍藝偉;梁琛;王文浪;范琳
• 申請（專利權(quán)）人: 西安郵電學(xué)院
• 主分類號: G06F11/36
• 分類號: G06F11/36
• 代理公司: 暫無信息
• 代理人: 暫無信息

1.一種基于邏輯執(zhí)行塊的嵌入式軟件測試插樁方法，包括如下步驟：

(1)根據(jù)不同的覆蓋測試類型，對被測程序進(jìn)行不同的預(yù)處理。

(2)分析預(yù)處理后被測程序的結(jié)構(gòu)，獲得被測程序語句類型、層級關(guān)系、嵌套關(guān)系等信息。

(3)在結(jié)構(gòu)分析的基礎(chǔ)上，對被測程序按邏輯執(zhí)行關(guān)系分塊。每個(gè)邏輯執(zhí)行塊作為一個(gè)插樁單位，將其入口和出口位置定為插樁點(diǎn)。

(4)初始化探針函數(shù)及插樁環(huán)境，在插樁點(diǎn)插入探針函數(shù)。

(5)運(yùn)行插樁后的被測程序。每經(jīng)過一次插樁點(diǎn)，由探針函數(shù)發(fā)送該插樁點(diǎn)的位置信息。統(tǒng)計(jì)接收到的樁信息，計(jì)算出各插樁點(diǎn)的執(zhí)行次數(shù)(邏輯執(zhí)行塊的入口和出口位置的執(zhí)行次數(shù))。

(6)根據(jù)步驟(2)中記錄的被測程序語句類型、層級關(guān)系、嵌套關(guān)系等信息，計(jì)算每個(gè)邏輯執(zhí)行塊中所有語句的執(zhí)行次數(shù)，進(jìn)而計(jì)算出覆蓋率。

2.根據(jù)權(quán)利要求1所述的一種基于邏輯執(zhí)行塊的嵌入式軟件測試插樁方法，其特征在于，可以確定被測程序的語句的類型以及層級關(guān)系、嵌套關(guān)系。

3.根據(jù)權(quán)利要求1、2所述的一種基于邏輯執(zhí)行塊的嵌入式軟件測試插樁方法，其特征在于，被測程序語句類型的識別采用超前搜索的方式。

4.根據(jù)權(quán)利要求1、2所述的一種基于邏輯執(zhí)行塊的嵌入式軟件測試插樁方法，其特征在于，被測程序?qū)蛹夑P(guān)系、嵌套關(guān)系的分析采用深度優(yōu)先的匹配算法。

5.根據(jù)權(quán)利要求1所述的一種基于邏輯執(zhí)行塊的嵌入式軟件測試插樁方法，其特征在于，根據(jù)被測程序的層級關(guān)系、嵌套關(guān)系、邏輯執(zhí)行關(guān)系來對被測程序分塊插樁。

6.根據(jù)權(quán)利要求1所述的一種基于邏輯執(zhí)行塊的嵌入式軟件測試插樁方法，其特征在于，探針函數(shù)并非直接插入源文件，而是以庫函數(shù)的形式鏈接到源文件中。

7.根據(jù)權(quán)利要求1所述的一種基于邏輯執(zhí)行塊的嵌入式軟件測試插樁方法，其特征在于，能夠完成包括語句覆蓋率、判定覆蓋率、條件覆蓋率、判定/條件覆蓋率、條件組合覆蓋率在內(nèi)的五種覆蓋率測試。