調(diào)試驗證平臺中閉環(huán)測試和故障注入的設(shè)計與實現(xiàn).pdf

1、航天嵌入式軟件的可靠性和魯棒性直接關(guān)系到航天飛行器的安全,因此如何高效、充分地對軟件進(jìn)行調(diào)試和驗證就顯得尤為重要。本文介紹了如何設(shè)計開發(fā)一套基本的、通用的測試仿真平臺,從而解決航天航空領(lǐng)域中對嵌入式軟件的調(diào)試驗證效率低下的問題。平臺包含可視化的靜態(tài)和動態(tài)建模、閉環(huán)測試、故障注入、測試代碼生成和在線監(jiān)控等功能,本文主要涉及的是閉環(huán)測試和故障注入兩部分。
　　本文首先根據(jù)航天嵌入式軟件的測試要求對平臺進(jìn)行了整體分析,然后根據(jù)平臺的軟硬

2、件體系結(jié)構(gòu)提出了一種基于模型驅(qū)動的建模、自動生成和運行測試代碼并在線監(jiān)控測試用例的方法,最后主要對閉環(huán)測試和故障注入兩個功能進(jìn)行了詳細(xì)的設(shè)計和實現(xiàn)。針對閉環(huán)測試功能,通過反射內(nèi)存網(wǎng)技術(shù)闡述了模型機(jī)如何實現(xiàn)配置、實時機(jī)如何實現(xiàn)接口抽象和管理機(jī)如何實現(xiàn)變量管理等關(guān)鍵內(nèi)容;針對1553B總線的硬件故障注入功能,采用了應(yīng)用層和底層分層設(shè)計的思想,在底層設(shè)計了故障緩沖區(qū)鏈表以及提供給應(yīng)用層的接口函數(shù),在應(yīng)用層實現(xiàn)了故障庫的管理以及故障注入相關(guān)代碼