• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>International Conference on Contemporary Computing >Towards program execution summarization: Deriving state diagrams from sequence diagrams
【24h】

Towards program execution summarization: Deriving state diagrams from sequence diagrams

机译：走向程序执行摘要：从顺序图导出状态图

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

摘要

We propose a summarization technique that provides a clear and concise picture of the history of program execution with respect to entities of interest to a programmer. We develop our technique in the context of JIVE, a tool for Java execution visualization that renders execution states and history using UML object and sequence diagrams respectively. While these notations have been developed for specifying design-time decisions, the distinguishing aspect of our work is that we adapt their use for execution-time. Sequence diagrams tend to be long and unwieldy, and often exhibit a repetitive structure, hence we develop a novel procedure to summarize the sequence diagram in the form a state diagram with finite states. This summarization is user-driven, in that the user annotates the key variables of interest in the source code. This information together with an execution trace of the program for a particular input enables us to systematically construct a state diagram that summarizes the program behavior for that input. Using multiple execution traces, we show how an integrated state summarization can be obtained. Finally, by choosing different sets of variables, the user may view different summarizations, or perspectives, of the execution. This paper presents our technique along with experimental results from summarizing several different program executions in order to illustrate the benefit of our approach.
机译：我们提出一种摘要技术，该技术提供了与程序员感兴趣的实体有关的程序执行历史的清晰明了的图片。我们在JIVE（一种用于Java执行可视化的工具）的上下文中开发我们的技术，该工具分别使用UML对象图和序列图呈现执行状态和历史记录。这些符号是为指定设计时决策而开发的，但我们工作的与众不同之处在于，我们将其用法调整为执行时。序列图往往长而笨拙，并且经常表现出重复的结构，因此，我们开发了一种新颖的程序，以具有有限状态的状态图的形式总结序列图。这种总结是用户驱动的，因为用户在源代码中注释了感兴趣的关键变量。此信息以及针对特定输入的程序执行轨迹使我们能够系统地构建状态图，该状态图总结了该输入的程序行为。使用多个执行跟踪，我们展示了如何获得集成状态汇总。最后，通过选择不同的变量集，用户可以查看执行的不同摘要或观点。本文介绍了我们的技术以及总结了几种不同程序执行的实验结果，以说明我们方法的好处。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号