Exercise Testing Tracing
AFP Exercise 4: Testing and Tracing
For the fourth exercise of AFP, you have to use the Quickcheck library as well as the Hat debugging tools.
More precisely, you are asked to answer the questions about merge-sort that are included
in the Quickcheck/Hat paper. These questions can be found in Section 7.1 on pages 37 and 38
In addition to your answers for the seven questions, please give a short opinion
(5-10 sentences) about
the usefulness of Quickcheck and Hat for testing and tracing functional programs. How well did you get on
with the tools? Will you ever consider using it for larger applications?
- Quickcheck is part of GHC's hierarchical libraries, and the latest version can be found here.
- The sources for building Hat can be found at the project's homepage (check out the system requirements first). You need to install hmake beforehand.
tools for Linux or Mac OS should be relatively easy. However, to get it
running on the Windows platform is said to be more complicated. If someone succeeds in building these tools for
Windows, please put the executables online so that others can benefit from your efforts.