#53 TestCaseGenerator - RandomTestCase doesn't accept parameter

[jlocke]

The README-TestCaseGenerator.txt file specifies the following:

"- testCaseNumber : - this parameter is needed to run the RandomTestCase plugin. It defines the number of Test Case to be created."

Attempting to put a testCaseNumber in the TestCaseGenerator.properties file does not work.

Expected behavior:

Putting a testCaseNumber value in the TestCaseGenerator.properties file should dictate the number of test cases to be created with the RandomTestCase plugin.

Actual behavior:

The program ignores the testCaseNumber parameter.

Platforms:

This bug is reproducible on Linux and Windows

Steps to reproduce:

* Build the TestCaseGenerator
* Replace the plugin in the TestCaseGenerator.properties file with RandomTestCase
* Remove the "max-number" parameter from the TestCaseGenerator.properties file
* Add "testCaseNumber = 3" to the TestCaseGenerator.properties file
* Run the TestCaseGenerator with a valid EFG

The program reports an error about missing the "max-number" parameter, but the README specified that the RandomTestCase plugin uses the "testCaseNumber" parameter instead. Note that if the "max-number" parameter is provided in addition to "testCaseNumber", the program will execute properly, but it uses the "max-number" parameter instead of "testCaseNumber". The RandomTestCase plugin should either be modified to use the "testCaseNumber" parameter, or the documentation should be updated to specify that "max-number" is used instead. This bug was identified while experimenting with different parameters in the TestCaseGenerator.properties file.

Discovered & reported by the TestCaseGenerator team (7 members)