|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use nz.ac.waikato.modeljunit | |
|---|---|
| nz.ac.waikato.modeljunit | Overview |
| nz.ac.waikato.modeljunit.coverage | Model Coverage Metrics |
| nz.ac.waikato.modeljunit.examples | Examples of Using ModelJUnit |
| nz.ac.waikato.modeljunit.examples.ecinema | |
| nz.ac.waikato.modeljunit.examples.gsm | |
| nz.ac.waikato.modeljunit.gui | A GUI for ModelJUnit |
| nz.ac.waikato.modeljunit.gui.visualisaton | |
| nz.ac.waikato.modeljunit.timing | |
| Classes in nz.ac.waikato.modeljunit used by nz.ac.waikato.modeljunit | |
|---|---|
| AbstractListener
An implementation of ModelListener that ignores all events. |
|
| FsmModel
Interface for FSM models for model-based testing. |
|
| GraphListener
This ModelListener builds a graph of the observed parts of the model. |
|
| ListenerFactory
This singleton object defines all the pre-defined model listeners (and coverage metrics). |
|
| Model
This class is a wrapper around a user-supplied EFSM model. |
|
| ModelListener
An interface for objects that listen for model events. |
|
| RandomTester
Test a system by making random walks through an EFSM model of the system. |
|
| Tester
An abstract superclass for all the test generation algorithms. |
|
| TestFailureException
Exceptions related to failed tests. |
|
| Transition
A transition represents a triple (StartState,Action,EndState). |
|
| Classes in nz.ac.waikato.modeljunit used by nz.ac.waikato.modeljunit.coverage | |
|---|---|
| AbstractListener
An implementation of ModelListener that ignores all events. |
|
| Model
This class is a wrapper around a user-supplied EFSM model. |
|
| ModelListener
An interface for objects that listen for model events. |
|
| TestFailureException
Exceptions related to failed tests. |
|
| Transition
A transition represents a triple (StartState,Action,EndState). |
|
| Classes in nz.ac.waikato.modeljunit used by nz.ac.waikato.modeljunit.examples | |
|---|---|
| Action
Indicates that the annotated method is a transition of an FSM. |
|
| FsmModel
Interface for FSM models for model-based testing. |
|
| Tester
An abstract superclass for all the test generation algorithms. |
|
| Classes in nz.ac.waikato.modeljunit used by nz.ac.waikato.modeljunit.examples.ecinema | |
|---|---|
| Action
Indicates that the annotated method is a transition of an FSM. |
|
| FsmModel
Interface for FSM models for model-based testing. |
|
| Classes in nz.ac.waikato.modeljunit used by nz.ac.waikato.modeljunit.examples.gsm | |
|---|---|
| Action
Indicates that the annotated method is a transition of an FSM. |
|
| FsmModel
Interface for FSM models for model-based testing. |
|
| Classes in nz.ac.waikato.modeljunit used by nz.ac.waikato.modeljunit.gui | |
|---|---|
| FsmModel
Interface for FSM models for model-based testing. |
|
| Model
This class is a wrapper around a user-supplied EFSM model. |
|
| Tester
An abstract superclass for all the test generation algorithms. |
|
| Classes in nz.ac.waikato.modeljunit used by nz.ac.waikato.modeljunit.gui.visualisaton | |
|---|---|
| AbstractListener
An implementation of ModelListener that ignores all events. |
|
| GraphListener
This ModelListener builds a graph of the observed parts of the model. |
|
| ModelListener
An interface for objects that listen for model events. |
|
| TestFailureException
Exceptions related to failed tests. |
|
| Transition
A transition represents a triple (StartState,Action,EndState). |
|
| Classes in nz.ac.waikato.modeljunit used by nz.ac.waikato.modeljunit.timing | |
|---|---|
| FsmModel
Interface for FSM models for model-based testing. |
|
| Model
This class is a wrapper around a user-supplied EFSM model. |
|
| Transition
A transition represents a triple (StartState,Action,EndState). |
|
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||