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

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

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