作者:马飒飒; 赵守伟; 肖小峰故障注入软件测试技术覆盖嵌入式软件系统安全性测试可靠性评估软件可靠性灾难性事件保障工作军用软件关键技术测试方法建模方法建模工具分析过程测试数据错误隐藏安全关键经济损失无人机
摘要:无人机飞控软件是典型的实时嵌入式软件系统,其可靠性、安全性测试与评估是军用软件保障工作与无人机技术发展中的重点与难点.针对飞控软件的特点,介绍基于覆盖与故障注入的测试方法,分析其测试与可靠性评估中的关键技术,并简要介绍应用于测试数据分析过程的软件可靠性建模工具MEADEP的构成与建模方法.实践证明对安全关键软件严格的测试与评估可大大降低错误隐藏数,减少不必要的经济损失与灾难性事件发生.
注:因版权方要求,不能公开全文,如需全文,请咨询杂志社