寻找C++程序的动态切片的方法

摘要:面向对象编程被认为是程序开发和维护中最有前景的方法。面向对象程序(OOP)的一个重要特性是它们的可重用性,可通过类的继承或可重用组件实现。动态程序切片是一种有效的技术,可在调试时将错误限制在程序的相关部分。给定一个切片准则,动态切片只包含实际影响切片准则中的变量的语句。本文提出了一种基于依赖分析的动态切片对象导向(OO)程序的方法。它使用对象程序的控制依赖图和其他静态信息,在程序执行期间减少需要跟踪的信息。本文介绍了一种找到面向对象程序的动态切片的方法,其中我们在对象和函数重载的情况下找到切片。

作者:Santosh Kumar Pani and Priya Arundhati

论文ID:1006.2816

分类:Programming Languages

分类简称:cs.PL

提交时间:2010-06-15

PDF 下载: 英文版 中文版pdf翻译中