基于状态序列的就地型FA测试方法研究

基于状态序列的就地型FA测试方法研究一、背景有限状态自动机（Finite Automata，FA）是一种经典的模型检测技术，其应用广泛，包括软件验证、协议分析、飞行器控制等领域。对于一个FA系统，测试