Corpus ID: 14480962

A Test Automation Framework for Mercury

@article{Biener2010ATA,
  title={A Test Automation Framework for Mercury},
  author={P. Biener and François Degrave and Wim Vanhoof},
  journal={ArXiv},
  year={2010},
  volume={abs/1009.3765}
}
  • P. Biener, François Degrave, Wim Vanhoof
  • Published 2010
  • Computer Science
  • ArXiv
  • 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. 

    References

    Publications referenced by this paper.
    SHOWING 1-10 OF 16 REFERENCES
    Art of Software Testing
    • 3,888
    • PDF
    Software unit test coverage and adequacy
    • 1,245
    • PDF
    A Polymorphic Type System for Prolog
    • 330
    • PDF
    Haskell program coverage
    • 44
    • PDF
    Pragmatic Unit Testing in Java with JUnit
    • 80
    • PDF
    Mercury test framework
    • 2010
    HUnit User's Guide. http://hunit.sourceforge.net/HUnit- 1.0/Guide
    • 2002