Unit Testing in ASPIDE

Details Unit Testing in ASPIDE Unit Testing in ASPIDE

2011-08-27

arxiv.org/abs/1108.5434v1

Computer Science

Programming Languages

12 pages, 4 figures, Proceedings of the 25th Workshop on Logic Programming (WLP 2011)

Scientific paper

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 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 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.

Affiliated with

Also associated with

No associations

Rating

Unit Testing in ASPIDE does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Unit Testing in ASPIDE, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Unit Testing in ASPIDE will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-613951