Package edu.utep.cs.jet.gui.tester

Contains the source code to interface with an external test case generation tool.

See:
Description

Interface Summary

ClassFileChangeListener	A listener interface to notify the loading of a class file by the tester.
Tester	An interface to the built-in tester that can load a bytecode file to perfrom unit testing.

Class Summary

DefaultTester	The default tester class responsible for generating test cases dynamically and displaying them.
ExperimentTester	A test class that also collects and prints test statistics.
FileClassLoader	A special class loader to load a class from a given bytecode file.
FuzzyParserLexer
JUnitExporter	A utility class to export generated test cases as JUnit tests.
Options	An option panel to set various tester options.
Parser	This class separates the JML requirements from the whole code.
Preference	A utility class to store various user options for the tester.

Package edu.utep.cs.jet.gui.tester Description

Contains the source code to interface with an external test case generation tool. Currently, this package supports only the RandomTestCaseGenerator class. However, it can be easily extended to support other test case generation tools.

The public interfaces and classes of this package are Tester, DefaultTester, and ClassFileChangeListener, and they can be used as follows.

// create a tester
Tester tester = new DefaultTester();

// get the view and add it to the main GUI
JComponent testerPane = tester.getView();
// ...

// register a listener, if needed
tester.addClassFileChangeListener(new ClassFileChangeListener() {
    public void fileLoad(File file) {
      System.out.println(file.getName() + " is loaded for testing!");
    }
  });

// load a class file to start testing its methods
loadFile(new File("Test.class"));