[發明專利]一種飛行控制軟件中增益覆蓋率測試的方法

有效

• 申請號: 201711292849.0
• 申請日: 2017-12-08
• 公開（公告）號: CN108132877B
• 公開（公告）日: 2021-04-20
• 發明（設計）人: 許海靜;孫紹山;楊偉;嚴增銳;饒曉
• 申請（專利權）人: 中航（成都）無人機系統股份有限公司
• 主分類號: G06F11/36
• 分類號: G06F11/36
• 代理公司: 中國航空專利中心 11008
• 代理人: 王中興

本發明屬于飛行控制系統設計技術，涉及一種飛行控制軟件中增益覆蓋率測試的方法。本發明包括：常量增益覆蓋率測試(即遍歷增益文件和源代碼中常量所在文件，將二者進行比較，記錄常量匹配結果)；變量增益結構體分析(即分析增益結構體定義文件，通過4種增益結構體的各自特征進行分類記錄，生成init.txt文件，分別記錄下覆蓋率所需信息)；源代碼插樁(即在源代碼中用變量增益插樁函數替換增益計算函數，在運行用例時，記錄下用例運行的覆蓋率所需信息，生成print.txt文件)；增益覆蓋率結果分析(即讀取常量增益的匹配結果和結構體類型常量的統計結果做出統計，生成增益覆蓋率測試報告)。本發明填補了增益覆蓋率測試的空白。

技術領域

本發明屬于飛行控制系統設計技術，涉及一種飛行控制軟件中增益覆蓋率測試的方法。

背景技術

飛行控制律應用軟件屬安全關鍵軟件，其運行狀況與飛機的飛行安全息息相關，因此，對該軟件的覆蓋率測試非常必要。然而，目前對飛行控制律應用軟件的覆蓋率測試只局限于邏輯語句的覆蓋率測試，控制律增益覆蓋率的測試還是一片空白。

控制律增益模塊是飛行控制軟件的重要組成。該模塊在飛機研制的初始階段規模較小，實現了邏輯語句的覆蓋率測試就能基本滿足研制需求，加上測試方法和工具的限制，不做增益覆蓋率測試也無可厚非。但是隨著型號的發展，控制律增益的復雜度日漸提高，代碼規模也日益增大。在數量龐大，結構復雜，支路繁多的增益中，控制律增益的覆蓋率測試已經成為驗證增益完備性的重要保證和項目研制的迫切需求。

發明內容

本發明的目的是：提供一種飛行控制軟件中增益覆蓋率測試的方法。

本發明的技術方案是：一種飛行控制軟件中增益覆蓋率測試的方法，包括：

a)常量增益覆蓋率測試：遍歷增益文件和源代碼中常量所在文件，將二者進行比較，記錄常量匹配結果；

b)變量增益結構體分析：分析增益結構體定義文件，通過4種增益結構體的各自特征進行分類記錄，生成init.txt文件，分別記錄下覆蓋率所需信息；

c)源代碼插樁：在源代碼中用變量增益插樁函數替換增益計算函數，在運行用例時，記錄下用例運行的覆蓋率所需信息，生成print.txt文件；

d)增益覆蓋率結果分析：讀取常量增益的匹配結果和結構體類型常量的統計結果做出統計，生成增益覆蓋率測試報告。

本發明的有益效果是：本發明目前可運用于支持運行windows測試系統的控制律增益覆蓋率測試。它能夠驗證增益開關封閉性、增益支路測試完備性、常量增益正確性等，是驗證增益完備性的重要保證。本發明開發后可作為控制律測試工具的一部分，完善控制律測試的項目內容，填補增益覆蓋率測試的空白，從而保證測試質量。也能為需求設計和軟件開發人員提供參考。

附圖說明

圖1為本發明控制律增益測試具體實施的總體流程圖；

圖2為本發明中的結構體分析示意圖；

圖3為本發明中的插樁流程示意圖；

圖4為本發明中的結果分析示意圖。

具體實施方式

下面結合附圖對本發明的具體實施方式做進一步說明。

本發明具體實施方法分為以下5個步驟，參見圖1，增益覆蓋率主要包括常值增益(簡單常量)的測試分析和變量增益(結構體常量)的測試分析兩方面，二者的統計結果將在最后進行分析時生成1份報告：

1)所有控制律增益以如下形式定義于控制律增益文件(inp文件)中：