Timed k-Tail：时间自动机的自动推断
软件工程
2017-05-24 v1
摘要
在实践中，准确且最新的描述软件系统行为的模型很少能够获得。为了解决这个问题，软件工程师可以使用规约挖掘技术，该技术可以自动推导出捕获被分析系统行为的模型。到目前为止，大多数规约挖掘技术关注系统的功能行为，特别侧重于表示操作顺序的模型，如时序规则和有限状态模型。虽然有用，但这些模型本质上是不完整的。例如，它们缺失了定时行为，而这对许多类系统和组件（如共享库和用户驱动的应用程序）极为相关。挖掘包含功能和定时两方面的规约可以提高许多测试和分析解决方案的适用性。本文通过提出 Timed k-Tail (TkT) 规约挖掘技术来解决这一挑战，该技术可以从程序轨迹中挖掘时间自动机。由于时间自动机可以有效地表示系统功能行为和定时行为之间的相互作用，TkT 可以在时间相关信息重要的那些场景中得到利用。我们的实证评估表明，TkT 能够高效且有效地挖掘准确的模型。所挖掘的模型已被用于识别具有异常定时的执行。评估表明，大多数异常执行被正确识别，同时产生的误报很少。
引用
@article{arxiv.1705.08399,
title = {Timed k-Tail: Automatic Inference of Timed Automata},
author = {Fabrizio Pastore and Daniela Micucci and Leonardo Mariani},
journal= {arXiv preprint arXiv:1705.08399},
year = {2017}
}