首页>
外国专利>
METHOD FOR GENERATION OF DATABASES AND KNOWLEDGE BASES FOR SYSTEMS OF SOFTWARE VERIFICATION IN DISTRIBUTED COMPUTER COMPLEXES AND DEVICE FOR ITS REALISATION
METHOD FOR GENERATION OF DATABASES AND KNOWLEDGE BASES FOR SYSTEMS OF SOFTWARE VERIFICATION IN DISTRIBUTED COMPUTER COMPLEXES AND DEVICE FOR ITS REALISATION
展开▼
机译:分布式计算机复合体中软件验证系统的数据库和知识库的生成方法及其实现方法
展开▼
页面导航
摘要
著录项
相似文献
摘要
FIELD: information technologies.;SUBSTANCE: invention is related to facilities of training and 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 device for its realisation provide complete manageability and observability of the main processes of SW initial code verification. At the same time 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, user 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, 39 dwg, 26 tbl
展开▼