嵌入式箭載計(jì)算機(jī)飛行控制軟件測(cè)試技術(shù)研究.pdf

1、嵌入式系統(tǒng)是計(jì)算機(jī)、通信、自動(dòng)化控制等技術(shù)高度整合而且產(chǎn)生的產(chǎn)物。隨著嵌入式軟件在各個(gè)領(lǐng)域的廣泛應(yīng)用，對(duì)嵌入式軟件的各項(xiàng)要求（軟件運(yùn)行的穩(wěn)定性，安全性及可靠性）也越來(lái)越高，特別是作為航天國(guó)防產(chǎn)業(yè)，質(zhì)量為重中之重，因而，應(yīng)用于航天國(guó)防產(chǎn)業(yè)的嵌入式軟件的測(cè)試工作也變得非常的重要。本文以我院承制的嵌入式箭載計(jì)算機(jī)飛行控制軟件測(cè)試需求為背景，主要研究箭載計(jì)算機(jī)飛行控制軟件通用仿真測(cè)試平臺(tái)的研制及箭載計(jì)算機(jī)飛行控制軟件測(cè)試過(guò)程中的關(guān)鍵問(wèn)題。本課題

2、主要有以下5方面的研究:
　　1、研究分析當(dāng)前嵌入式軟件測(cè)試的環(huán)境，結(jié)合嵌入式箭載計(jì)算機(jī)飛行控制軟件本身的特性，提煉出適用于嵌入式箭載計(jì)算機(jī)飛行控制軟件的測(cè)試策略，詳細(xì)介紹嵌入式箭載計(jì)算機(jī)飛行控制軟件半實(shí)裝仿真測(cè)試平臺(tái)的建立，提高了該嵌入式軟件測(cè)試的質(zhì)量和工作效率。
　　2、結(jié)合箭載計(jì)算機(jī)飛行控制軟件自身的特點(diǎn)，研究分析了軟件姿態(tài)控制功能測(cè)試的問(wèn)題，通過(guò)研究箭載計(jì)算機(jī)飛行控制軟件姿態(tài)控制的測(cè)試原理，實(shí)現(xiàn)了姿態(tài)控制功能的自動(dòng)化

3、測(cè)試工具。
　　3、本課題從實(shí)際需求出發(fā)，克服傳統(tǒng)中斷測(cè)試方法中的困難，保證軟件運(yùn)行安全，提高軟件可靠性，提出中斷模擬測(cè)試的概念。中斷模擬測(cè)試基于中斷資源沖突自動(dòng)化分析技術(shù)、中斷觸發(fā)技術(shù)和中斷時(shí)序控制技術(shù)等核心技術(shù)，擺脫實(shí)裝運(yùn)行平臺(tái)對(duì)測(cè)試的約束，搭建能夠控制時(shí)序和自由調(diào)度中斷運(yùn)行的模擬測(cè)試環(huán)境。
　　4、通過(guò)分析多個(gè)型號(hào)飛行控制軟件遙測(cè)功能相關(guān)的軟件測(cè)試遺漏問(wèn)題，遙測(cè)錯(cuò)誤占有很大的比例。因此，本課題對(duì)箭載計(jì)算機(jī)飛行控制軟件的