Дайкон (система) - Daikon (system)
 | Тема этой статьи может не соответствовать Википедии рекомендации по продуктам и услугам. (Май 2013) (Узнайте, как и когда удалить этот шаблон сообщения) |
 | Эта статья нужны дополнительные цитаты для проверка. (Май 2013) (Узнайте, как и когда удалить этот шаблон сообщения) |
Дайкон это компьютерная программа это обнаруживает вероятные инварианты программ.[1] An инвариантный это условие, которое всегда выполняется в определенных точках программы. В основном используется[2] за отладка программы на поздней стадии разработки или проверки изменений существующего кода.
Характеристики
Daikon может обнаруживать свойства в C, C ++, Ява, Perl, и IOA программ, а также электронная таблица файлы или другие источники данных. Daikon легко расширяется и бесплатно программное обеспечение.[3]
внешняя ссылка
- Дайкон Официальный домашний сайт
- Исходный репозиторий на Github
- Динамическое обнаружение вероятных программных инвариантов, Майкл Д. Эрнст, доктор философии. Диссертация (с использованием Daikon)
Рекомендации
- ^ Обзор инструментов и приложений JML
- ^ «Динамическое обнаружение вероятных программных инвариантов». Groups.csail.mit.edu. Получено 2013-05-23.
- ^ [1] В архиве 2011-06-10 на Wayback Machine Лицензия Daikon
 | Этот инструмент для программирования -связанная статья является заглушка. Вы можете помочь Википедии расширяя это. |