37、可恢复系统启发式测试的形式化方法

可恢复系统启发式测试的形式化方法

1. 寻找最优负载序列与负载树的关联

在解决给定加权有限状态机（WFSM）的负载序列问题时，我们可以将寻找最便宜的α - 负载序列的问题转化为寻找等价的最便宜负载树的问题。若找到这样的最便宜树 t ，那么可使用的α - 负载序列 σ 只需满足 σ ∈ createSeq(t) 即可。因为之前的命题表明，寻找良好的负载序列可聚焦于α - 负载序列，通过传递性可知，寻找良好的负载序列可专注于寻找良好的负载树。这一思路后续会在解决问题时发挥重要作用。

2. 河流形成动力学（RFD）简介

RFD 通过为工作图的节点赋予海拔值，模拟水滴的移动来寻找从起点到终点的路径。水滴在移动过程中会侵蚀地面（降低节点海拔）或沉积泥沙（增加节点海拔）。水滴选择某条边的概率与该边的下坡梯度成正比，而梯度又取决于两端节点的海拔差和边的距离（成本）。

起初，工作图是一个平坦环境，所有节点海拔相同，只有目标节点（目的地）是一个“洞”（类似大海）。水滴从起点节点释放（模拟下雨），在平坦环境中扩散，直到部分水滴落入目标节点，这会侵蚀相邻节点，形成新的下坡，从而推动侵蚀过程。不断有新水滴加入，强化有潜力的路径。经过一定步骤，能找到从起点到目的地的良好路径，这些路径以从起点到目的地的递减边序列形式呈现。

与蚁群优化算法（ACO）相比，RFD 具有一些优势：
- 避免局部循环 ：RFD 不会创建和强化局部循环，因为这会导致一个不断递减的循环，这是矛盾的。而蚂蚁虽会考虑过往路径避免重复节点，但仍可能受信息素引导形