Java 我们如何使用Daikon不变量检测器从CSV文件中提供的数据中查找不变量？

我正在尝试使用Daikon从数据集（.csv文件）中查找不变量，但我没有在internet上找到任何示例或帮助来在包含布尔数据的.csv文件（3乘8的矩阵）上运行Daikon。

按照daikon用户手册中的说明，我运行convercsv.pl转换与我的csv文件相对应的.dtrace和.decls文件，这些文件用于应用daikon，但它只打印几行数据，并在convertsv.pl第380行第1.LSE行给出错误“TRUE；FALSE；TRUE；FALSE”。

---

谢谢大家。问题解决了。问题在于CSV文件。代码无法读取自动保存的CSV文件。在文本编辑器中，我只是在每条记录的末尾替换了行尾（通过单击backspace和enter）。通过简单地替换行尾，我能够将csv文件转换为.dtrac和decls文件。创建之后，我只需在dtrac和decls文件上运行daikon，它就生成了不变量

daikon的源代码可以在

---

在将csv文件转换为.dtrac和.decls文件时，它只有上面提到的一个问题，rest工作正常。

这是一个瞎猜，看不到您正在使用的脚本的代码，但可能是您的csv用分号分隔字段，而您的脚本需要其他字符（如逗号）吗？但实际上，在没有看到代码的情况下，它可以是任何东西。请提供一个小的.csv文件来重现问题。谢谢您的帮助。正如我在回答中提到的那样。