main
public static void main(java.lang.String[] args)
Reads the URL-encoded POST-data on standard input, decodes this as a
Java map containing a key "url" associated with a value, the URL of
the specification file; a key "depth" associated with a non-negative
integer representing the depth of testing from each state; and a key
"multi" associated with a boolean flag requesting multi-objective
test generation. Reads the specification file, which is in the
Broker@Cloud XML specification format conforming to ServiceSchema.xsd,
and builds a model of the specification in memory. Generates a
high-level test suite from the specification, then grounds this as a
JUnit test driver class, expecting the System-Under-Test to be a Java
object with the same class-name as the service.
- Parameters:
args
- empty, since no command-line parameters are passed.