7、逆向工程带数据依赖的扩展有限状态机与非确定性有限状态机测试套件最小化

逆向工程带数据依赖的扩展有限状态机与非确定性有限状态机测试套件最小化

在软件开发和系统分析中，逆向工程扩展有限状态机（EFSM）以及对非确定性有限状态机（FSM）进行测试是两个重要的研究方向。下面将详细介绍相关技术和方法。

逆向工程EFSM

在逆向工程EFSM的过程中，有两种主要技术被用于对比研究，一种是基于遗传编程（GP）的技术，另一种是MINT技术。

技术参数设置

• GP技术 ：具有多个可配置参数，包括种群大小μ、每一代的新个体数量λ以及代数。这里设置μ = 100，λ = 10，代数为100。
• MINT技术 ：也有类似的可配置参数集，但都使用了默认值。

研究问题及预期

1. 评估准确性（RQ1） ：预期两种技术都能有较好表现，但GP技术会优于MINT。因为GP技术在合并状态之前推断输出和更新函数，这些函数在推断过程中发挥积极作用，有助于塑造最终模型的结构。而MINT在状态合并后推断函数，此时模型结构已确定，且MINT需要每个事件报告每个变量的值，容易被多余信息误导，GP技术则更具针对性。
2. 评估对缺失变量的鲁棒性（RQ2） ：研究GP技术对轨迹中缺失变量的鲁棒性。通过依次删除训练和测试集中的一个输入变量，对于“spaceInvaders”系统，还删除了两个变量的组合。由于MINT没有隐藏变量的概念，不适用于无法检查执行期间内部数据状态的系统，因此只评估GP技术。预期混淆变量会导致