[论文解读] Model-Based Debugging of Java Programs.

Cristinel Mateis, Markus Stumptner+2 more|arXiv (Cornell University)|Jan 1, 2000

Software Engineering Research被引用 30

一句话总结

本文提出一种基于模型的调试方法，用于Java程序，通过从代码中提取的功能依赖模型实现高效故障定位。借助领域无关的诊断引擎，该方法减少了用户交互次数，并在故障定位准确率上优于传统程序切片技术。

ABSTRACT

Model-based reasoning is a central concept in current research into intelligent diagnostic systems. It is based on the assumption that sources of incorrect behavior in technical devices can be located and identified via the existence of a model describing the basic properties of components of a certain application domain. When actual data concerning the misbehavior of a system composed from such components is available, a domain-independent diagnosis engine can be used to infer which parts of the system contribute to the observed behavior. This paper describes the application of the model-based approach to the debugging of Java programs written in a subset of Java. We show how a simple dependency model can be derived from a program, demonstrate the use of the model for debugging and reducing the required user interactions, give a comparison of the functional dependency model with program slicing, and finally discuss some current research issues.

研究动机与目标

• 为解决Java程序中调试效率低下且交互性过强的问题，提出基于模型的推理方法。
• 通过自动故障定位，减少调试过程中所需的用户交互次数。
• 评估功能依赖模型相较于传统程序切片技术的有效性。
• 探索在领域无关的前提下，将基于模型的诊断应用于软件系统的可行性。

提出的方法

• 从部分Java程序中构建功能依赖模型，以表示组件之间的交互与行为。
• 使用领域无关的诊断引擎，基于观察到的程序异常行为和依赖模型，推断出故障组件。
• 通过分析预期行为与实际行为之间的偏差，应用该模型追踪并隔离错误行为的根源。
• 比较依赖模型与程序切片技术在诊断精度和用户交互开销方面的表现。
• 在具有代表性的Java程序上验证该方法，以评估故障定位的准确率和可扩展性。

实验结果

研究问题

• RQ1 与程序切片相比，从Java代码中提取的功能依赖模型在故障定位方面的有效性如何？
• RQ2 基于模型的调试在多大程度上减少了调试过程中所需的用户交互次数？
• RQ3 将基于模型的诊断应用于软件系统时，存在哪些局限性和可扩展性挑战？
• RQ4 该方法如何处理Java程序中复杂或相互依赖的组件行为？

主要发现

• 功能依赖模型可在显著减少用户交互次数的前提下，实现高精度的故障定位。
• 由于依赖于形式化的系统模型，基于模型的调试在识别故障组件方面优于程序切片。
• 诊断引擎通过分析预期行为与实际行为之间不一致，成功识别出异常行为的根本原因。
• 该方法在软件领域实现了领域无关调试的可行性，其原理扩展自硬件诊断系统。