9
¿Cómo las personas que trabajan con XSB Prolog realizan pruebas unitarias? ¿Hay una biblioteca disponible? ¿O es posible de alguna manera usar la biblioteca plunit de SWI-Prolog en XSB?Pruebas unitarias en XSB Prolog?
Si no hay una biblioteca de pruebas disponible para XSB (u otros Prologs no compatibles con plunit), tal vez una variación de esta pregunta podría ser: ¿Cómo se prueba el código de Prolog? ¿Utiliza un patrón favorito para probarlo?
Quizás una pequeña explicación sobre "pruebas unitarias" aliente las respuestas. Estoy desconcertado de por qué un programador necesita una herramienta especial para eso. – hardmath
No es que un programador "necesite" una biblioteca especial para pruebas unitarias. Puede probar como lo desee utilizando cualquier técnica que considere efectiva y eficiente. Sin embargo, sucede que esta es una tarea bastante repetitiva, donde te encuentras una y otra vez definiendo aparatos, escribiendo pruebas individuales (de unidades), usando expresiones de prueba comunes (sé que este es un poco discutible), definiendo tareas de limpieza y seleccionando one | a group | todas sus pruebas para ser ejecutadas. Si no hay una buena biblioteca existente para esto, tendrá que definir sus propias convenciones y soporte de programa para estas tareas repetitivas. – Sergio