A Test Automation Framework for Mercury

TL;DR

This paper introduces a test automation framework for Mercury that generates executable code from formal test suites and includes a coverage tool for visualizing tested code parts.

Contribution

It presents a novel method for automatically generating Mercury test code and a coverage visualization tool, enhancing testing efficiency and insight.

Findings

Successfully generates runnable Mercury test code

Provides detailed coverage visualization

Improves testing process for Mercury programs

Abstract

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.