Аналітична оцінка надійності програмного забезпечення контролерів АСУ ТП

Abstract

UA : Визначено поняття «надійність програмного забезпечення» та «помилка у програмі». Розглянуто властивості програмних помилок. Проаналізовано групи можливих помилок у програмному забезпеченні та наслідки їх проявлення. Розглянуто існуючі методи оцінки надійності програмного забезпечення. Запропоновано методику оцінки якості налагодження програмного забезпечення контролера, що базується на відомій статистичній моделі Міллса.

RU : Определены понятия «надежность программного обеспечения» и «ошибка в программе». Рассмотрены свойства программных ошибок. Проанализированы группы возможных ошибок в программном обеспечении и последствия их проявления. Рассмотрены существующие методы оценки надежности программного обеспечения. Предложена методика оценки качества отладки программного обеспечения контроллера АСУ ТП, основанная на известной статистической модели Миллса.

EN : The concepts of «software reliability» and «bug in the program» are defined. The properties of program errors are considered. Two groups of possible errors in software and the consequences of their manifestation are analyzed. Existing methods for evaluating the reliability of software are considered: dynamic, static, architectural and empirical. A technique for estimating the debugging quality of the control system software is proposed, based on the well-known Mills statistical model.