机载软件适航验证技术现状及展望研究-代写论文网

代写论文 >> 经济管理论文 >> 机载软件适航验证技术现状及展望研究

机载软件适航验证技术现状及展望研究

作者:admin 来源:网络日期:2010-6-26 12:09:25

的分配、软-硬件错误的界定、硬件特性对软件测试的影响、测试所需的硬件信号驱动及响应等等。
　　(2)机载软件实时性强。机载软件多是实时软件。不但要求软件执行实时性强,而且要求多个任务能协调执行。例如其中的飞控软件,一般根据任务组在飞控系统中所具有的作用、重要程度和其本身的变化率,分成各种不同速率组任务调度执行。为了满足不同任务优先级的要求,还要进行中断管理。因此在机载软件测试中,不但要对软件语句的执行逻辑关系进行验证,还要对该过程的执行时间和规定时间进行比较。
　　(3)机载软件属于安全关键软件。其性能的不可靠将带来灾难性的后果,因此对其可靠性、安全性要求很高。为此在机载软件设计时采用一些提高可靠性、安全性的先进技术,主要有容错技术、N版本技术、安全监控和安全隔离技术等。
　　3.软件适证技术展望
　　3.1形式化方法
　　将形式化方法用于软件和硬件设计,是期望能够像其它工程学科一样,使用适当的数学分析以提高设计的可靠性和鲁棒性。
　　形式化方法的一个研究内容是形式规约,即用具有精确语义的形式语言书写的程序功能描述,是验证程序是否正确的依据;另一个研究内容是形式验证(Formal Verification),即验证已有的程序是否满足其规约的要求,它是形式化方法所要解决的核心问题。http://www.dxlww.net 代写论文网
　　而如何基于形式化方法开发适用的软件测试模型则是未来研究的热点问题。
　　3.2适航验证标准的发展
　　现在的DO-178B是面向目标的相对稳定版本,现已使用了17年,由于以下原因,尚需对DO-178B做进一步修订:(1)其目标是“相对稳定”的,它不是“永恒稳定”的。(2)DO-178B对“面向目标”的原则还贯彻得不够彻底。DO-178B中所定义的66个目标中,有少量的目标其实不是真正的“目标”,而是“技术”。最明显的例子就是“验证的验证”的目标中关于MC/DC覆盖、判定覆盖、语句覆盖等。这些“技术”以“目标”的形式出现在标准里,使得DO-178B标准的稳定性大打折扣。
　　总之,航空电子和软件开发技术的发展推动着合格审定过程的更改,DO-178B缺少旧软件工具的合格审定,而且先进的技术和新航空电子软件的发展,也需要有新的合格审定标准。
　　4.结论
　　机载软件具有实时性、高可靠性、嵌入式的特点,这些特点决定了机载软件适航验证技术必须具有极强的先进性。
　　
　　参考文献:
　　[1]RTCA . DO178B . Washington,1992
　　[2]刘皓、李长命,《软件测试简述与展望》[J].学术交流,2008
　　[3]刘利枚、汪文勇、唐科,《嵌入式软件测试方法与技术》[J].计算机与现代化,2005
　　[4]李幸超,《实用软件测试》[M].北京:电子工业出版社,2006
　　[5]石柱、刘华、郭晓慧,《软件评审类型及其实施要求》[J].航天控制,2007