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

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

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