了解到Indus是一个程序切片的框架,kaveri是它在eclipse上的插件。Indus的下载链接是http://forge.cis.ksu.edu/frs/?Group_id=12,但是我可以'打开它。
但是我在 github ( https://github.com/rvprasad/Indus_archive )中找到了一个 CVS repo 。我将 Indus 和 kaveri 插件 jar 放入 eclipse 的 dropins 中,但它不起作用。我切换到插件目录,它仍然不起作用。