Модульное тестирование в XSB Prolog?

Как люди, работающие с XSB Prolog, проводят модульное тестирование? Есть ли доступная библиотека? Или можно как-то использовать библиотеку SWI-Prolog plunit в XSB?

Если нет доступной библиотеки тестирования для XSB (или других прологов, не совместимых с plunit), возможно, вариант этого вопроса может быть следующим: как вы тестируете свой код Prolog? Используете ли вы любимый шаблон для его тестирования?


unit-testing prolog plunit xsb
person Sergio    schedule 14.06.2011    source источник
comment
Возможно, небольшое пояснение по модульному тестированию будет стимулировать ответы. Я озадачен тем, почему программисту нужен специальный инструмент для этого.   -  person hardmath    schedule 19.06.2011
comment
Дело не в том, что программисту нужна специальная библиотека для модульного тестирования. Вы можете тестировать по своему усмотрению, используя любой метод, который вы считаете эффективным и действенным. Однако бывает, что это довольно повторяющаяся задача, когда вы снова и снова определяете фикстуры, пишете отдельные (модульные) тесты, используете общие выражения тестирования (я знаю, что это немного спорно), определяете задачи очистки и выбираете одна|группа|все ваши тесты должны быть выполнены. Если для этого нет хорошей существующей библиотеки, вам придется определить свои собственные соглашения и программную поддержку для этих повторяющихся задач.   -  person Sergio    schedule 20.06.2011

Ответы (1)


arrow_upward
3
arrow_downward

После небольшого исследования я решил попробовать lgtunit (http://logtalk.org/library/lgtunit_0.html), библиотеку Logtalk для модульного тестирования.

Я нашел его довольно простым в использовании и то, что я искал. Краткое руководство можно найти здесь: http://blog.logtalk.org/2011/03/writing-unit-tests-in-logtalk/

person Sergio    schedule 23.06.2011