Axiom Based Testing in Java

Abstract

Software plays a crucial role in today's society. Making sure that software is reliable is therefore very important. To make reliable software it is important to test it. Axiom-based testing gives us a way of specifying properties of programs and testing them against generated data. In this thesis we look at previous work done for implementing axiom-based testing, mainly JAxT by Karl Trygve Kalleberg and Magne Haveraaen. We present our work on creating an axiom-based testing framework for Java. The result of our work is a prototype that we have called Jaxioms.

After introducing relevant background we look at the tools we have used. Then we go over main parts of our framework, and an overview of the implementation created. We end by discussing limitations and future work that can be done for Jaxioms.