Tests unitaires dans XSB Prolog?
-
28-10-2019 - |
Question
Comment les gens qui travaillent avec XSB Prolog faire des tests unitaires? Y at-il une bibliothèque disponible? Ou est-il possible d'utiliser en quelque sorte la bibliothèque plunit
de SWI-Prolog XSB?
S'il n'y a pas une bibliothèque de tests disponibles pour XSB (ou d'autres Prologs pas compatibles avec plunit
), peut-être une variante de cette question pourrait être: Comment tester votre code Prolog? Utilisez-vous un modèle favori pour le tester?
La solution
Après un peu de recherche, j'ai décidé de donner un essai à lgtunit
(http://logtalk.org/library/lgtunit_0.html), une bibliothèque de Logtalk pour les tests unitaires.
Je l'ai trouvé assez facile à utiliser et à ce que je cherchais. Vous trouverez un tutoriel ici: http://blog.logtalk.org/2011/03/ écriture-tests unitaires-en-Logtalk /