从我读到的Indus是一个程序切片器，它识别程序的哪些部分影响或受给定程序点集的影响，而Kaveri是一个插件，它利用 Indus 程序切片库在 eclipse 中执行切片。
我从这个链接http://forge.cis.ksu.edu/frs/?group_id=12下载了一个 zip， 但我不知道如何使用它。我想知道如何使用这个插件？
问问题
249 次
从我读到的Indus是一个程序切片器，它识别程序的哪些部分影响或受给定程序点集的影响，而Kaveri是一个插件，它利用 Indus 程序切片库在 eclipse 中执行切片。
我从这个链接http://forge.cis.ksu.edu/frs/?group_id=12下载了一个 zip， 但我不知道如何使用它。我想知道如何使用这个插件？