AutoTest: Automatic Test Case Generation for Go

Abstract

Autograder is a tool developed at the University of Stavanger that provides immediate feedback on programming assignments. The assignments are correctly automatically based on test cases written manually by the teacher. Writing tests manually is a tedious and time-consuming task that typically accounts for around 50% in the development of a modern application. In this thesis we present a simple prototype of a tool named AutoTest; a static test generation tool for Go. The long-term ob- jective of the project is to be able to automatically generate tests for typical assignments given on Autograder. The prototype combines techniques from static symbolic execution with constraint solving and a path exploration algorithm in order to find as many execution paths as possible and generate test inputs. AutoTest in it’s current state is far from complete. However the results from testing the prototype looks very promising. Additional functionality must be implemented before the tool can be tested thoroughly and before it can be used along Autograder.