• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>IEEE International Conference on Software Maintenance and Evolution >Reflexion Models for State Machine Extraction and Verification
【24h】

Reflexion Models for State Machine Extraction and Verification

机译：状态机提取和验证的反射模型

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

摘要

High-level design models are often used for describing the behavior or structure of a software system. It is generally much easier and more adequate to understand a software system on this level than on the level of individual code lines. Such models are also created by developers as they gain an understanding of the software. Unfortunately, these models often do not correspond to what is really in the code. Murphy et al. introduced the idea of reflexion models in 1995 to overcome this problem. Their approach is today widely used for architecture conformance checking and reconstruction. In this paper, we introduce reflexion models for state machines. Our approach allows to check the correspondence of a hypothetical state machine model with the code. It returns information about convergence, partial convergence, divergence, or absence of the specified states and transitions. Similar to the original reflexion model, the approach can be used for conformance checking as well as interactive reverse engineering of state machine models. We concentrate on the latter and show the potential of the approach in several case studies.
机译：高级设计模型通常用于描述软件系统的行为或结构。在这个级别上比在各个代码线的级别上，通常更容易更容易更容易且更充分。这些模型也是由开发人员创建的，因为它们获得了对软件的理解。不幸的是，这些模型通常与代码中的实际情况相对应。 Murphy等人。 1995年介绍了反射模型的想法，以克服这个问题。他们的方法是今天广泛用于建筑一致性检查和重建。在本文中，我们为国家机器引入了反射模型。我们的方法允许检查假设状态机模型与代码的对应关系。它返回关于收敛，部分收敛，发散或不存在指定状态和转换的信息。类似于原始反射模型，该方法可用于符合检查以及状态机模型的交互式逆向工程。我们专注于后者，并在几个案例研究中展示了这种方法的潜力。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号