Tomasz Jurewicz Undergraduate Dissertation 2017/18

CatWalk: A Software Unit Testing Tool for Java

Supervised by A.Simons

Abstract

CatWalk is a Java testing tool that aims to generate JUnit tests by combining 3 main techniques; discovering test information by interrogating a compiled Java class, executing a state-based search to grow the set of abstract test sequences, and then using equivalence partition testing to synthesize test inputs that trigger different qualitative responses. These responses are used to generate the JUnit tests. CatWalk will be used to implement "lazy systematic unit testing", which is a unit testing method that is based on the flexible approach to software specification, known as "lazy specification". Lazy specification evolves rapidly, due to a frequently modified code base, so CatWalk will generate tests to suit this quick development cycle.