Computer Science – Logic in Computer Science
Scientific paper
2010-09-20
Proceedings of CICLOPS-WLPE 2010
Computer Science
Logic in Computer Science
Online proceedings of the Joint Workshop on Implementation of Constraint Logic Programming Systems and Logic-based Methods in
Scientific paper
This paper presents a test automation framework for Mercury programs. We developed a method that generates runnable Mercury code from a formalized test suite, and which code provides a report on execution about the success of test cases. We also developed a coverage tool for the framework, which identifies and provide a visualization of the reached parts of the program when executing a given test suite.
Biener Peter
Degrave François
Vanhoof Wim
No associations
LandOfFree
A Test Automation Framework for Mercury 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 A Test Automation Framework for Mercury, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and A Test Automation Framework for Mercury will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-264370