調試驗證平臺中建模和在線監(jiān)控的研究與實現(xiàn).pdf

1、航天嵌入式軟件是面向航天領域的特殊的嵌入式軟件，它的可靠性和健壯性直接關系到航天飛行器的安全。如果沒有對軟件進行充分的調試和驗證，一旦出現(xiàn)問題，不僅能造成飛行器的損毀，甚至會造成人員的傷亡和巨大的財產損失。所以，對航天嵌入式軟件進行快速的、有效的測試就變得極其重要。
　　本文根據(jù)航天嵌入式軟件的測試要求，提出了一種對測試環(huán)境進行建模，自動生成測試代碼并對測試過程進行在線監(jiān)控的方法。利用設備圖來描述被測目標機的硬件交聯(lián)環(huán)境，其中包括

2、目標機的外圍設備和不同的硬件接口，通過接口變量配置來定義硬件接口中傳輸?shù)臄?shù)據(jù)特性。根據(jù)數(shù)據(jù)傳輸時機和條件的不同，用周期型事件建模來描述周期型數(shù)據(jù)的處理，用異步型事件建模來描述非周期型數(shù)據(jù)的處理。然后介紹了根據(jù)模型生成測試代碼的過程。為了支持測試過程在線監(jiān)控，設計并實現(xiàn)了圖形化的顯控面板，介紹了接收、解析和存儲測試數(shù)據(jù)的過程，以及根據(jù)測試數(shù)據(jù)實時刷新顯控面板的方法。經過對航天嵌入式軟件的測試，本文提出的調試驗證方法可以很好的滿足相關要求。