Executable jar file
for the Spest specification checker and test generator
Using Spest:
-
Download the jar file to a location of your choice.
-
Make sure all of the Java files to be checked have compiled correctly with
javac and that the .class files are located somewhere within
your implementation directory.
-
Invoke the Spest checker from the Desktop icon or with the command line:
java -jar spest.jar
-
In the GUI, navigate to the root directory for your Java specification.
-
For the 'Test Output Directory', navigate to where you want Spest to put the
testing files.
-
For the week 5 release of Spest, the testing files will go into a flat
directory space. The week 6 release of Spest will retain the implementation
directory packaging hierarchy.
-
If just want to check the Spest preconditions and postconditions, press the
'Validate' button at the bottom of the UI window. (The validation results may
take a few sections to appear in the 'Console Output' text area.)
-
To generate tests, press the 'Generate' button (which will also do validation).
-
To support ongoing Spest improvements, scroll to the top of the 'Console
Output' and make sure that all validation errors make sense.
-
The name of each checked file is printed in the output area.
-
If there are no Spest checking errors, there's a blank line after the fill
name.
-
Any errors in a file are reported with a compiler-style message, including the
line and character number where the error occurs.
-
If there's an error you can't figure out how to fix, make a note of it, move
the affected file from the 'Selected:' list in the GUI into the 'Ignored:'
list, and send an email about it to gfisher@calpoly.edu and
cjohns71@calpoly.edu.
-
We continue to appreciate your participation and patience in the development of
the Spest checker!
