Abstract
Answer Set Programming (ASP) is a declarative logic programming formalism, which is employed nowadays in both academic and industrial real-world applications. Although some tools for supporting the development of ASP programs have been proposed in the last few years, the crucial task of testing ASP programs received less attention and it is an Achilles’ heel of the available programming environments. In this paper we present a language for specifying and running unit tests on ASP programs. The testing language was implemented in ASPIDE, a comprehensive IDE for ASP, which supports the entire life cycle of ASP development with a collection of user-friendly graphical tools for program composition, testing, debugging, profiling, solver execution configuration, and output handling.
Cite
CITATION STYLE
Febbraro, O., Leone, N., Reale, K., & Ricca, F. (2013). Unit testing in ASPIDE. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 7773 LNAI, pp. 345–364). Springer Verlag. https://doi.org/10.1007/978-3-642-41524-1_21
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
