面向航电软件的Safety_SysML一致性验证器设计与实现

作     者：尹伟 王辉 孙海英 丁郭欢 康介祥 刘静 YIN Wei;WANG Hui;SUN Haiying;DING Guohuan;KANG Jiexiang;LIU Jing

作者机构：中国航空无线电电子研究所上海200241 华东师范大学软件工程学院上海200062 

基　　金：工信部民机预研项目(MJ-2018-S-29) 

出 版 物：《航空工程进展》 (Advances in Aeronautical Science and Engineering)

年 卷 期：2023年第14卷第4期

页      码：177-188页

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

主 题 词：Safety_SysML状态机 一致性验证器 动态数据检测 功能测试 

学科分类：08[工学] 0825[工学-环境科学与工程类] 

D　O　I：10.16615/j.cnki.1674-8190.2023.04.19

馆 藏 号：203122710...