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

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

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