科研之友
微信
新浪微博
Facebook
分享链接
摘要
民用飞机航空电子系统的高度综合化导致机载安全关键软件规模的成倍增加，带来航电系统软件需求的来源众多且不一致，航电系统软件各层次需求传递存在二义性等问题，因此，如何确保航电软件的一致性成为系统研发过程中亟待解决的核心问题之一。基于Safety＿SysML状态机的语法，设计Safety＿SysML一致性验证器，包括静态数据检测和动态数据检测；通过设计测试用例对核心算法及系统进行单元测试与集成测试，结合错误推断及边界，设计并执行功能测试，用于发现验证器存在的缺陷。结果表明：Safety＿SysML一致性验证器能够有效识别航电系统软件中存在的二义性问题，对于提高航电软件的可靠性具有重要意义。
-
单位华东师范大学; 中国航空无线电电子研究所
