| 摘要 |
FIELD: information technology. ^ SUBSTANCE: structure condition coverage space is generated and stored in a data base. During simulation, encountered coverage space conditions are marked. This enables to determine encountered conditions and those that are not encountered. A target test sequence is generated based on conditions that are not encountered in order to outline at least some of the conditions that are not encountered during the previous simulation. This feedback from simulation for updating the standard test sequence on coverage space conditions that are not encountered during simulation can be recursively repeated until adequate validation is achieved. ^ EFFECT: high accuracy of validating protocol implementation. ^ 19 cl, 4 dwg |
