Розглянуто основи класичного підходу до оцінювання ймовірності безпомилкової роботи програмних систем. Запропоновано модель програмної системи, що складається з програмного забезпечення, як чорної скрині, та системи відображень множин елементів зовнішнього середовища та програмного забезпечення. Розглянуто властивості відображень. Досліджено за допомогою алгебричних методів можливі джерела дефектів програмного забезпечення, обумовлені порушенням інтервальних відношень, та визначено необхідні умови відсутності дефектів. З використанням теоретико-множинного підходу визначена комбінаційна оцінка ймовірності безпомилкової роботи програмних систем. Ключові слова: надійність, дефекти програмного забезпечення, ймовірність безпомилкової роботи.
