FIELD: computing.
SUBSTANCE: invention relates to computing. The system for generating an optimal set of tests for identifying software bugs includes a unit for inputting initial data, a unit for analyzing and filling in databases, a database for initial data, a control and management unit, a unit for modeling software bugs, a database for software bugs, a unit for generating tests, a database of tests, a unit modeling the confrontation between an adversary and an expert, a unit for analyzing simulation results, a unit for generating an optimal set of tests and the most dangerous set of software bugs, a database of an optimal set of tests, a database of the most dangerous set of software bugs, a unit for outputting results.
EFFECT: invention increases probability of detecting software bugs when certifying software for security requirements.
2 cl, 3 dwg
| Title | Year | Author | Number |
|---|---|---|---|
| SOFTWARE ANALYSIS METHOD BASED ON ABSENCE OF UNDECLARED FUNCTIONALITIES | 2019 |
|
RU2711041C1 |
| SYSTEM FOR MONITORING LACK OF UNDECLARED OPTIONS IN SOFTWARE | 2010 |
|
RU2434265C1 |
| SYSTEM TO ANALYSE SOFTWARE FOR ABSENCE OF UNDECLARED CAPABILITIES | 2016 |
|
RU2622622C1 |
| METHOD AND SYSTEM FOR TESTING A DVD PLAYER | 2003 |
|
RU2312387C2 |
| AUTOMATED SYSTEM FOR IDENTIFICATION AND PREDICTION OF COMPLICATIONS IN THE PROCESS OF CONSTRUCTION OF OIL AND GAS WELLS | 2020 |
|
RU2745137C1 |
| TECHNICAL CONTROL AND DIAGNOSTICS OF DRONE ONBOARD HARDWARE WITH DECISION MAKING SUPPORT AND COMPLEX OF CHECK-AND-ADJUST HARDWARE WITH INTELLECTUAL DECISION MAKING SUPPORT SYSTEM TO THIS END | 2014 |
|
RU2557771C1 |
| AUTOMATED INFORMATION SYSTEM FOR PROVIDING SOFTWARE AND HARDWARE COMPONENTS WITH COMPATIBILITY IN HETEROGENEOUS INFORMATION ENVIRONMENTS | 2008 |
|
RU2406117C2 |
| METHOD OF ASSESSING EFFICIENCY OF PHYSICAL SECURITY SYSTEM OF IMPORTANT PUBLIC FACILITY | 2019 |
|
RU2724909C1 |
| METHOD OF DETECTING UNAUTHORIZED INSTALLED ELECTRONIC DEVICES USING FOR INFORMATIONAL TRANSMISSION BROADBAND SIGNALS | 2017 |
|
RU2652456C1 |
| ELECTRONIC DEVICES SOFTWARE TESTING SYSTEM | 2020 |
|
RU2729210C1 |
