Department

Computer Science Department

Degree Name

BS in Software Engineering

Date

6-2015

Advisor(s)

Gene Fisher

Abstract

Automated black box test generation is a useful tool for developers that allows them to

quickly generate a large number of tests with a wide range of values tested. The current most

popular tool for black box test generation in Java, JML, is lacking in a number of features.

SPEST aims to improve upon existing tools, and provide a black box test generation tool that

can create human readable tests from simple pre and post conditions added as comments to

the Java source code.

Share

COinS