[發(fā)明專利]一種飛行控制軟件中增益覆蓋率測試的方法有效
| 申請?zhí)枺?/td> | 201711292849.0 | 申請日: | 2017-12-08 |
| 公開(公告)號: | CN108132877B | 公開(公告)日: | 2021-04-20 |
| 發(fā)明(設(shè)計)人: | 許海靜;孫紹山;楊偉;嚴增銳;饒曉 | 申請(專利權(quán))人: | 中航(成都)無人機系統(tǒng)股份有限公司 |
| 主分類號: | G06F11/36 | 分類號: | G06F11/36 |
| 代理公司: | 中國航空專利中心 11008 | 代理人: | 王中興 |
| 地址: | 611731 四*** | 國省代碼: | 四川;51 |
| 權(quán)利要求書: | 查看更多 | 說明書: | 查看更多 |
| 摘要: | |||
| 搜索關(guān)鍵詞: | 一種 飛行 控制 軟件 增益 覆蓋率 測試 方法 | ||
1.一種飛行控制軟件中增益覆蓋率測試的方法,其特征為所述方法包括:
a)常量增益覆蓋率測試:遍歷增益文件和源代碼中常量所在文件,將二者進行比較,記錄常量匹配結(jié)果;
b)變量增益結(jié)構(gòu)體分析:分析增益結(jié)構(gòu)體定義文件,通過4種增益結(jié)構(gòu)體的各自特征進行分類記錄,生成init.txt文件,分別記錄下覆蓋率所需信息;所述4種增益結(jié)構(gòu)體為開關(guān)量結(jié)構(gòu)體、一維插值結(jié)構(gòu)體、復(fù)合結(jié)構(gòu)體和二維插值結(jié)構(gòu)體;
c)源代碼插樁:在源代碼中用變量增益插樁函數(shù)替換增益計算函數(shù),在運行用例時,記錄下用例運行的覆蓋率所需信息,生成print.txt文件;
d)增益覆蓋率結(jié)果分析:讀取常量增益的匹配結(jié)果和結(jié)構(gòu)體類型常量的統(tǒng)計結(jié)果做出統(tǒng)計,生成增益覆蓋率測試報告。
該專利技術(shù)資料僅供研究查看技術(shù)是否侵權(quán)等信息,商用須獲得專利權(quán)人授權(quán)。該專利全部權(quán)利屬于中航(成都)無人機系統(tǒng)股份有限公司,未經(jīng)中航(成都)無人機系統(tǒng)股份有限公司許可,擅自商用是侵權(quán)行為。如果您想購買此專利、獲得商業(yè)授權(quán)和技術(shù)合作,請聯(lián)系【客服】
本文鏈接:http://www.szxzyx.cn/pat/books/201711292849.0/1.html,轉(zhuǎn)載請聲明來源鉆瓜專利網(wǎng)。
- 一種基于應(yīng)用軟件散布的軟件授權(quán)與保護方法及系統(tǒng)
- 一種用于航空機載設(shè)備的軟件在線加載系統(tǒng)及方法
- 軟件構(gòu)建方法、軟件構(gòu)建裝置和軟件構(gòu)建系統(tǒng)
- 惡意軟件檢測方法及裝置
- 一種基于軟件基因的軟件同源性分析方法和裝置
- 軟件引入系統(tǒng)、軟件引入方法及存儲介質(zhì)
- 軟件驗證裝置、軟件驗證方法以及軟件驗證程序
- 使用靜態(tài)和動態(tài)惡意軟件分析來擴展惡意軟件的動態(tài)檢測
- 一種工業(yè)控制軟件構(gòu)建方法和軟件構(gòu)建系統(tǒng)
- 可替換游戲軟件與測驗軟件的裝置與方法





