Testing ASP programs in ASPIDE.
Onofrio Febbraro, Kristian Reale, Francesco Ricca · 2011
Abstract. Answer Set Programming (ASP) is a declarative logic programming formalism, which nowadays counts several advanced real-world applications, and has stimulated some interest also in industry. Although some environments for ASP-program development have been proposed in the last few years, the crucial task of testing ASP programs received less attention, and is an Achilles ’ heel of the available programming environments. In this paper we present a new language for specifying and running unit tests on ASP programs. The testing language has been 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. 1