[發明專利]IMA應用軟件故障注入方法

有效

• 申請號: 201611140194.0
• 申請日: 2016-12-12
• 公開（公告）號: CN108614764B
• 公開（公告）日: 2021-09-14
• 發明（設計）人: 周敏剛;封演利;張蕾;秦浩
• 申請（專利權）人: 中國航空工業集團公司西安航空計算技術研究所
• 主分類號: G06F11/36
• 分類號: G06F11/36
• 代理公司: 中國航空專利中心 11008
• 代理人: 杜永保

1.一種IMA應用軟件故障注入方法，其特征在于，使用一組工具函數，在代碼段中對故障功能打樁的方式進行故障注入，修改軟件故障函數的調用地址為故障樁地址，工具函數包括樁函數操作函數和地址操作函數， 樁函數操作函數包括樁安裝函數，用于將原調用函數替換成包括故障的樁函數； 地址操作函數包括符號地址轉換函數和虛實地址轉換函數，符號地址轉換函數用于從函數標識或變量名稱到虛擬地址的轉換，虛實地址轉換函數用于虛擬地址到物理地址的轉換；

樁安裝函數實現方法為：

(1.1)根據編譯生成的MAP文件，樁函數參數中被打樁函數或變量標識查找相應的地址和樁函數地址；

(1.2)找到被打樁函數和樁函數相應的地址后，進行虛擬地址到物理地址轉換，找到被打樁函數和樁函數的物理地址；

(1.3)將調用被打樁函數的物理地址空間修改為樁函數物理地址空間；

符號地址轉換函數實現方法為：

(2.1)將MAP文件中的函數或變量標識與其地址相對應，產生一張列表，在產生列表過程中，可根據調用頻率進行排序，隨程序一塊加載到目標機的固定地址；

(2.2)在調用此函數時，將參數給定的標識在列表中查找對應的地址返回； 虛實地址轉換函數用于虛擬地址到物理地址的轉換，實現方法為：

(2.2.1)判斷給定地址是否為虛擬地址；如果為非虛擬地址，直接返回，否則進行第(2.2.2)步；

(2.2.2)根據虛擬地址和物理地址對應關系，使用段號、頁號進行物理地址轉換；

(2.2.3)對轉換的地址合法性進行判斷，如果合法則返回，否則報錯。

2.如權利要求1所述的IMA應用軟件故障注入方法，其特征在于，樁函數操作函數還包括樁卸載函數，用于在故障注入測試結束后，將樁安裝函數修改的物理地址重新修改為 被打樁函數地址，恢復程序為原來的模樣。