在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中進行單元測試？

回答

相關問題