基于適航標(biāo)準(zhǔn)的嵌入式操作系統(tǒng)驗(yàn)證方法.pdf

1、嵌入式實(shí)時操作系統(tǒng)在航空航天等高精尖技術(shù)領(lǐng)域中應(yīng)用極其廣泛，也越來越復(fù)雜，航空領(lǐng)域系統(tǒng)軟件中，一旦軟件出現(xiàn)問題，會造成嚴(yán)重的后果。嵌入式軟件的可靠性是保障航空安全性的重要因素之一。軟件測試是保證軟件質(zhì)量的手段。所以必須對航空系統(tǒng)的嵌入式軟件進(jìn)行充分、系統(tǒng)的測試。
　　本文針對航空航天嵌入式操作系統(tǒng)的軟件的特點(diǎn)，研究了嵌入式操作系統(tǒng)軟件實(shí)時性能的驗(yàn)證方法。論文首先介紹了軟件測試的基本概念和相關(guān)技術(shù)、原理和方法，并分析了航空航天嵌入式

2、操作系統(tǒng)軟件的系統(tǒng)結(jié)構(gòu)和測試需求。通過對嵌入式操作系統(tǒng)的三大模塊的測試，介紹了驗(yàn)證方法中的測試用例的設(shè)計(jì)，統(tǒng)計(jì)分析了測試報告。完成了對嵌入式操作系統(tǒng)實(shí)時性能的測試研究。
　　本文結(jié)合應(yīng)用于航空航天系統(tǒng)的嵌入式操作系統(tǒng)的特點(diǎn)，提出了測試工作的整體模型。文中先介紹了軟件測試的基本理論基本概念，研究軟件測試的方法，并引入嵌入式軟件測試概念。討論了各階段驗(yàn)證方法的應(yīng)用。通過實(shí)現(xiàn)軟件測試過程，驗(yàn)證了本文研究成果的正確性和有效性。