[發(fā)明專利]一種星載軟件測(cè)試用例的生成方法及裝置

在審

• 申請(qǐng)?zhí)枺?/td>: 202010762816.3
• 申請(qǐng)日: 2020-07-31
• 公開(kāi)（公告）號(hào): CN112015639A
• 公開(kāi)（公告）日: 2020-12-01
• 發(fā)明（設(shè)計(jì)）人: 黃晨;江云松;于倩;左萬(wàn)娟;馮濤;陳華南;房振軍;王松松;徐逸群;魏鵬;虞礪琨;郭華;王小麗
• 申請(qǐng)（專利權(quán)）人: 北京軒宇信息技術(shù)有限公司
• 主分類號(hào): G06F11/36
• 分類號(hào): G06F11/36
• 代理公司: 中國(guó)航天科技專利中心 11009
• 代理人: 陳鵬

1.一種星載軟件測(cè)試用例的生成方法，其特征在于，包括：

根據(jù)預(yù)設(shè)的星載軟件需求信息建立狀態(tài)機(jī)模型，其中，所述狀態(tài)機(jī)模型是指采用狀態(tài)機(jī)圖描述軟件系統(tǒng)中功能的狀態(tài)圖元以及轉(zhuǎn)移圖元；

將所述狀態(tài)機(jī)模型轉(zhuǎn)換為有向圖以及確定所述有向圖中所有路徑集合，并根據(jù)預(yù)設(shè)的路徑約束條件從所有路徑集合中確定出可執(zhí)行路徑集合；

根據(jù)預(yù)設(shè)的測(cè)試用例覆蓋策略從所述可執(zhí)行路徑集合中確定出可執(zhí)行測(cè)試路徑集合，根據(jù)所述可執(zhí)行測(cè)試路徑集合自動(dòng)生成測(cè)試用例集。

2.如權(quán)利要求1所述的方法，其特征在于，根據(jù)預(yù)設(shè)的星載軟件需求信息建立狀態(tài)機(jī)模型，包括：

確定所述軟件系統(tǒng)與外部系統(tǒng)之間的硬件接口信息以及數(shù)據(jù)流信息；

根據(jù)所述星載軟件需求信息、所述硬件接口信息以及所述數(shù)據(jù)流信息將所述軟件系統(tǒng)的功能進(jìn)行分層劃分確定所述軟件系統(tǒng)的功能和子功能，根據(jù)所述功能和子功能建立分層的數(shù)據(jù)流圖；

建立各功能對(duì)應(yīng)的測(cè)試場(chǎng)景以及根據(jù)所述數(shù)據(jù)流圖確定各功能的狀態(tài)圖元以及轉(zhuǎn)移圖元以及測(cè)試場(chǎng)景，基于所述測(cè)試場(chǎng)景采用狀態(tài)機(jī)圖對(duì)所述狀態(tài)圖元、所述轉(zhuǎn)移圖元進(jìn)行描述建立得到所述狀態(tài)機(jī)模型。

3.如權(quán)利要求2所述的方法，其特征在于，基于所述測(cè)試場(chǎng)景采用狀態(tài)機(jī)圖對(duì)所述狀態(tài)圖元、所述轉(zhuǎn)移圖元進(jìn)行描述建立得到所述狀態(tài)機(jī)模型，包括：

確定所述狀態(tài)圖元以及所述轉(zhuǎn)移圖元的屬性信息，其中，屬性信息包括狀態(tài)圖元的執(zhí)行動(dòng)作、轉(zhuǎn)移圖元的觸發(fā)、守衛(wèi)和轉(zhuǎn)移造成的影響；

采用預(yù)設(shè)的動(dòng)作表達(dá)式對(duì)所述狀態(tài)圖元的執(zhí)行動(dòng)作、所述轉(zhuǎn)移圖元的觸發(fā)進(jìn)行定義，采用預(yù)設(shè)的變量表達(dá)對(duì)所述轉(zhuǎn)移圖元的守衛(wèi)進(jìn)行定義，以及采用預(yù)設(shè)的動(dòng)作表達(dá)式或預(yù)設(shè)的變量表達(dá)對(duì)所述轉(zhuǎn)移造成的影響進(jìn)行定義得到所述狀態(tài)機(jī)模型。

