Method and System for Test Case Generation
First Claim
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.
1 Assignment
0 Petitions
Accused Products
Abstract
A method and apparatus is described for generating a test case for an application or system modelled using a Stochastic Automata Network model. The method contemplates the inclusion of a plurality of automata and including the steps of: (a) setting an initial global state as the current global state, 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; (c) selecting an event from a set of events that can be applied to the current global state; creating record of the selected event; (e) identifying those of the automata affected by the selected event and updating the current global state by updating the states of the affected automata; (f) creating a record of the current global state; and repeating steps (c) to (f) until a termination condition is satisfied. The invention may also be used for the generation of test scripts. In terms of specific usage case, the invention may be used for software reliability testing and for fault-tolerance measurements.
21 Citations
24 Claims
-
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. - View Dependent Claims (2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15)
-
-
16. An apparatus for generating a test case for an application or system, the apparatus including memory (211, 212) and a processor (210), characterised in that the memory (211,212) Is configured to store data related to a Stochastic Automata Network based model of the application or system, the Stochastic Automata Network including a plurality of automata, and in that the processor (210) is configured to:
-
a) select an initial global state from a set of possible initial global states stored in the memory (211,212), each global state comprising a set of local states each corresponding to one of the automata, b) set the selected initial global state as the current global state; c) store a record of the current global state in the memory (211,212); d) select an event from a set of events that can be applied to the current global state, from a set of possible events stored in the memory (211,212); e) store a record of the selected event In the memory (211,212); f) identify those of the automata affected by the selected event and update the current global state by updating the local states of the affected automata; and
g) store a record of the updated current global state in the memory (211,212). - View Dependent Claims (17, 18, 22, 23, 24)
-
-
19. A testing apparatus Including a processor (210) and memory (211,212), the memory being configured to store data related to a Stochastic Automata Network based model of an application or system, the Stochastic Automata Network including a plurality of automata, and the processor (210) being configured to:
-
a) select an Initial global state from a set of possible initial global states stored in the memory, each global state comprising a set of local states each corresponding to one of the automata. b) set the selected initial global state as the current global state; c) store a record of the current global state in the memory (211,212); d) select an event from a set of events that can be applied to the current global state, from a set of possible events stored in the memory (211,212); e) store a record of the selected event in the memory (211,212); f) identify those of the automata affected by the selected event and update the current global state by updating the local states of the affected automata; and g) store a record of the updated current global state in the memory (211,212). - View Dependent Claims (20, 21)
-
Specification