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

摘要

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