Розглянуто засади класичного підходу до оцінювання ймовірності безпомилкової роботи програмних систем. Запропоновано модель програмної системи, що складається з програмного коду, як чорної скрині, та системи відображень множин елементів зовнішнього середовища та програмного коду. Розглянуто властивості відображень. Досліджено за допомогою алгебричних методів можливі джерела дефектів програмного забезпечення, обумовлені порушенням інтервальних відношень, та визначено необхідні умови відсутності дефектів. Визначена комбінаційна оцінка ймовірності безпомилкової роботи програмної системи.
Рассмотрены основы классического подхода к оцениванию вероятности безошибочной работы программных систем. Предложена модель программной системы, включающая программное обеспечение как черный ящик и систему отображений множеств элементов внешней среды и программного обеспечения. Рассмотрены свойства отображений. С помощью алгебраических методов исследованы возможные источники дефектов программного обеспечения, обусловленные нарушением интервальных соотношений. Сформулированы необходимые условия отсутствия дефектов. Определена комбинационная оценка вероятности безошибочной работы программной системы.
The article covers the basics of the classical approach to the estimation of the probability of error-free operation of software systems.The paper proposes a model of a software system, including software as a black box and a system of maps of elements of the environment and software.The paper discusses the properties of those maps.Using algebraic methods the possible sources of software defects caused by violation of interval relations. The paper formulates the necessary conditions for the absence of defects.The combinational evaluation of the probability of error-free software was defined with help of set-theoretic approach.
