基于数学方法的软件自锁模式研究

摘要：

对于FADEC控制软件中有限状态机,存在数据流闭环的全局变量等复杂代码的正确性,通常采用代码审查和测试方法检查,对于是否存在自锁模式,效果较差,容易造成问题泄露.基于此,提出了一种数学方法,对软件代码进行分析,并导出所有场景进行快速等价类分析,找出自锁模式的异常场景,从理论上验证设计的正确性,从而有效抑制该类问题的泄露.

关键词：FADEC控制软件、有限状态机、数据流、自锁模式

所属期刊栏目：48

分类号：TP311(计算技术、计算机技术)

资助基金：中国航发自主创新专项资金项目资助ZZCX-2017-024

在线出版日期：2019-03-13（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：86-90