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
| Title | Year | Author | Number |
|---|---|---|---|
| PHYSICAL LAYER OF HIGH-EFFICIENCY INTERCONNECTION | 2013 |
|
RU2599971C2 |
| PHYSICAL LAYER OF HIGH-EFFICIENCY INTERCONNECTION | 2013 |
|
RU2579140C1 |
| DEVICE AND METHOD FOR HYBRID SCANNING OF RADIO-ELECTRONIC EQUIPMENT | 2020 |
|
RU2781091C2 |
| METHOD FOR SIMULATING A MULTILEVEL DISTRIBUTED INFORMATION AND MEASUREMENT SYSTEM FOR MONITORING AND MANAGING A TRANSPORT COMMUNICATION NETWORK | 2019 |
|
RU2731358C1 |
| GEOGRAPHICALLY DISTRIBUTED TEST COMPLEX (GDTC) | 2018 |
|
RU2691831C1 |
| METHOD, DEVICE AND SYSTEM OF WORK RESTART TIME REDUCING FOR ROOT PORTS AND END POINTS INTEGRATED INTO ROOT PORTS | 2014 |
|
RU2645596C1 |
| DEVICE, SYSTEM AND METHOD OF IMPROVING CORRECTION OF APPARATUS-SPECIFIED ALGORITHM | 2014 |
|
RU2580404C2 |
| METHOD AND HARDWARE AND SOFTWARE COMPLEX FOR PRE-MEDICAL PRELIMINARY CLASSIFYING MULTIFACTORIAL ASSESSMENT OF POSSIBILITY OF HUMAN AUDITORY ANALYZER DURING MASS PREVENTIVE EXAMINATIONS OF THE POPULATION | 2021 |
|
RU2765108C1 |
| ARCHITECTURE AND SYSTEM FOR PROVIDING INFORMATION ON LOCATION | 2004 |
|
RU2358282C2 |
| METHOD FOR GENERATION OF DIAGNOSTIC TESTS | 2015 |
|
RU2619531C1 |
