状态轮询和事件驱动的软件状态机设计优化

来源：计算机工程与应用杂志2024年第12期北京时间：

作者：孙来平, 虞翊, 楚彭子

单位：1.同济大学 道路与交通工程教育部重点实验室，上海 201804；2.同济大学 磁浮交通工程技术研究中心，上海 201804；3.上海申通地铁集团有限公司，上海 201103

摘要：状态机设计的灵活性在给开发人员带来高效与便利的同时，也带来三类较典型的问题：由于状态逻辑和时序依存导致的输出错误，由于历史数据缓存导致的状态机计算量庞大的问题，以及由于状态跃迁耦合导致的输出不可控问题。目前这三类问题在软件详细设计和编码中仍然存在。在状态机功能不改变、在有限状态机设计约束条件下从时间复杂度和圈复杂度两个维度对状态机进行等价转换，即将原状态和判定条件进行合并或拆分，根据元模型定义对拆分或合并后的状态进行重组，添加跃迁条件，提出优化的一般性过程。进而针对三类典型问题给出优化算法，用同一算法分别对优化前后的状态机进行测试，并从时间复杂度和圈复杂度两方面验证了优化算法的可行性。该研究的实用价值在于为实时控制和安全苛求系统软件设计或重构提供了一种优化的方法。

关键词：软件状态机,图同构,状态等价性,时间复杂度,圈复杂度