基于状态的行为模型推断

动态分析有助于提取有关软件系统的重要信息，这些信息对于测试、调试和维护活动非常有用。流行的动态分析技术要么合成变量值的信息，要么合成方法调用之间关系的信息。因此，这些方法未能捕捉到数据值与调用序列之间存在的重要关系。本文介绍了一种称为GK-tail的技术，用于生成表示程序变量与方法调用之间相互作用的模型。GK-tail 扩展了 k-tail 算法，从执行痕迹中提取有限状态自动机，适用于具有参数的有限状态自动机的情况。本文展示了该技术及一些初步实验结果，表明所提方法的潜力。