lab8
Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
| lab8 [2016/03/02 21:09] – franck | lab8 [2016/03/03 13:46] (current) – franck | ||
|---|---|---|---|
| Line 60: | Line 60: | ||
| That is, JPF reports the maximum amount of nondeterminism (maximum number of outgoing transitions from any state of the system under test). | That is, JPF reports the maximum amount of nondeterminism (maximum number of outgoing transitions from any state of the system under test). | ||
| Apart from the classes that have been discussed in the lectures, also the class ChoiceGenerator, | Apart from the classes that have been discussed in the lectures, also the class ChoiceGenerator, | ||
| - | Try not to hard-code ====================================================== but | ||
| - | use an appropriate methods provided by JPF. | ||
lab8.1456952940.txt.gz · Last modified: 2016/03/02 21:09 by franck