基于适航标准地嵌入式操作系统验证方法.doc

:..摘要嵌入式实时操作系统在航空航天等高精尖技术领域中应用极其广泛,也越来越复杂,航空领域系统软件中,一旦软件出现问题,会造成严重的后果。嵌入式软件的可靠性是保障航空安全性的重要因素之一。软件测试是保证软件质量的手段。所以必须对航空系统的嵌入式软件进行充分、系统的测试。本文针对航空航天嵌入式操作系统的软件的特点,研究了嵌入式操作系统软件实时性能的验证方法。论文首先介绍了软件测试的基本概念和相关技术、原理和方法,并分析了航空航天嵌入式操作系统软件的系统结构和测试需求。通过对嵌入式操作系统的三大模块的测试,介绍了验证方法中的测试用例的设计,统计分析了测试报告。完成了对嵌入式操作系统实时性能的测试研究。本文结合应用于航空航天系统的嵌入式操作系统的特点,提出了测试工作的整体模型。文中先介绍了软件测试的基本理论基本概念,研究软件测试的方法,并引入嵌入式软件测试概念。讨论了各阶段验证方法的应用。通过实现软件测试过程,验证了本文研究成果的正确性和有效性。关键字:嵌入式操作系统验证方法单元测试安全测试AbstractEmbeddedreal-timeoperatingsystem(ERTOS)isextremelyversatileappliedinthefieldofcutting-edgetechnology,,whenaproblemarisesintermsofsoftware,,,-timeoperatingsystemsoftware,thisdissertationstudiessomemeansofverificationaboutreal-timeperformanceofembeddedreal-,onceptofsoftwaretestingandtherelatedtechnologies,,itanalyzesthesystemstructureandtestrequirementoftheaerospaceembeddedreal-,throughtestingthethreemoduleoftheembeddedreal-timeoperatingsystem,thepaperintroducesthedesignofthetestcaseintheverificationmethods,,-timeperformanceofembeddedreal--timeoperatingsystemwhichisappliedinaerospacesystem,,firstly,onceptsandtheoryofsoftwaretestingwillbeintroducedandthemethodofresearchingsoftwaretestingwillbediscussed,andthenproposestheconceptofembed