Increasing the reliability of information management systems for complex objects

摘要

This article describes one of the possible approaches to the implementation of a set of mechanisms and tools for assessing and monitoring software safety based on static and dynamic analysis of programs, which provides an effective check of the operating and developed software. To solve this problem, it is proposed to use mathematical models of program circuits, modern software development technologies and methods of software analysis.