Unit testing frameworks are nowadays considered a best practice, included in almost all modern software development processes, to achieve rapid development of correct specifications. Knowledge representation and reasoning paradigms such as Answer Set Programming (ASP), that have been used in industry-level applications, are not an exception. Indeed, the first unit testing specification language for ASP was proposed in 2011 as a feature of the ASPIDE development environment. Later, a more portable unit testing language was included in the LANA annotation language. In this paper we revisit both languages and tools for unit testing in ASP. We propose a new unit test specification language that allows one to inline tests within ASP programs, and we identify the computational complexity of the tasks associated with checking the various program-correctness assertions. Test-case specifications are transparent to the traditional evaluation, but can be interpreted by a specific testing tool. Thus, we present a novel environment supporting test-driven development of ASP programs.

如今，单元测试框架被认为是一种最佳实践，几乎包含在所有现代软件开发过程中，以实现正确规范的快速开发。已经在工业级应用程序中使用的知识表示和推理范例，例如答案集编程（ASP），也不例外。事实上，第一个 ASP 单元测试规范语言于 2011 年作为 ASPIDE 开发环境的一项功能提出。后来，LANA注释语言中包含了一种更具可移植性的单元测试语言。在本文中，我们重新审视 ASP 中的单元测试语言和工具。我们提出了一种新的单元测试规范语言，允许在 ASP 程序中进行内联测试，并且我们确定了与检查各种程序正确性断言相关的任务的计算复杂性。测试用例规范对于传统评估是透明的，但可以由特定的测试工具来解释。因此，我们提出了一种支持 ASP 程序测试驱动开发的新颖环境。