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