基于適航標準的嵌入式操作系統(tǒng)驗證方法.pdf

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

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