4.如權(quán)利要求3所述的方法，其特征在于，將所述狀態(tài)機(jī)模型轉(zhuǎn)換為有向圖以及確定所述有向圖中所有路徑集合，包括：

根據(jù)將所述狀態(tài)圖元作為所述有向圖的節(jié)點(diǎn)以及將所述轉(zhuǎn)移圖元作為所述有向圖的邊原則，將所述狀態(tài)機(jī)模型轉(zhuǎn)換為有向圖；

計(jì)算所述有向圖中各節(jié)點(diǎn)的出度和入度，根據(jù)所述出度和入度建立鄰接矩陣，根據(jù)所述鄰接矩陣確定所述所有路徑集合。

5.如權(quán)利要求4所述的方法，其特征在于，根據(jù)將所述狀態(tài)圖元作為所述有向圖的節(jié)點(diǎn)以及將所述轉(zhuǎn)移圖元作為所述有向圖的邊原則，將所述狀態(tài)機(jī)模型轉(zhuǎn)換為有向圖，包括：

對(duì)所述狀態(tài)機(jī)模型進(jìn)行解析確定各個(gè)圖元的屬性信息，其中，所述屬性信息包括通用屬性信息以及專用屬性信息；

根據(jù)所述屬性信息判斷所述狀態(tài)機(jī)模型中是否存在復(fù)合狀態(tài)，其中，所述復(fù)合狀態(tài)包括外層狀態(tài)和至少一層內(nèi)層子狀態(tài)；

若存在，則判斷所述復(fù)合狀態(tài)是否設(shè)置為隱蔽；

若設(shè)置為隱蔽，則將所述復(fù)合狀態(tài)作為簡(jiǎn)單狀態(tài)進(jìn)行轉(zhuǎn)換；

否則，判斷轉(zhuǎn)移是否指向復(fù)合狀態(tài)的外層狀態(tài)；

若指向外層狀態(tài)，則從所述復(fù)合狀態(tài)中每個(gè)內(nèi)層子狀態(tài)的初始節(jié)點(diǎn)開(kāi)始進(jìn)行轉(zhuǎn)換；若轉(zhuǎn)移指向所述復(fù)合狀態(tài)中任一內(nèi)層子狀態(tài)，則從指向的內(nèi)層子狀態(tài)開(kāi)始進(jìn)行轉(zhuǎn)換。

6.如權(quán)利要求1～5任一項(xiàng)所述的方法，其特征在于，所述預(yù)設(shè)的測(cè)試用例覆蓋策略包括：基本路徑覆蓋策略以及簡(jiǎn)單路徑覆蓋策略；其中，

所述基本路徑覆蓋策略包括：狀態(tài)覆蓋、轉(zhuǎn)移覆蓋以及基本覆蓋；所述狀態(tài)覆蓋是指可執(zhí)行路徑的集合中覆蓋有向圖中的所有狀態(tài)，所述轉(zhuǎn)移覆蓋是指可執(zhí)行路徑的集合中覆蓋有向圖中的所有轉(zhuǎn)移，所述基本覆蓋是指采用深度優(yōu)先遍歷算法生成的可執(zhí)行路徑的集合，且每個(gè)狀態(tài)在路徑中只能執(zhí)行一次。

簡(jiǎn)單路徑覆蓋策略包括所述狀態(tài)覆蓋、所述轉(zhuǎn)移覆蓋和簡(jiǎn)單路徑覆蓋；所述簡(jiǎn)單路徑覆蓋是指采用深度優(yōu)先遍歷算法生成的可執(zhí)行路徑的集合，且每個(gè)轉(zhuǎn)移在路徑中只能執(zhí)行一次。

7.如權(quán)利要求1～5任一項(xiàng)所述的方法，其特征在于，所述可執(zhí)行測(cè)試路徑集合，包括如下至少一種集合：涵蓋指定狀態(tài)的可執(zhí)行路徑的集合、涵蓋指定轉(zhuǎn)移的可執(zhí)行路徑的集合、涵蓋指定分支的可執(zhí)行路徑的集合、包含指定相鄰節(jié)點(diǎn)的可執(zhí)行路徑的集合、以及包含指定節(jié)點(diǎn)優(yōu)先關(guān)系的可執(zhí)行路徑的集合。