摘要 |
Method for the automatic generation of test sequences for testing information-processing systems for conformance with a first specification relating to the dynamics of the signals to be exchanged, and with a second specification relating to the data contents of said signals. The first specification is stored in a first specification memory (2, 3), the second specification in a second specification memory (1). The second specification memory is used to derive first part test sequences (4, 5). Said first part test sequences are supplemented with second part test sequences, derived from the first specification memory, to give complete test sequences (6, 7). <IMAGE> |