文章/答案/技术大牛

发布

社区首页 >问答首页 >XSB Prolog中的单元测试？

问XSB Prolog中的单元测试？
EN

Stack Overflow用户

提问于 2011-06-15 07:09:10

回答 1查看 327关注 0票数 8

使用XSB Prolog的人如何进行单元测试？有没有可用的图书馆？或者可以在XSB中以某种方式使用SWI-Prolog的plunit库？

如果没有可用的XSB测试库(或其他与plunit不兼容的Prolog )，那么这个问题的变体可能是:如何测试Prolog代码？你会使用你喜欢的模式来测试它吗？

回答已采纳

发布于 2011-06-23 19:20:44

经过一些研究后，我决定尝试一下lgtunit (http://logtalk.org/library/lgtunit_0.html)，这是一个用于单元测试的Logtalk库。

我发现它很容易使用，也很容易找到我想要的。可以在这里找到一个简短的教程：http://blog.logtalk.org/2011/03/writing-unit-tests-in-logtalk/

票数 2

页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持

原文链接：

https://stackoverflow.com/questions/6351245

复制

相似问题

问XSB Prolog中的单元测试？EN