[發明專利]一種民機飛控系統需求追蹤性的檢查方法

有效

• 申請號: 201811440117.6
• 申請日: 2018-11-28
• 公開（公告）號: CN109582576B
• 公開（公告）日: 2022-04-19
• 發明（設計）人: 衛黎明;倪曉彬;劉宏明
• 申請（專利權）人: 中國航空工業集團公司西安飛行自動控制研究所
• 主分類號: G06F11/36
• 分類號: G06F11/36
• 代理公司: 中國航空專利中心 11008
• 代理人: 杜永保

本發明屬于民機飛控系統檢查技術領域，具體涉及一種民機飛控系統需求追蹤性檢查的方法。首先，利用特定民機飛控系統中的需求標識號規則，抽象成可以用正則表達式表達的正則語句；其次，將總結的正則語句作為輸入，進行軟件編程設計并將檢索結果輸出為文本信息；最后將文本信息中的需求標識號，按照系統級、軟件級需求進行鏈接比對，檢查高等級需求是否都被低等級需求追蹤。本發明為開發與驗證人員提供了迅速從設計文檔和模型中提取需求標識號的便利，整個檢查過程可以規避人工檢查引入的錯誤。

技術領域

本發明屬于民機飛控系統檢查技術領域，具體涉及一種民機飛控系統需求追蹤性檢查的方法。

背景技術

在民機飛控系統的設計開發過程中，需根據適航要求，對設計過程中的需求條目化并進行自頂向下的追蹤，以確保頂層需求在設計中被真正實現，在系統開發的過程中，數量龐大的需求，及其鏈接關系的檢查會耗費開發人員大量時間和精力。需要開發一種可以識別開發與驗證過程中的需求檢索檢查的工具，來輔助開發與驗證人員提高工作效率，減少錯誤發生的可能性。

本發明立足于民機飛控系統開發與驗證過程中對需求追蹤檢查的需要，利用python作為工具，從飛控系統設計文檔與模型中找到需求標識號，并通過追溯關系，確認需求追蹤的合理性，同時此方法也為開發與驗證人員提供了迅速從設計文檔和模型中提取需求標識號的便利。

對于民機飛控系統的需求追蹤檢索方法，目前國內尚無已發布的專門的解決方案。

發明內容

本發明的目的是：提出一種民機飛控系統需求追蹤性檢查的方法，以便于在民機飛控系統研發過程中對追蹤性的檢查。

本發明的技術方案：一種民機飛控系統需求追蹤性檢查的方法，

步驟1：利用特定民機飛控系統中的需求標識號規則，抽象成可以用正則表達式表達的正則語句；

步驟2：將總結的正則語句作為輸入，進行軟件編程設計并將檢索結果輸出為文本信息；

步驟3：將文本信息中的需求標識號，按照系統級、軟件級需求進行鏈接比對，檢查高等級需求是否都被低等級需求追蹤。

所述鏈接比對的實現方法如下：檢查每一個軟件級需求標識號是否有源頭，并且源頭為已被檢索出的系統級需求標識號，并在最終檢查是否每一個系統級需求標識號都被追蹤為源頭過。

本發明的有益效果：本發明可以用于對民機飛控系統需求的追蹤，也為開發與驗證人員提供了迅速從設計文檔和模型中提取需求標識號的便利，整個檢查過程可以規避人工檢查引入的錯誤。

具體實施方式

一種民機飛控系統需求追蹤性檢查的方法，包括以下步驟，步驟1：利用特定民機控制系統中的需求標識號規則，抽象成可以用正則表達式表達的正則語句；

步驟2：將總結的正則表達語句作為輸入，在python語言平臺內進行軟件編程設計；

步驟3：所述軟件編程設計，包括簡單的設計文檔選擇，對文檔信息的讀取，基于re庫對讀取的文檔信息進行模糊檢索，將檢索結果輸出為文本信息；

步驟4：得到的文本信息，即為文檔中包含的需求標識號，將系統級，軟件級需求進行連接比對，檢查高等級需求是否都被低等級需求追蹤。

在上述方法的基礎上，進一步的，步驟2中軟件編程設計是在python語言平臺內進行，還可以采用其他編程語言實現。

在上述方法的基礎上，在python語言平臺內進行軟件編程設計的實現方法如下:簡單的設計文檔選擇，對文檔信息的讀取，基于re庫對讀取的文檔信息進行模糊檢索，將檢索結果輸出為文本信息。