OSD：一种描述面向对象程序控制流和状态信息的源代码级错误定位技术
OSD: A Source Level Bug Localization Technique Incorporating Control Flow and State Information in Object Oriented Program
摘要：
面向对象程序的缺陷定位一直是软件工程中的一个重要问题。在本文中，我提出了一个面向对象的嵌入式程序的源代码级错误定位技术。我提出的技术，提出了在类级调试面向对象的程序，将对象的状态信息到类依赖图（ClDG）的想法。给定一个程序（有错误的语句）和一个失败的输入，其他人通过，我的方法使用具体的以及符号执行来合成通过的输入，从失败的输入在他们的控制流行为。对失败输入和通过输入的执行跟踪进行比较，可以为失败的根本原因提供必要的线索。状态跟踪差异，关于各个节点的ClDG，这导致检测程序中的错误。
英文摘要：
Bug localization in object oriented program ha s always been an important issue in softeware engineering. In this paper, I propose a source level bug localization technique for object oriented embedded programs. My proposed technique, presents the idea of debugging an object oriented program in class level, incorporating the object state information into the Class Dependence Graph (ClDG). Given a program (having buggy statement) and an input that fails and others pass, my approach uses concrete as well as symbolic execution to synthesize the passing inputs that marginally from the failing input in their control flow behavior. A comparison of the execution traces of the failing input and the passing input provides necessary clues to the root-cause of the failure. A state trace difference, regarding the respective nodes of the ClDG is obtained, which leads to detect the bug in the program.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
