文献检索-宁波市创意产业特色资源库

限定检索结果

面向航电软件的safety_sysml一致性验证器设计与实现: 收藏
分享
引用; 《航空工程进展》2023年第4期14卷 177-188页; 作者：尹伟王辉孙海英丁郭欢康介祥刘静中国航空无线电电子研究所上海200241 华东师范大学软件工程学院上海200062; 民用飞机航空电子系统的高度综合化导致机载安全关键软件规模的成倍增加,带来航电系统软件需求的来源众多且不一致,航电系统软件各层次需求传递存在二义性等问题,因此,如何确保航电软件的一致性成为系统研发过程中亟待解决的核心问题之...; 民用飞机航空电子系统的高度综合化导致机载安全关键软件规模的成倍增加,带来航电系统软件需求的来源众多且不一致,航电系统软件各层次需求传递存在二义性等问题,因此,如何确保航电软件的一致性成为系统研发过程中亟待解决的核心问题之一。基于safety_sysml状态机的语法,设计safety_sysml一致性验证器,包括静态数据检测和动态数据检测;通过设计测试用例对核心算法及系统进行单元测试与集成测试,结合错误推断及边界,设计并执行功能测试,用于发现验证器存在的缺陷。结果表明:safety_sysml一致性验证器能够有效识别航电系统软件中存在的二义性问题,对于提高航电软件的可靠性具有重要意义。; 来源：详细信息评论

限定检索结果