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

• 作者: 杨振兴 王栋 黄浩
• 来源期刊: 航空计算技术
• 关键词: FADEC控制软件 有限状态机 数据流 自锁模式
• 年，卷（期）: 2018,（6）
• 所属期刊栏目: 计算机软件
• 页码范围: 86-90
• 页数: 5页
• 分类号: TP311
• 语种: 中文
• DOI: 10.3969/j.issn.1671-654X.2018.06.021

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	杨振兴		1	0	0.0	0.0
2	黄浩		4	10	2.0	3.0
3	王栋		2	0	0.0	0.0