Operational test device and method of performing an operational test for a system under test
First Claim
1. An operational test device for executing an operational test (LT, DT, CT) for a test system (SUT) that has operating states corresponding to a real operating system (SUT-RA) used in a real operating environment, under test conditions, comprising:
- a) a test case generator (TCG) for generating a number of test cases (TC) with test commands that are each intended to produce a desired change in operating state within said test system;
b) a test device interface (INT) for receiving said test commands and for outputting corresponding operating signals to the test system (SUT) for bringing about said desired changes in operating state;
c) said test case generator (TCG) comprising;
a test state model generator (TSTS-G, PNM-G) for generating a test state model of the test system (SUT) from information on the hardware configuration of the test system (SUT), information on the possible operating states of said real operating system (SUT-RA), from traffic values that indicate transitional probabilities ascertained during the real application of said operating system (SUT-RA) for said operating states, and from the permitted test commands of the test system (SUT);
a test state model store (TSTM-S, PNM-S) in which said test state model is stored;
a test state model simulator (TSTM-Sim, PNM-Sim) that statistically passes through said test state model and in doing so generates desired operating state transitions; and
a test state model command generator (TSTM-CG, PNM-CG) for successively generating the test commands of said test cases (TC) on the basis of said operating state transitions generated by said test state model simulator.
6 Assignments
0 Petitions
Accused Products
Abstract
The invention relates to an operational test device and a method of executing an operational test for a test system which can assume a number of operating states. A test case generator (TCG) is provided for generating a number of test cases which are sent via a test device interface (INT) to the system under test (SUT). A test state model of the test system is ascertained by a test state model generator (TSTM-G) from information on the hardware configuration of the test system (SUT), information on the possible operating states of the test system (SUT), information on the test commands necessary for bringing about changes in operating state within the test system (SUT), and from traffic values which indicate transitional probabilities ascertained in the test system'"'"'s real application for the operating states. Test commands are generated on the basis of a Monte-Carlo simulation of this test state model. The operational test device is particularly suitable for use with a Petri net state model for testing a telephone network or in particular a mobile telephone network, such as a GSM network, e.g. for interrupting connection lines therein.
193 Citations
63 Claims
-
1. An operational test device for executing an operational test (LT, DT, CT) for a test system (SUT) that has operating states corresponding to a real operating system (SUT-RA) used in a real operating environment, under test conditions, comprising:
-
a) a test case generator (TCG) for generating a number of test cases (TC) with test commands that are each intended to produce a desired change in operating state within said test system; b) a test device interface (INT) for receiving said test commands and for outputting corresponding operating signals to the test system (SUT) for bringing about said desired changes in operating state; c) said test case generator (TCG) comprising; a test state model generator (TSTS-G, PNM-G) for generating a test state model of the test system (SUT) from information on the hardware configuration of the test system (SUT), information on the possible operating states of said real operating system (SUT-RA), from traffic values that indicate transitional probabilities ascertained during the real application of said operating system (SUT-RA) for said operating states, and from the permitted test commands of the test system (SUT); a test state model store (TSTM-S, PNM-S) in which said test state model is stored; a test state model simulator (TSTM-Sim, PNM-Sim) that statistically passes through said test state model and in doing so generates desired operating state transitions; and a test state model command generator (TSTM-CG, PNM-CG) for successively generating the test commands of said test cases (TC) on the basis of said operating state transitions generated by said test state model simulator. - View Dependent Claims (2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46)
-
-
31. A method of executing an operational test (LT, DT, CT) for a test system (SUT) which has operating states corresponding to a real operating system (SUT-RA) used in a real operating environment, under test conditions, comprising the following steps:
-
a) generating a number of test cases (TC) with test commands which each indicate a predetermined change in operating state within said test system, having a test case generator (TCG); b) receiving said test commands and outputting corresponding operating signals to said test system (SUT) for bringing about said predetermined changes in operating state via a test device interface (INT); and c1) generating a state model of said test system from information on the hardware configuration of said test system (SUT), information on the possible operating states of said test system in a real application (SUT-RA), information on the test commands needed for bringing about changes in operating state within the test system (SUT), and from traffic values which indicate transitional probabilities ascertained in the test system'"'"'s real application for said operating states, having a test state model generator (TSTM-G, PNM-G); c2) successively generating randomly controlled state changes according to said transitional probabilities within said test state model (TSTM) having a test state model simulator (TSTM-Sim, PNM-Sim); and c3) generating test commands of said test cases (TC) on the basis of said state transitions generated by said test state model simulator (TSTM-Sim) and the test commands linked to these state transitions in accordance with said test state model (TSTM, PNM) as a result of a test state model command generator (TSTM-CG, PNM-CG). - View Dependent Claims (32, 47, 48, 49, 50, 51)
-
-
52. An operational test device for executing an operational test (LT, DT, CT) for a test system (SUT) that has operating states corresponding to a real operating system (SUT-RA) used in a real operating environment, under test conditions, comprising:
-
a) a test case generator (TCG) for generating a number of test cases (TC) with test commands that are each intended to produce a desired change in operating state within said test system; b) a test device interface (INT) for receiving said test commands and for outputting corresponding operating signals to the test system (SUT) for bringing about said desired changes in operating state; c) said test case generator (TCG) comprising; a test state model generator (TSTS-G, PNM-G) for generating a test state model of the test system (SUT) from information on the hardware configuration of the test system (SUT), information on the possible operating states of said real operating system (SUT-RA), from traffic values that indicate transitional probabilities ascertained during the real application of said operating system (SUT-RA) for said operating states, and from the permitted test commands of the test system (SUT); a test state model store (TSTM-S, PNM-S) in which said test state model is stored; a test state model simulator (TSTM-Sim, PNM-Sim) that statistically passes through said test state model and in doing so generates desired operating state transitions; a test state model command generator (TSTM-CG, PNM-CG) for successively generating the test commands of said test cases (TC) on the basis of said operating state transitions generated by said test state model simulator; and d) wherein said test device interface (INT) receives from said test system (SUT) operating response signals which each indicate a change in operating state executed in said test system as a response to the respective operating signal, and outputs corresponding operating response signals to said test case generator (TCG).
-
-
53. An operational test device for executing an operational test (LT, DT, CT) for a test system (SUT) that has operating states corresponding to a real operating system (SUT-RA) used in a real operating environment, under test conditions, comprising:
-
a) a test case generator (TCG) for generating a number of test cases (TC) with test commands that are each intended to produce a desired change in operating state within said test system; b) a test device interface (INT) for receiving said test commands and for outputting corresponding operating signals to the test system (SUT) for bringing about said desired changes in operating state; c) said test case generator (TCG) comprising; a test state model generator (TSTS-G, PNM-G) for generating a test state model of the test system (SUT) from information on the hardware configuration of the test system (SUT), information on the possible operating states of said real operating system (SUT-RA), from traffic values that indicate transitional probabilities ascertained during the real application of said operating system (SUT-RA) for said operating states, and from the permitted test commands of the test system (SUT); a test state model store (TSTM-S, PNM-S) in which said test state model is stored; a test state model simulator (TSTM-Sim, PNM-Sim) that statistically passes through said test state model and in doing so generates desired operating state transitions; a test state model command generator (TSTM-CG, PNM-CG) for successively generating the test commands of said test cases (TC) on the basis of said operating state transitions generated by said test state model simulator;
whereind) said test device interface (INT) receives from said test system (SUT) operating response signals which each indicate a change in operating state executed in said test system as a response to the respective operating signal, and outputs corresponding operating response signals to said test case generator (TCG); and e) said test case generator (TCG) includes a comparer (CMP), said test state model simulator (TSTM-Sim, PNM-Sim) generating expected operating response signals of said test system (SUT) on the basis of said state model and storing them in a store (buffer B), storing the operating response signals generated by said test system (SUT) in response to the successively transmitted test commands in a store (buffer A), said comparer (CMP) comparing the operating response signals observed by said test system with expected operating response signals generated during simulation, and generating an error output when said stored expected and observed operating response signals do not match.
-
-
54. An operational test device for executing an operational test (LT, DT, CT) for a test system (SUT) that has operating states corresponding to a real operating system (SUT-RA) used in a real operating environment, under test conditions, comprising:
-
a) a test case generator (TCG) for generating a number of test cases (TC) with test commands that are each intended to produce a desired change in operating state within said test system; b) a test device interface (INT) for receiving said test commands and for outputting corresponding operating signals to the test system (SUT) for bringing about said desired changes in operating state; c) said test case generator (TCG) comprising; a test state model generator (TSTS-G, PNM-G) for generating a test state model of the test system (SUT) from information on the hardware configuration of the test system (SUT), information on the possible operating states of said real operating system (SUT-RA), from traffic values that indicate transitional probabilities ascertained during the real application of said operating system (SUT-RA) for said operating states, and from the permitted test commands of the test system (SUT); a test state model store (TSTM-S, PNM-S) in which said test state model is stored; a test state model simulator (TSTM-Sim, PNM-Sim) that statistically passes through said test state model and in doing so generates desired operating state transitions; a test state model command generator (TSTM-CG, PNM-CG) for successively generating the test commands of said test cases (TC) on the basis of said operating state transitions generated by said test state model simulator;
whereind) said test state model command generator (TSTM-CG, PNM-CG) passes through said test state model in a Monte-Carlo simulation in a random manner, but according to natural statistical rules; and e) said test state model generator (PNM-G) generates a test state model of the test system (SUT) on the basis of a Petri net model (PNM).
-
-
55. An operational test device for executing an operational test (LT, DT, CT) for a test system (SUT) that has operating states corresponding to a real operating system (SUT-RA) used in a real operating environment, under test conditions, comprising:
-
a) a test case generator (TCG) for generating a number of test cases (TC) with test commands that are each intended to produce a desired change in operating state within said test system; b) a test device interface (INT) for receiving said test commands and for outputting corresponding operating signals to the test system (SUT) for bringing about said desired changes in operating state; c) said test case generator (TCG) comprising; a test state model generator (TSTS-G, PNM-G) for generating a test state model of the test system (SUT) from information on the hardware configuration of the test system (SUT), information on the possible operating states of said real operating system (SUT-RA), from traffic values that indicate transitional probabilities ascertained during the real application of said operating system (SUT-RA) for said operating states, and from the permitted test commands of the test system (SUT); a test state model store (TSTM-S, PNM-S) in which said test state model is stored; a test state model simulator (TSTM-Sim, PNM-Sim) that statistically passes through said test state model and in doing so generates desired operating state transitions; a test state model command generator (TSTM-CG, PNM-CG) for successively generating the test commands of said test cases (TC) on the basis of said operating state transitions generated by said test state model simulator;
whereind) said test state model command generator (TSTM-CG, PNM-CG) passes through said test state model in a Monte-Carlo simulation in a random manner, but according to natural statistical rules; and e) the test system (SUT) is a telephone network and/or a mobile telephone network.
-
-
56. An operational test device for executing an operational test (LT, DT, CT) for a test system (SUT) that has operating states corresponding to a real operating system (SUT-RA) used in a real operating environment, under test conditions, comprising:
-
a) a test case generator (TCG) for generating a number of test cases (TC) with test commands that are each intended to produce a desired change in operating state within said test system; b) a test device interface (INT) for receiving said test commands and for outputting corresponding operating signals to the test system (SUT) for bringing about said desired changes in operating state; c) said test case generator (TCG) comprising; a test state model generator (TSTS-G, PNM-G) for generating a test state model of the test system (SUT) from information on the hardware configuration of the test system (SUT), information on the possible operating states of said real operating system (SUT-RA), from traffic values that indicate transitional probabilities ascertained during the real application of said operating system (SUT-RA) for said operating states, and from the permitted test commands of the test system (SUT); a test state model store (TSTM-S, PNM-S) in which said test state model is stored; a test state model simulator (TSTM-Sim, PNM-Sim) that statistically passes through said test state model and in doing so generates desired operating state transitions; a test state model command generator (TSTM-CG, PNM-CG) for successively generating the test commands of said test cases (TC) on the basis of said operating state transitions generated by said test state model simulator;
whereind) said test state model command generator (TSTM-CG, PNM-CG) passes through said test state model in a Monte-Carlo simulation in a random manner, but according to natural statistical rules; e) the test system (SUT) is a telephone network and/or a mobile telephone network; and f) said test case generator (TCG) transmits test commands for performing a load test (LT) by means of a load test command generator (LT-TCE) to a switching center (MSC) and/or local switching center (BSC) of a mobile telephone network.
-
-
57. An operational test device for executing an operational test (LT, DT, CT) for a test system (SUT) that has operating states corresponding to a real operating system (SUT-RA) used in a real operating environment, under test conditions, comprising:
-
a) a test case generator (TCG) for generating a number of test cases (TC) with test commands that are each intended to produce a desired change in operating state within said test system; b) a test device interface (INT) for receiving said test commands and for outputting corresponding operating signals to the test system (SUT) for bringing about said desired changes in operating state; c) said test case generator (TCG) comprising; a test state model generator (TSTS-G, PNM-G) for generating a test state model of the test system (SUT) from information on the hardware configuration of the test system (SUT), information on the possible operating states of said real operating system (SUT-RA), from traffic values that indicate transitional probabilities ascertained during the real application of said operating system (SUT-RA) for said operating states, and from the permitted test commands of the test system (SUT); a test state model store (TSTM-S, PNM-S) in which said test state model is stored; a test state model simulator (TSTM-Sim, PNM-Sim) that statistically passes through said test state model and in doing so generates desired operating state transitions; a test state model command generator (TSTM-CG, PNM-CG) for successively generating the test commands of said test cases (TC) on the basis of said operating state transitions generated by said test state model simulator;
whereind) said test state model command generator (TSTM-CG, PNM-CG) passes through said test state model in a Monte-Carlo simulation in a random manner, but according to natural statistical rules; e) the test system (SUT) is a telephone network and/or a mobile telephone network; and f) said test case generator (TCG) generates test commands for a conformance test (CT) by means of a conformance test command generator (CT-TCE) which controls a series of mobile telephones (MS) and an air interface simulator (AIS), and generates in this manner the user traffic of a mobile telephone network.
-
-
58. An operational test device for executing an operational test (LT, DT, CT) for a test system (SUT) that has operating states corresponding to a real operating system (SUT-RA) used in a real operating environment, under test conditions, comprising:
-
a) a test case generator (TCG) for generating a number of test cases (TC) with test commands that are each intended to produce a desired change in operating state within said test system; b) a test device interface (INT) for receiving said test commands and for outputting corresponding operating signals to the test system (SUT) for bringing about said desired changes in operating state; c) said test case generator (TCG) comprising; a test state model generator (TSTS-G, PNM-G) for generating a test state model of the test system (SUT) from information on the hardware configuration of the test system (SUT), information on the possible operating states of said real operating system (SUT-RA), from traffic values that indicate transitional probabilities ascertained during the real application of said operating system (SUT-RA) for said operating states, and from the permitted test commands of the test system (SUT); a test state model store (TSTM-S, PNM-S) in which said test state model is stored; a test state model simulator (TSTM-Sim, PNM-Sim) that statistically passes through said test state model and in doing so generates desired operating state transitions; a test state model command generator (TSTM-CG, PNM-CG) for successively generating the test commands of said test cases (TC) on the basis of said operating state transitions generated by said test state model simulator;
whereind) said test state model command generator (TSTM-CG, PNM-CG) passes through said test state model in a Monte-Carlo simulation in a random manner, but according to natural statistical rules; e) the test system (SUT) is a telephone network and/or a mobile telephone network; and f) said test case generator (TCG) generates test commands for a disturbance test (DT) by means of a disturbance test command generator (DT-TCE) which can systematically interrupt or disrupt lines between the switching centers of a mobile telephone network and/or can render inoperative or disrupt components within a switching center computer.
-
-
59. An operational test device for executing an operational test (LT, DT, CT) for a test system (SUT) that has operating states corresponding to a real operating system (SUT-RA) used in a real operating environment, under test conditions, comprising:
-
a) a test case generator (TCG) for generating a number of test cases (TC) with test commands that are each intended to produce a desired change in operating state within said test system; b) a test device interface (INT) for receiving said test commands and for outputting corresponding operating signals to the test system (SUT) for bringing about said desired changes in operating state; c) said test case generator (TCG) comprising; a test state model generator (TSTS-G, PNM-G) for generating a test state model of the test system (SUT) from information on the hardware configuration of the test system (SUT), information on the possible operating states of said real operating system (SUT-RA), from traffic values that indicate transitional probabilities ascertained during the real application of said operating system (SUT-RA) for said operating states, and from the permitted test commands of the test system (SUT); a test state model store (TSTM-S, PNM-S) in which said test state model is stored; a test state model simulator (TSTM-Sim, PNM-Sim) that statistically passes through said test state model and in doing so generates desired operating state transitions; a test state model command generator (TSTM-CG, PNM-CG) for successively generating the test commands of said test cases (TC) on the basis of said operating state transitions generated by said test state model simulator;
whereind) said test state model command generator (TSTM-CG, PNM-CG) passes through said test state model in a Monte-Carlo simulation in a random manner, but according to natural statistical rules; e) said test state model generator (PNM-G) generates a test state model of the test system (SUT) on the basis of a Petri net model (PNM); f) said test state model generator (TSTM-G) executed as a Petri net model generator (PNM-G) writes the generated Petri net state model of the test system (SUT) into a Petri net model store (PNM-S); g) said test state model simulator (TSTM-Sim, PNM-Sim) is a Petri net model simulator (PNM-Sim) that contains a Petri net marking store (MSt) used to store a current operating state of said Petri net; h) said Petri net model simulator (PNM-Sim) reads the current state of said Petri net model from said Petri net marking store (MSt) as a current marking of all the places with tokens (
), reads the Petri net state model (PNM) of said test system (SUT) from said Petri net model store (PNM-S), selects in a randomly controlled manner one of the possible state transitions given by the current marking and the structure of said Petri net model, calculates the new marking resulting from this state transition and stores it as a current marking in the marking store (MSt); andi) said test state model command generator is a Petri net model command generator (PNM-CG) which is informed by said Petri net model simulator (PNM-Sim) about the performed transition, with the result that it loads from said Petri net model store (PNM-S) the corresponding test commands which constitute said generated test case, and passes them on to the test system (SUT).
-
-
60. An operational test device for executing an operational test (LT, DT, CT) for a test system (SUT) that has operating states corresponding to a real operating system (SUT-RA) used in a real operating environment, under test conditions, comprising:
-
a) a test case generator (TCG) for generating a number of test cases (TC) with test commands that are each intended to produce a desired change in operating state within said test system; b) a test device interface (INT) for receiving said test commands and for outputting corresponding operating signals to the test system (SUT) for bringing about said desired changes in operating state; c) said test case generator (TCG) comprising; a test state model generator (TSTS-G, PNM-G) for generating a test state model of the test system (SUT) from information on the hardware configuration of the test system (SUT), information on the possible operating states of said real operating system (SUT-RA), from traffic values that indicate transitional probabilities ascertained during the real application of said operating system (SUT-RA) for said operating states, and from the permitted test commands of the test system (SUT); a test state model store (TSTM-S, PNM-S) in which said test state model is stored; a test state model simulator (TSTM-Sim, PNM-Sim) that statistically passes through said test state model and in doing so generates desired operating state transitions; a test state model command generator (TSTM-CG, PNM-CG) for successively generating the test commands of said test cases (TC) on the basis of said operating state transitions generated by said test state model simulator;
whereind) said test state model command generator (TSTM-CG, PNM-CG) passes through said test state model in a Monte-Carlo simulation in a random manner, but according to natural statistical rules; e) said test state model generator (PNM-G) generates a test state model of the test system (SUT) on the basis of a Petri net model (PNM); f) said test state model generator (TSTM-G) executed as a Petri net model generator (PNM-G) writes the generated Petri net state model of the test system (SUT) into a Petri net model store (PNM-S); g) said test state model simulator (TSTM-Sim, PNM-Sim) is a Petri net model simulator (PNM-Sim) that contains a Petri net marking store (MSt) used to store a current operating state of said Petri net; h) said Petri net model simulator (PNM-Sim) reads the current state of said Petri net model from said Petri net marking store (MSt) as a current marking of all the places with tokens (
), reads the Petri net state model (PNM) of said test system (SUT) from said Petri net model store (PNM-S), selects in a randomly controlled manner one of the possible state transitions given by the current marking and the structure of said Petri net model, calculates the new marking resulting from this state transition and stores it as a current marking in the marking store (MSt);i) said test state model command generator is a Petri net model command generator (PNM-CG) which is informed by said Petri net model simulator (PNM-Sim) about the performed transition, with the result that it loads from said Petri net model store (PNM-S) the corresponding test commands which constitute said generated test case, and passes them on to the test system (SUT); j) said test state model store (TSTM-S, PNM-S) is a Petri net model store (PNM-S) which is provided for storing places (◯
) of said Petri net, said places indicating the possible operating states of individual operating means, services or components of said test system (SUT);transitions (|) of said Petri net, said transitions describing the possible changes in state within said state model and including the operational function to be executed in the form of actions; and edges (→
) which connect places to transitions and transitions to edges and which indicate the conditions that have to be satisfied before or after a transition is switched, wherein these conditions are given by that marking of the places connected to the transition via edges which is necessary for said transition and results therefrom; andan initial marking of the places of said Petri net state model (PNM), comprising tokens (
) that specify the model'"'"'s initial state before starting the simulation or test case generation.
-
-
61. An operational test device for executing an operational test (LT, DT, CT) for a test system (SUT) that has operating states corresponding to a real operating system (SUT-RA) used in a real operating environment, under test conditions, comprising:
-
a) a test case generator (TCG) for generating a number of test cases (TC) with test commands that are each intended to produce a desired change in operating state within said test system; b) a test device interface (INT) for receiving said test commands and for outputting corresponding operating signals to the test system (SUT) for bringing about said desired changes in operating state; c) said test case generator (TCG) comprising; a test state model generator (TSTS-G, PNM-G) for generating a test state model of the test system (SUT) from information on the hardware configuration of the test system (SUT), information on the possible operating states of said real operating system (SUT-RA), from traffic values that indicate transitional probabilities ascertained during the real application of said operating system (SUT-RA) for said operating states, and from the permitted test commands of the test system (SUT); a test state model store (TSTM-S, PNM-S) in which said test state model is stored; a test state model simulator (TSTM-Sim, PNM-Sim) that statistically passes through said test state model and in doing so generates desired operating state transitions; a test state model command generator (TSTM-CG, PNM-CG) for successively generating the test commands of said test cases (TC) on the basis of said operating state transitions generated by said test state model simulator;
whereind) said test state model command generator (TSTM-CG, PNM-CG) passes through said test state model in a Monte-Carlo simulation in a random manner, but according to natural statistical rules; e) said test device interface (INT) receives from said test system (SUT) operating response signals which each indicate a change in operating state executed in said test system as a response to the respective operating signal, and outputs corresponding operating response signals to said test case generator (TCG); f) said test state model generator (TSTM-G) executed as a Petri net model generator (PNM-G) writes the generated Petri net state model of said test system (SUT) into a Petri net model store (PNM-S); g) said test state model simulator (TSTM-Sim, PNM-Sim) is a Petri net model simulator (PNM-Sim) that contains a Petri net marking store (MSt) used to store a current operating state of said Petri net; h) said Petri net model simulator (PNM-Sim) reads the current state of said Petri net model from said Petri net marking store (MSt) as a current marking of all the places with tokens (
), reads the Petri net state model (PNM) of said test system (SUT) from said Petri net model store (PNM-S), selects in a randomly controlled manner one of the possible state transitions given by the current marking and the structure of said Petri net model, calculates the new marking resulting from this state transition and stores it as a current marking in the marking store (MSt);i) said test state model command generator is a Petri net model command generator (PNM-CG) which is informed by said Petri net model simulator (PNM-Sim) about the performed transition, with the result that it loads from said Petri net model store (PNM-S) the corresponding test commands which constitute said generated test case, and passes them on to the test system (SUT); and
whereinsaid test case generator (TCG) further comprises; a signal handler (PNM-SH) for receiving said operating response signals, for detecting a current change in state of the test system (SUT) from said operating response signals, and for outputting a current change in state in the form of tokens to said Petri net marking store (MSt) for synchronizing the current state of said Petri net to the current operating state of said test system (SUT).
-
-
62. An operational test device for executing an operational test (LT, DT, CT) for a test system (SUT) that has operating states corresponding to a real operating system (SUT-RA) used in a real operating environment, under test conditions, comprising:
-
a) a test case generator (TCG) for generating a number of test cases (TC) with test commands that are each intended to produce a desired change in operating state within said test system; b) a test device interface (INT) for receiving said test commands and for outputting corresponding operating signals to the test system (SUT) for bringing about said desired changes in operating state; c) said test case generator (TCG) comprising; a test state model generator (TSTS-G, PNM-G) for generating a test state model of the test system (SUT) from information on the hardware configuration of the test system (SUT), information on the possible operating states of said real operating system (SUT-RA), from traffic values that indicate transitional probabilities ascertained during the real application of said operating system (SUT-RA) for said operating states, and from the permitted test commands of the test system (SUT); a test state model store (TSTM-S, PNM-S) in which said test state model is stored; a test state model simulator (TSTM-Sim, PNM-Sim) that statistically passes through said test state model and in doing so generates desired operating state transitions; a test state model command generator (TSTM-CG, PNM-CG) for successively generating the test commands of said test cases (TC) on the basis of said operating state transitions generated by said test state model simulator;
whereind) said test state model command generator (TSTM-CG, PNM-CG) passes through said test state model in a Monte-Carlo simulation in a random manner, but according to natural statistical rules; e) said test state model generator (PNM-G) generates a test state model of the test system (SUT) on the basis of a Petri net model (PNM); f) said test state model generator (TSTM-G) executed as a Petri net model generator (PNM-G) writes the generated Petri net state model of the test system (SUT) into a Petri net model store (PNM-S); g) said test state model simulator (TSTM-Sim, PNM-Sim) is a Petri net model simulator (PNM-Sim) that contains a Petri net marking store (MSt) used to store a current operating state of said Petri net; h) said Petri net model simulator (PNM-Sim) reads the current state of said Petri net model from said Petri net marking store (MSt) as a current marking of all the places with tokens (
), reads the Petri net state model (PNM) of said test system (SUT) from said Petri net model store (PNM-S), selects in a randomly controlled manner one of the possible state transitions given by the current marking and the structure of said Petri net model, calculates the new marking resulting from this state transition and stores it as a current marking in the marking store (MSt);i) said test state model command generator is a Petri net model command generator (PNM-CG) which is informed by said Petri net model simulator (PNM-Sim) about the performed transition, with the result that it loads from said Petri net model store (PNM-S) the corresponding test commands which constitute said generated test case, and passes them on to the test system (SUT); j) said test state model store (TSTM-S, PNM-S) is a Petri net model store (PNM-S) which is provided for storing places (◯
) of said Petri net, said places indicating the possible operating states of individual operating means, services or components of said test system (SUT);transitions (|) of said Petri net, said transitions describing the possible changes in state within said state model and including the operational function to be executed in the form of actions; edges (→
) which connect places to transitions and transitions to edges and which indicate the conditions that have to be satisfied before or after a transition is switched, wherein these conditions are given by that marking of the places connected to the transition via edges which is necessary for said transition and results therefrom;an initial marking of the places of said Petri net state model (PNM), comprising tokens (
) that specify the modells initial state before starting the simulation or test case generation;k) said signal handler (PNM-SH) generates from the information on the hardware configuration a number of tokens (
) which each indicate an operating means available within said test system or a state thereof (auto-configuration); and1) said Petri net model store (PNM-S) comprises a predetermined number of synchronization places (), wherein a transition (|) connected to such a synchronization place () and if necessary to other places (◯
) via input edges can only be fired when said signal handler (PNM-SH) announces a change in state within the test system (SUT) via this synchronization place () within said Petri net state model in that on account of a response operating signal, said signal handler places a token into said synchronization place ().
-
-
63. An operational test device for executing an operational test (LT, DT, CT) for a test system (SUT) that has operating states corresponding to a real operating system (SUT-RA) used in a real operating environment, under test conditions, comprising:
-
a) a test case generator (TCG) for generating a number of test cases (TC) with test commands that are each intended to produce a desired change in operating state within said test system; b) a test device interface (INT) for receiving said test commands and for outputting corresponding operating signals to the test system (SUT) for bringing about said desired changes in operating state; c) said test case generator (TCG) comprising; a test state model generator (TSTS-G, PNM-G) for generating a test state model of the test system (SUT) from information on the hardware configuration of the test system (SUT), information on the possible operating states of said real operating system (SUT-RA), from traffic values that indicate transitional probabilities ascertained during the real application of said operating system (SUT-RA) for said operating states, and from the permitted test commands of the test system (SUT); a test state model store (TSTM-S, PNM-S) in which said test state model is stored; a test state model simulator (TSTM-Sim, PNM-Sim) that statistically passes through said test state model and in doing so generates desired operating state transitions; a test state model command generator (TSTM-CG, PNM-CG) for successively generating the test commands of said test cases (TC) on the basis of said operating state transitions generated by said test state model simulator;
whereind) said test state model command generator (TSTM-CG, PNM-CG) passes through said test state model in a Monte-Carlo simulation in a random manner, but according to natural statistical rules; e) the test system (SUT) is a telephone network and/or a mobile telephone network; f) said test state model store (TSTM-S, PNM-S) is a Petri net model store (PNM-S) which is provided for storing places (◯
) of said Petri net, said places indicating the possible operating states of individual operating means, services or components of said test system (SUT);transitions (|) of said Petri net, said transitions describing the possible changes in state within said state model and including the operational function to be executed in the form of actions; edges (→
) which connect places to transitions and transitions to edges and which indicate the conditions that have to be satisfied before or after a transition is switched, wherein these conditions are given by that marking of the places connected to the transition via edges which is necessary for said transition and results therefrom;an initial marking of the places of said Petri net state model (PNM), comprising tokens (
) that specify the model'"'"'s initial state before starting the simulation or test case generation;g) said tokens (
) represent the subscribers of the telephone network, connections between them, other network services used by them, and/or timers;h) said places (◯
) indicate the states which can be assumed by said subscribers, connections between said subscribers, telephone network services used by said subscribers, or timers within said test system (SUT); andi) said transitions (|) represent operational functions by which said subscribers within said net can produce a change in state, or reflect changes in state of the subscribers themselves.
-
Specification