#java #csv #invariants
#java #csv #инварианты
Вопрос:
Я пытаюсь найти инварианты из набора данных (.csv-файл) с помощью Daikon, но я не нашел ни одного примера или справки через Интернет для запуска daikon в файле .CSV, содержащем логические данные (матрица 3 на 8). Изображение для файла csv
В соответствии с инструкциями, приведенными в руководстве пользователя daikon, я запускаю convercsv.pl для преобразования файлов .dtrace и .decls, соответствующих моему csv-файлу, которые используются для применения daikon, но он печатает несколько строк данных и выдает ошибку «TRUE; FALSE; TRUE; FALSE при convertcsv.pl строка 380, строка 1.LSE». ошибка при преобразовании файлов csv dtrace и decls
Комментарии:
1. Это выстрел в темноте, не видя кода сценариев, которые вы используете, но может ли быть так, что ваш csv разделяет поля точкой с запятой, в то время как ваши сценарии ожидают какой-то другой символ (например, запятую)? Но на самом деле, не видя кода, это может быть буквально что угодно.
2. Пожалуйста, предоставьте небольшой CSV-файл, который воспроизводит проблему.
3. Спасибо за помощь. Это сработало, как я упоминал в своем ответе.
Ответ №1:
Спасибо всем. Проблема решена. Проблема была с файлом CSV. Коду не удалось прочитать автоматически сохраненный файл CSV. Я просто заменил конец строки (нажав пробел и ввод) в конце каждой записи в текстовом редакторе. Просто заменив конец строки, я смог преобразовать файл csv в файлы .dtrac и decls. После его создания я просто запускаю daikon в файлах dtrac и decls, и он создает инварианты.
Исходный код daikon можно найти по адресу http://plse.cs.washington.edu/daikon/download/doc/daikon.html У него была единственная проблема, о которой я упоминал выше, связанная с преобразованием csv-файла в файлы .dtrac и .decls, остальное работает нормально.