19、运行时验证与自动机学习的无上下文共生及逆向工程方法

运行时验证与自动机学习的无上下文共生及逆向工程方法

1. 实验结果分析

在实验中，展示了基准测试的平均和中位数结果。之所以同时呈现这两个值，是因为算术平均值对异常值不具有抗性，而中位数数据能让我们更深入地了解数据结构。

• 栈高度数据 ：
  • 从图 2d 和 3d 的栈高度数据来看，在图 3d 中，经过一个小的“预热”阶段后，由于采样期间返回符号的自适应权重，中位数栈高度大多保持恒定。
  • 栈高度（中位数）与调用符号的权重相关，调用权重越高，栈高度越高。不过在图 2d 的平均值数据中，除了最高调用权重的情况外，表现出类似的行为。在最高调用权重时，有两次运行中生成过程主要选择了调用符号，导致栈随着跟踪长度的增加而持续增长，这个异常值也影响了其他结果。

指标	特点
中位数栈高度	预热后大多恒定，与调用符号权重正相关
平均栈高度（最高调用权重除外）	与中位数栈高度表现类似
平均栈高度（最高调用权重）	存在异常值，栈随跟踪长度持续增长

• 复制长度数据