title: ÐÐ¾Ð´ÐµÐ»Ð¸ Ð´Ð»Ñ Ð¸ÑÑÐ»ÐµÐ´Ð¾Ð²Ð°Ð½Ð¸Ñ Ð¸ Ð²ÑÐ±Ð¾ÑÐ° ÑÐ¸ÑÑÐµÐ¼Ñ ÐºÐ¾Ð½ÑÑÐ¾Ð»Ñ ÐºÐ¾ÑÑÐµÐºÑÐ½Ð¾ÑÑÐ¸ Ð¿ÑÐ¾Ð³ÑÐ°Ð¼Ð¼Ð½Ð¾Ð³Ð¾ Ð¾Ð±ÐµÑÐ¿ÐµÑÐµÐ½Ð¸Ñ
title: Ð²ÑÐ¿ÑÑÐºÐ½Ð°Ñ ÐºÐ²Ð°Ð»Ð¸ÑÐ¸ÐºÐ°ÑÐ¸Ð¾Ð½Ð½Ð°Ñ ÑÐ°Ð±Ð¾ÑÐ° Ð¼Ð°Ð³Ð¸ÑÑÑÐ°
titleType: Subtitle
title: Models for research and selection of software correctness control systems
Creators: name: ÐÐ¾Ð±Ð°Ð½Ð¾Ð², ÐÐ¼Ð¸ÑÑÐ¸Ð¹
Publisher: name: Ð¡Ð°Ð½ÐºÑ-ÐÐµÑÐµÑÐ±ÑÑÐ³ÑÐºÐ¸Ð¹ Ð¿Ð¾Ð»Ð¸ÑÐµÑÐ½Ð¸ÑÐµÑÐºÐ¸Ð¹ ÑÐ½Ð¸Ð²ÐµÑÑÐ¸ÑÐµÑ ÐÐµÑÑÐ° ÐÐµÐ»Ð¸ÐºÐ¾Ð³Ð¾
Year: 2021
Subjects: ÐÑÑÐ¸ÑÐ»Ð¸ÑÐµÐ»ÑÐ½ÑÐµ Ð¼Ð°ÑÐ¸Ð½Ñ ÑÐ»ÐµÐºÑÑÐ¾Ð½Ð½ÑÐµ
ÐÐ¾Ð´ÐµÐ»Ð¸ÑÐ¾Ð²Ð°Ð½Ð¸Ðµ
ÐÐ½ÑÐ¾ÑÐ¼Ð°ÑÐ¸Ð¾Ð½Ð½ÑÐµ ÑÐµÑ Ð½Ð¾Ð»Ð¾Ð³Ð¸Ð¸

