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

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

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