我们如何使用 Daikon Invariant Detector 从 CSV 文件中提供的数据中找到不变量？
How can we use Daikon Invariant Detector to find the invariants from a data provided in CSV file?
我正在尝试使用 Daikon 从数据集（.csv 文件）中查找不变量，但我没有在互联网上找到任何示例或帮助 运行 daikon 在包含布尔数据的 .CSV 文件上（3乘8的矩阵）。
Image for the csv file
按照 daikon 用户手册中提供的说明，我 运行 convercsv.pl 转换对应于我的 csv 文件的 .dtrace 和 .decls 文件，这些文件用于应用 daikon，但它打印几行数据并给出错误 "TRUE;FALSE;TRUE;FALSE at convertcsv.pl line 380, line 1.LSE"。
error while converting the csv dtrace and decls files
谢谢大家。问题已经解决了。问题出在 CSV 文件上。代码无法读取自动保存的 CSV 文件。我只是在文本编辑器中每条记录的末尾替换了行尾（通过单击退格键并输入）。通过简单地替换行尾，我能够将 csv 文件转换为 .dtrac 和 decls 文件。创建它后，我只是 运行 dtrac 和 decls 文件上的萝卜，它产生了不变量。
可以在 http://plse.cs.washington.edu/daikon/download/doc/daikon.html 找到萝卜的源代码
它只有我上面提到的关于将 csv 文件转换为 .dtrac 和 .decls 文件的问题，其余工作正常。
我正在尝试使用 Daikon 从数据集（.csv 文件）中查找不变量，但我没有在互联网上找到任何示例或帮助 运行 daikon 在包含布尔数据的 .CSV 文件上（3乘8的矩阵）。 Image for the csv file
按照 daikon 用户手册中提供的说明，我 运行 convercsv.pl 转换对应于我的 csv 文件的 .dtrace 和 .decls 文件，这些文件用于应用 daikon，但它打印几行数据并给出错误 "TRUE;FALSE;TRUE;FALSE at convertcsv.pl line 380, line 1.LSE"。 error while converting the csv dtrace and decls files
谢谢大家。问题已经解决了。问题出在 CSV 文件上。代码无法读取自动保存的 CSV 文件。我只是在文本编辑器中每条记录的末尾替换了行尾（通过单击退格键并输入）。通过简单地替换行尾，我能够将 csv 文件转换为 .dtrac 和 decls 文件。创建它后，我只是 运行 dtrac 和 decls 文件上的萝卜，它产生了不变量。
可以在 http://plse.cs.washington.edu/daikon/download/doc/daikon.html 找到萝卜的源代码 它只有我上面提到的关于将 csv 文件转换为 .dtrac 和 .decls 文件的问题，其余工作正常。