description: ÐÐ°Ð½Ð½Ð°Ñ ÑÐ°Ð±Ð¾ÑÐ° Ð¿Ð¾ÑÐ²ÑÑÐµÐ½Ð° Ð¸ÑÑÐ»ÐµÐ´Ð¾Ð²Ð°Ð½Ð¸Ñ Ð¼Ð¾Ð´ÐµÐ»ÐµÐ¹ Ð´Ð»Ñ Ð¾ÑÐµÐ½ÐºÐ¸ Ð¸ Ð²ÑÐ±Ð¾ÑÐ° ÑÐ¸ÑÑÐµÐ¼Ñ ÐºÐ¾Ð½ÑÑÐ¾Ð»Ñ Ð¿ÑÐ¾Ð³ÑÐ°Ð¼Ð¼Ð½Ð¾Ð³Ð¾ Ð¾Ð±ÐµÑÐ¿ÐµÑÐµÐ½Ð¸Ñ. ÐÐ°Ð´Ð°ÑÐ¸, Ð¿Ð¾ÑÑÐ°Ð²Ð»ÐµÐ½Ð½ÑÐµ Ð² ÑÐ°Ð±Ð¾ÑÐµ: 1. Ð¡Ð¾ÑÑÐ°Ð²Ð»ÐµÐ½Ð¸Ðµ Ð¼Ð¾Ð´ÐµÐ»Ð¸ Ð´Ð»Ñ Ð²ÑÐ±Ð¾ÑÐ° Ð°Ð²ÑÐ¾Ð¼Ð°ÑÐ¸Ð·Ð¸ÑÐ¾Ð²Ð°Ð½Ð½Ð¾Ð¹ ÑÐ¸ÑÑÐµÐ¼Ñ ÐºÐ¾Ð½ÑÑÐ¾Ð»Ñ ÐºÐ¾ÑÑÐµÐºÑÐ½Ð¾ÑÑÐ¸ Ð¿ÑÐ¾Ð³ÑÐ°Ð¼Ð¼Ð½Ð¾Ð³Ð¾ Ð¾Ð±ÐµÑÐ¿ÐµÑÐµÐ½Ð¸Ñ. 2. ÐÐ±Ð¾ÑÐ½Ð¾Ð²Ð°Ð½Ð¸Ðµ Ð¼ÐµÑÐ¾Ð´Ð¾Ð² Ð¸ ÐºÑÐ¸ÑÐµÑÐ¸ÐµÐ² ÑÑÐ°Ð²Ð½Ð¸ÑÐµÐ»ÑÐ½Ð¾Ð³Ð¾ Ð°Ð½Ð°Ð»Ð¸Ð·Ð° Ð²ÑÐ±Ð¸ÑÐ°ÐµÐ¼ÑÑ Ð¿ÑÐ¾Ð³ÑÐ°Ð¼Ð¼Ð½ÑÑ Ð¿ÑÐ¾Ð´ÑÐºÑÐ¾Ð² Ð´Ð»Ñ ÐºÐ¾Ð½ÑÑÐ¾Ð»Ñ ÐºÐ¾ÑÑÐµÐºÑÐ½Ð¾ÑÑÐ¸ ÐÐ. 3. ÐÐ¾ÑÑÐ°Ð½Ð¾Ð²ÐºÐ° ÑÐºÑÐ¿ÐµÑÐ¸Ð¼ÐµÐ½ÑÐ°Ð»ÑÐ½Ð¾Ð³Ð¾ Ð¸ÑÑÐ»ÐµÐ´Ð¾Ð²Ð°Ð½Ð¸Ñ Ð¿ÑÐµÐ´Ð»Ð¾Ð¶ÐµÐ½Ð½Ð¾Ð³Ð¾ Ð¿Ð¾Ð´ÑÐ¾Ð´Ð° Ðº ÑÑÐ°Ð²Ð½Ð¸ÑÐµÐ»ÑÐ½Ð¾Ð¼Ñ Ð°Ð½Ð°Ð»Ð¸Ð·Ñ. 4. ÐÑÐµÐ´ÑÑÐ°Ð²Ð»ÐµÐ½Ð¸Ðµ ÑÐµÐ·ÑÐ»ÑÑÐ°ÑÐ¾Ð² Ð¸ Ð¾Ð±ÑÐ¸Ñ Ð²ÑÐ²Ð¾Ð´Ð¾Ð² Ð¿Ð¾ Ð½Ð¸Ð¼. ÐÑÐ½Ð¾Ð²Ð° ÑÐ°Ð±Ð¾ÑÑ Ð»ÐµÐ¶Ð¸Ñ Ð² Ð¾Ð±Ð¾ÑÐ½Ð¾Ð²Ð°Ð½Ð¸Ð¸ Ð¿Ð¾ÑÑÐµÐ±Ð½Ð¾ÑÑÐµÐ¹, Ð²Ð¾Ð·Ð½Ð¸ÐºÐ°ÑÑÐ¸Ñ Ð² ÑÐ¾Ð´Ðµ ÑÐ°Ð·ÑÐ°Ð±Ð¾ÑÐºÐ¸, ÑÐµÑÑÐ¸ÑÐ¾Ð²Ð°Ð½Ð¸Ñ Ð¸ Ð²ÐµÑÐ¸ÑÐ¸ÐºÐ°ÑÐ¸Ð¸ Ð¿ÑÐ¾Ð³ÑÐ°Ð¼Ð¼Ð½Ð¾Ð³Ð¾ Ð¾Ð±ÐµÑÐ¿ÐµÑÐµÐ½Ð¸Ñ, Ð¸ ÑÐ¾ÑÑÐ°Ð²Ð»ÐµÐ½Ð¸Ð¸ Ð¼Ð¾Ð´ÐµÐ»ÐµÐ¹ ÑÑÐ¸Ñ Ð¿Ð¾ÑÑÐµÐ±Ð½Ð¾ÑÑÐµÐ¹ Ð² Ð²Ð¸Ð´Ðµ Ð¸ÐµÑÐ°ÑÑÐ¸ÑÐµÑÐºÐ¸Ñ ÑÑÑÑÐºÑÑÑ, ÑÐ´Ð¾Ð±Ð½ÑÑ Ð´Ð»Ñ Ð¾ÑÐµÐ½ÐºÐ¸ Ð¸ ÑÑÐ°Ð²Ð½ÐµÐ½Ð¸Ñ. ÐÐ»Ñ ÑÑÐ°Ð²Ð½ÐµÐ½Ð¸Ñ ÑÑÐ½ÐºÑÐ¸Ð¹ Ð³Ð¾ÑÐ¾Ð²ÑÑ ÑÐ¸ÑÑÐµÐ¼ Ð±ÑÐ»Ð¾ Ð²ÑÐ±ÑÐ°Ð½Ð¾ ÑÐµÑÑÑÐµ Ð¿Ð¾Ð¿ÑÐ»ÑÑÐ½ÑÑ Ð¿ÑÐ¾Ð³ÑÐ°Ð¼Ð¼Ð½ÑÑ ÑÐµÑÐµÐ½Ð¸Ñ Ð² Ð¾Ð±Ð»Ð°ÑÑÐ¸ ÐºÐ¾Ð½ÑÑÐ¾Ð»Ñ Ð¾ÑÐ¸Ð±Ð¾Ðº Ð¸ ÑÐ¿ÑÐ°Ð²Ð»ÐµÐ½Ð¸Ñ Ð¿ÑÐ¾ÐµÐºÑÐ°Ð¼Ð¸ Ð¿Ð¾ ÑÐ°Ð·ÑÐ°Ð±Ð¾ÑÐºÐµ ÐÐ. Ð ÑÐµÐ·ÑÐ»ÑÑÐ°ÑÐµ ÑÐ°Ð±Ð¾ÑÑ Ð±ÑÐ»Ð¸ ÑÐ¾ÑÑÐ°Ð²Ð»ÐµÐ½Ð¸Ðµ ÑÑÐ°Ð²Ð½Ð¸ÑÐµÐ»ÑÐ½ÑÐµ Ð¾ÑÐµÐ½ÐºÐ¸ ÑÐµÑÑÑÐµÑ Ð³Ð¾ÑÐ¾Ð²ÑÑ Ð¿ÑÐ¾Ð³ÑÐ°Ð¼Ð¼Ð½ÑÑ Ð¿ÑÐ¾Ð´ÑÐºÑÐ¾Ð², Ð¸ÑÐ¿Ð¾Ð»ÑÐ·ÑÑÑÐ¸Ðµ ÑÐºÑÐ¿ÐµÑÑÐ½ÑÐµ Ð¾ÑÐµÐ½ÐºÐ¸, ÑÑÐµÐ¿ÐµÐ½Ð¸ Ð°Ð²ÑÐ¾Ð¼Ð°ÑÐ¸Ð·Ð°ÑÐ¸Ð¸ Ð¸ ÐºÐ¾ÑÑÑÐ¸ÑÐ¸ÐµÐ½ÑÐ° Ð¸ÑÐ¿Ð¾Ð»ÑÐ·Ð¾Ð²Ð°Ð½Ð¸Ñ ÑÑÐ½ÐºÑÐ¸Ð¾Ð½Ð°Ð»ÑÐ½ÑÑ Ð²Ð¾Ð·Ð¼Ð¾Ð¶Ð½Ð¾ÑÑÐµÐ¹ ÑÐ¸ÑÑÐµÐ¼Ñ.
description: The given work is devoted to studying models for rating and selection of software correctness control systems. The work set the following goals: 1. Forming the model for selection of an automated software correctness control system. 2. Substantiation of methods and criteria for comparative analysis of selected software products for software correctness control. 3. Formulation of an experimental study of the proposed approach for comparative analysis. 4. Presentation of results and general conclusions. The basis of the work lies in the substantiation of the needs arising in the course of development, testing and verification of software, and the compilation of models of these needs in the form of hierarchical structures that are convenient for assessment and comparison. To compare the functions of finished software systems, four popular software solutions in the field of error control and project management for software development were selected. As a result of the work, comparative assessments of four finished software products for were made, using expert assessments, the degree of automation and the utilization rate of the system's functionality.