• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>IEEE International Conference on Software Maintenance and Evolution >flexfringe: A Passive Automaton Learning Package
【24h】

flexfringe: A Passive Automaton Learning Package

机译：FlexFringe：被动自动机学习包

获取原文
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

Finite state models, such as Mealy machines or state charts, are often used to express and specify protocol and software behavior. Consequently, these models are often used in verification, testing, and for assistance in the development and maintenance process. Reverse engineering these models from execution traces and log files, in turn, can accelerate and improve the software development and inform domain experts about the processes actually executed in a system. We present name, an open-source software tool to learn variants of finite state automata from traces using a state-of-the-art evidence-driven state-merging algorithm at its core. We embrace the need for customized models and tailored learning heuristics in different application domains by providing a flexible, extensible interface.
机译：有限状态模型，例如Meally Machines或State图表，通常用于表达和指定协议和软件行为。因此，这些模型通常用于验证，测试和在开发和维护过程中提供帮助。反向工程这些模型从执行迹线和日志文件，又可以加速和改进软件开发，并通知域专家了解在系统中实际执行的过程。我们呈现名称，一个开源软件工具，用于在其核心处使用最先进的证据驱动的状态合并算法来学习来自迹线的有限状态自动机的变体。我们通过提供灵活的可扩展界面，拥抱在不同应用领域中定制模型和定制的学习启发式。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号