Random vs. Structure-Based Testing of Answer-Set Programs: An Experimental Comparison

摘要

Answer-set programming (ASP) is an established paradigm for declar ative problem solving, yet comparably little work on testing of answer-set programs has been done so far. In a recent paper, foundations for structure-based testing of answer-set programs building on a number of coverage notions have been proposed. In this paper, we develop a framework for testing answer-set pro grams based on this work and study how good the structure-based approach to test input generation is compared to random test input generation. The results indi cate that random testing is quite ineffective for some benchmarks, while structure-based techniques catch faults with a high rate more consistently also in these cases.