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 outputs this as an
annotated XML file, issuing warnings about any states that were not
reached, or transitions that were not covered; and also indicating an
analysis of optimisations performed on the test suite during test
generation.
- Parameters:
args
- empty, since no command-line parameters are passed.