[發(fā)明專利]一種軟件可靠性的測試數(shù)據(jù)生成方法

有效

• 申請?zhí)枺?/td>: 201810902503.6
• 申請日: 2018-08-09
• 公開（公告）號: CN108959104B
• 公開（公告）日: 2021-08-31
• 發(fā)明（設(shè)計(jì)）人: 封二強(qiáng);鄭軍
• 申請（專利權(quán)）人: 中國航空綜合技術(shù)研究所
• 主分類號: G06F11/36
• 分類號: G06F11/36
• 代理公司: 北京孚睿灣知識產(chǎn)權(quán)代理事務(wù)所(普通合伙) 11474
• 代理人: 孫建

1.一種軟件可靠性的測試數(shù)據(jù)生成方法，其特征在于，該方法包括：

S1、軟件失效模式分析：確定軟件的所有失效模式，并對每一個失效模式進(jìn)行分析確定對應(yīng)的控制措施；

S2、軟件空間分析：對軟件的使用方式進(jìn)行分析，確定軟件的輸入變量、輸出變量、變量的取值空間、變量在取值空間內(nèi)的取值規(guī)則和約束條件；

S3、映射步驟：將所述失效模式映射至所述軟件空間，建立所述失效模式與軟件空間的映射函數(shù)；

S4、生成測試數(shù)據(jù)：基于所述失效模式與軟件空間的映射函數(shù)根據(jù)軟件在使用時(shí)可能的輸入、輸出值生成測試數(shù)據(jù)；

S5、生成可執(zhí)行測試文件：基于所述測試數(shù)據(jù)和測試環(huán)境生成可執(zhí)行測試文件；

步驟S1具體包括：

S11、確定軟件中的每個軟件部件或軟件單元之間的功能邏輯關(guān)系，確定軟件約定層次結(jié)構(gòu)、初始約定層次、最低約定層次和約定層次；

S12、針對每個被分析的軟件單元，確定其所有可能的失效模式Fm，其中，F(xiàn)m＝{m_i,e_i,c_i}，m_i為失效原因，e_i為軟件失效造成的影響，c_i為第i個失效原因的控制措施；

S13、對每個軟件失效模式Fm分析所有可能的原因m_i；

S14、針對每一個可能的原因m_i分析失效模式對軟和/或硬件綜合系統(tǒng)的功能影響e_i，e_i為第i個原因m_i造成的影響；

S15、根據(jù)每個軟件失效模式的原因m_i、影響e_i，確定針對性的控制措施c_i，其中，i為正整數(shù)。

2.根據(jù)權(quán)利要求1所述的軟件可靠性的測試數(shù)據(jù)生成方法，其特征在于，步驟S2具體包括：

S21、定義軟件輸入空間為五元組ISp＝{Iv_i,Il_i,It_i,Ip_i,If_i}，其中Iv_i為第i個輸入變量，Il_i為第i個輸入變量取值空間，It_i為第i個輸入變量約束條件，Ip_i為第i個輸入變量取值規(guī)則，If_i為第i個輸入變量關(guān)聯(lián)的軟件功能；定義軟件輸出空間為五元組OSp＝{Ov_i,Ol_i,Ot_i,Op_i,Of_i}，其中Ov_i為第i個輸出變量，Ol_i為第i個輸出變量取值空間，Ot_i為第i個輸出變量約束條件，Op_i為第i個輸出變量取值規(guī)則，Of_i為第i個輸出變量關(guān)聯(lián)的軟件功能；

S22、確定軟件的輸入變量Iv_i、輸出變量Ov_i，并確定對應(yīng)的取值空間Il_i、Ol_i；

S23、確定輸入變量Iv_i的約束條件It_i，確定輸出變量Ov_i的約束條件Ot_i；

S24、確定輸入變量Iv_i的取值規(guī)則Ip_i，確定輸出變量Ov_i的取值規(guī)則Op_i；

S25、將輸入變量Iv_i與軟件功能If_i進(jìn)行關(guān)聯(lián)，輸出變量Ov_i與軟件功能Of_i進(jìn)行關(guān)聯(lián)；

S26、建立軟件空間模型SP＝{ISp,OSp}，其中，i為正整數(shù)。