Patent Document ID: 7685468
Application ID: 11630700
Patent Flag: 1

Claim One:
1. A method of generating a test case for an application or system modelled using a Stochastic Automata Network model including a plurality of automata, including the steps of: a) setting an initial global state as the current global state ( 100 ), wherein a global state comprises a set of local states each corresponding to one of the automata; b) creating a record of the initial global state ( 101 ); c) selecting an event ( 103 ) from a set of events that can be applied to the current global state; d) creating a record of the selected event ( 104 ); e) identifying those of the automata affected by the selected event ( 105 ) and updating the current global state by updating the states of the affected automata ( 106 ); f) creating a record of the current global state ( 107 ); and repeating steps c) to f) until a termination condition is satisfied.