FIELD: information technologies.
SUBSTANCE: invention is related to facilities of training and science research automation and may be used in interactive systems of research and development works automation in process of software (SW) verification in distributed computer complexes (DCC). Suggested method and system for its realisation provide complete manageability and observability of the main processes of SW initial code verification. At the same time at each level of DCC processes of SW initial code input and processing are combined along dependent or independent interface channels, on the basis of application of sensor or mechanical manipulators of computer operator workplace, network interfaces of local or global network Sections or points of SW initial code vulnerability are defined on the basis of SW initial code transformation into internal representation, which is stored in the form of databases and knowledge bases, and sections or points of SW initial code vulnerability are defined on the basis of automatic making and solving of according equation systems.
EFFECT: expansion of functional resources of DCC SW verification processes
9 cl, 40 dwg, 26 tbl
Title | Year | Author | Number |
---|---|---|---|
METHOD FOR GENERATION OF DATABASES AND KNOWLEDGE BASES FOR SYSTEMS OF SOFTWARE VERIFICATION IN DISTRIBUTED COMPUTER COMPLEXES AND DEVICE FOR ITS REALISATION | 2006 |
|
RU2373569C2 |
GENERATION METHOD OF DATABASES FOR SYSTEMS OF VERIFICATION OF DISTRIBUTED COMPUTER COMPLEXES SOFTWARE AND DEVICE FOR ITS IMPLEMENTATION | 2006 |
|
RU2364929C2 |
GENERATION METHOD OF KNOWLEDGEBASES FOR SYSTEMS OF VERIFICATION OF DISTRIBUTED COMPUTER COMPLEXES SOFTWARE AND DEVICE FOR ITS IMPLEMENTATION | 2006 |
|
RU2364930C2 |
METHOD OF THE SOFTWARE VERIFICATION BY THE SOFTWARE SOURCE CODE IDENTIFIERS NATURAL SEMANTICS IN STATIC ANALYSIS | 2018 |
|
RU2672786C1 |
METHOD OF INTERACTIVE SEARCH IN DISTRIBUTED COMPUTER NETWORKS AND INFORMATION RETRIEVAL SYSTEM TO THIS EFFECT | 2006 |
|
RU2329533C2 |
METHOD AND SYSTEM FOR ELIMINATING VULNERABILITIES IN PROGRAM CODE | 2023 |
|
RU2821220C1 |
AUTOMATED SAFETY ASSESSMENT OF BUSINESS-CRITICAL COMPUTER SYSTEMS AND RESOURCES | 2011 |
|
RU2657170C2 |
COMPUTER SYSTEM AND METHOD FOR PREPARING TEXTS IN SOURCE LANGUAGE AND THEIR TRANSLATION INTO FOREIGN LANGUAGES | 1993 |
|
RU2136038C1 |
METHOD OF DATA TRANSFORMATION OF GEOINFORMATION SYSTEMS (GIS), SYSTEM FOR ITS IMPLEMENTATION AND METHOD OF SEARCH FOR THE DATA BASED ON THIS METHOD | 2017 |
|
RU2669143C1 |
COMPLEX FOR TESTING EMBEDDED SOFTWARE OF ELECTRONIC DEVICES | 2022 |
|
RU2783906C1 |
Authors
Dates
2009-11-20—Published
2006-08-24—Filed