在XSB Prolog中进行单元测试？

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

如果没有可用的XSB测试库（或其他Prolog与plunit不兼容），也许这个问题的一个变种可能是：你如何测试你的Prolog代码？你用最喜欢的模式来测试它吗？

2011-06-14 Sergio

也许关于“单元测试”的一些解释会鼓励答复。我很困惑为什么程序员需要一个特殊的工具。 – hardmath 2011-06-19 00:54:59

程序员并不需要一个专门的单元测试库。您可以使用任何您认为有效且高效的技术进行测试。然而，碰巧这是一个相当重复的任务，在这个任务中，你一次又一次地发现自己定义灯具，编写单个（单元）测试，使用通用测试表达式（我知道这一点有点争议），定义清洁任务，并选择一个|一组|所有要执行的测试。如果没有一个好的现有库，你将不得不为这些重复任务定义自己的约定和程序支持。 – Sergio 2011-06-19 20:12:40

经过一些研究，我决定给一个尝试lgtunit（http://logtalk.org/library/lgtunit_0.html），一个Logtalk库进行单元测试。

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

来源

2011-06-23 11:20:43 Sergio

在XSB Prolog中进行单元测试？

回答

相关问题