ASP中的单元测试再探：语言与测试驱动开发环境
Unit Testing in ASP Revisited: Language and Test-Driven Development Environment
AI总结：
本文重新审视ASP单元测试语言与工具，提出支持内联测试的新规范语言，并分析其计算复杂度，构建测试驱动开发环境。
摘要：
单元测试框架如今被视为一种最佳实践，几乎被纳入所有现代软件开发流程中，以实现正确规格的快速开发。知识表示与推理范式，如答案集编程（ASP），已被应用于工业级应用，也不例外。事实上，首个针对ASP的单元测试规范语言于2011年提出，作为ASPIDE开发环境的一个特性。后来，一种更具可移植性的单元测试语言被纳入LANA注释语言。在本文中，我们重新审视了ASP中用于单元测试的两种语言和工具。我们提出了一种新的单元测试规范语言，允许将测试内联到ASP程序中，并确定了与检查各种程序正确性断言相关的任务的计算复杂度。测试用例规范对传统评估是透明的，但可以被特定的测试工具解释。因此，我们提出了一种支持ASP程序测试驱动开发的新环境。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
