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

在審

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

本申請(qǐng)公開了一種星載軟件測(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è)試用例集。本申請(qǐng)?zhí)岣吡怂傻臏y(cè)試用例的質(zhì)量。

技術(shù)領(lǐng)域

本申請(qǐng)涉及測(cè)試技術(shù)領(lǐng)域，尤其涉及一種星載軟件測(cè)試用例的生成方法及裝置。

背景技術(shù)

由于嵌入式軟件系統(tǒng)內(nèi)核較小、系統(tǒng)精簡(jiǎn)以及實(shí)時(shí)性強(qiáng)等優(yōu)點(diǎn)，嵌入式軟件系統(tǒng)非常適用于具有多任務(wù)的操作系統(tǒng)，星載系統(tǒng)資源有限，專用性強(qiáng)的特定場(chǎng)合，故嵌入式軟件被廣泛應(yīng)用到航天領(lǐng)域中。隨著航天技術(shù)的快速發(fā)展，嵌入式軟件能夠?qū)崿F(xiàn)對(duì)設(shè)備運(yùn)行、監(jiān)控或自動(dòng)化管理等功能，航天領(lǐng)域相關(guān)軟件一旦出現(xiàn)錯(cuò)誤或者失效將會(huì)導(dǎo)致非常嚴(yán)重的后果甚至造成重大的損失，因此，對(duì)航天領(lǐng)域相關(guān)軟件的正確性、可靠性以及安全性有著非常嚴(yán)格的要求。為了保證軟件的正確性、可靠性以及安全性，通常采用測(cè)試用例對(duì)軟件的正確性、可靠性以及安全性檢測(cè)。隨著軟件研制趨于工程化，敏捷化發(fā)展，研制周期變短，需求更動(dòng)迭代快速，對(duì)測(cè)試用例的效率和測(cè)試充分性要求也越來(lái)越高。

目前，常用的測(cè)試用例的生成方法主要是技術(shù)人員基于文檔的需求分析模式，通過(guò)經(jīng)驗(yàn)以及自然語(yǔ)言描述生成軟件的測(cè)試用例。一方面，由于自然語(yǔ)言的描述存在二義性，且測(cè)試用例設(shè)計(jì)的質(zhì)量和效率主要依賴于人員經(jīng)驗(yàn)，使得生成的測(cè)試用例缺乏規(guī)范性和標(biāo)準(zhǔn)性；另一方面，對(duì)于具有復(fù)雜邏輯的功能模塊，測(cè)試用例設(shè)計(jì)的充分性和合理性難以保障，缺乏評(píng)價(jià)標(biāo)準(zhǔn)，并且對(duì)于測(cè)試用例的回歸測(cè)試影響需要采用專門的覆蓋率分析工具進(jìn)行統(tǒng)計(jì)，針對(duì)不同的測(cè)試設(shè)備，嵌入式處理器需要選用特定的工具進(jìn)行統(tǒng)計(jì)分析，因此，現(xiàn)有技術(shù)中所生成的測(cè)試用例缺乏規(guī)范性、標(biāo)準(zhǔn)性以及評(píng)價(jià)標(biāo)準(zhǔn)，且充分性以及合理性也不足，進(jìn)而降低了測(cè)試用例的質(zhì)量。

發(fā)明內(nèi)容

本申請(qǐng)解決的技術(shù)問(wèn)題是：針對(duì)現(xiàn)有技術(shù)所生成的測(cè)試用例的質(zhì)量較差的問(wèn)題，本申請(qǐng)?zhí)峁┝艘环N星載軟件測(cè)試用例的生成方法及裝置，本申請(qǐng)實(shí)施例所提供的方案中，一方面通過(guò)采用狀態(tài)機(jī)圖對(duì)軟件系統(tǒng)中功能的狀態(tài)圖元以及轉(zhuǎn)移圖元進(jìn)行描述，即采用半形式化的語(yǔ)言對(duì)軟件系統(tǒng)中功能的狀態(tài)圖元以及轉(zhuǎn)移圖元進(jìn)行描述，避免傳統(tǒng)自然語(yǔ)言描述的不規(guī)范性和二義性、需求可讀性差且不容易維護(hù)等問(wèn)題，能夠清晰準(zhǔn)確的表示軟件系統(tǒng)復(fù)雜的行為邏輯；另一方面，將狀態(tài)機(jī)模型轉(zhuǎn)換為有向圖以及確定有向圖中所有路徑集合，并根據(jù)預(yù)設(shè)的路徑約束條件從所有路徑集合中確定出可執(zhí)行路徑集合，然后根據(jù)預(yù)設(shè)的測(cè)試用例覆蓋策略從可執(zhí)行路徑集合中確定出可執(zhí)行測(cè)試路徑集合，并根據(jù)可執(zhí)行測(cè)試路徑集合自動(dòng)生成測(cè)試用例集，不僅能夠根據(jù)設(shè)定的路徑約束條件選擇可執(zhí)行路徑集合，保證了測(cè)試的充分性和完備性，還能根據(jù)可執(zhí)行測(cè)試路徑集合自動(dòng)生成測(cè)試用例集，降低了對(duì)測(cè)試人員用例設(shè)計(jì)能力的依賴，進(jìn)而提高了所生成的測(cè)試用例的質(zhì)量。

第一方面，本申請(qǐng)實(shí)施例提供一種星載軟件測(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è)試用例集。