Testing ASP programs in ASPIDE Onofrio Febbraro 1 , Kristian Reale 2 , and Francesco Ricca 2 1 DLVSystem s.r.l. - P.zza Vermicelli, Polo Tecnologico, 87036 Rende, Italy febbraro@dlvsystem.com 2 Dipartimento di Matematica, Universit` a della Calabria, 87030 Rende, Italy {reale,ricca}@mat.unical.it 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 com- prehensive IDE for ASP, which supports the entire life-cycle of ASP development with a collection of user-friendly graphical tools for program composition, test- ing, debugging, profiling, solver execution configuration, and output-handling. 1 Introduction Answer Set Programming (ASP) [1] is an expressive [2] logic programming paradigm proposed in the area of non-monotonic reasoning. ASP allows one to declaratively spec- ify a complex computational problem by a logic program whose answer sets correspond to solutions and then use a solver to find such a solution [3]. The high expressive power of ASP has been profitably exploited for developing advanced applications belonging to several fields, from Artificial Intelligence [4–10] to Information Integration [11], and Knowledge Management [12–14]. Interestingly, these applications of ASP recently have stimulated some interest also in industry [15]. On the one hand, the effective application of ASP in real-world scenarios was made possible by the availability of efficient ASP systems [4, 16–26]. On the other hand, the adoption of ASP can be further boosted by offering effective programming tools capable of supporting the programmers in managing large and complex projects [27]. In the last few years, a number of tools for developing ASP programs have been proposed, including editors and debuggers [28–38]. Among them, ASPIDE [38] –which stands for Answer Set Programming Integrated Development Environment– is one of the most complete development tools 1 and it integrates a cutting-edge editing tool (fea- turing dynamic syntax highlighting, on-line syntax correction, autocompletion, code- templates, quick-fixes, refactoring, etc.) with a collection of user-friendly graphical 1 For an exaustive feature-wise comparison with existing environments for developing logic programs we refer the reader to [38].