基于GSPN的機載構件化軟件系統可靠性測試方法

孫 科，覃楊森

（中國飛行試驗研究院 陜西 西安710089）

基于GSPN的機載構件化軟件系統可靠性測試方法

孫 科，覃楊森

（中國飛行試驗研究院 陜西 西安710089）

利用AADL語言對機載構件化軟件系統體系結構進行可靠性建模，實現AADL可靠性模型到廣義隨機Petri網（GSPN）可靠性計算模型的轉換。模型轉換規則主要包括基本元素轉換規則、基本依賴元素轉換規則。在此基礎上，將依賴關系擴展到語義連接、參數連接及子構件調用上，同時使用圖形化方法對轉換規則進行說明，使可靠性模型向GSPN模型轉換規則更加完備，以實現對機載構件化軟件系統可靠性的計算測試與分析評估。

軟件測試；構件化軟件；可靠性；轉換規則；GSPN

隨著機載軟件系統的發展，其構件化體系結構越來越復雜，規模越來越大，對系統的開發成本、開發周期及非功能屬性（可調度性、可靠性、安全性）要求也越來越高。因此，機載軟件系統設計可在模型級別對系統的非功能屬性進行測試，對系統的可調度性、可靠性、安全性進行分析，根據需求在模型級別對系統架構進行修改，以縮短開發周期，節約成本?；谶@個思想，美國自動化工程師協會（Society of Automotive Engineers，SAE）發布了航空標準AS5506——架構分析與設計語言[1-2]（Architecture Analysis and Design Language，AADL）。AADL支持在非功能屬性方面對機載系統體系結構進行分析，其將硬件和軟件抽象為不同的構件，構件間通過接口或調用實現數據的通信，它并不關心構件的具體實現，通過軟件構件、硬件構件和系統構件對機載高可靠性系統進行了描述與測試分析?！?br>