АЛГЕБРИЧНЕ АНАЛІЗУВАННЯ НАДІЙНОСТІ ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ
Ключові слова:
Надійність, дефекти програмного забезпечення, ймовірність безпомилкової роботиАнотація
Розглянуто засади класичного підходу до оцінювання ймовірності безпомилкової роботи програмних систем. Запропоновано модель програмної системи, що складається з програмного коду, як чорної скрині, та системи відображень множин елементів зовнішнього середовища та програмного коду. Розглянуто властивості відображень. Досліджено за допомогою алгебричних методів можливі джерела дефектів програмного забезпечення, обумовлені порушенням інтервальних відношень, та визначено необхідні умови відсутності дефектів. Визначена комбінаційна оцінка ймовірності безпомилкової роботи програмної системи.Посилання
Вентцель, Е.С. Теория вероятностей и ее инженерные приложения: учеб. пособие для втузов / Е.С. Вентцель, Л.А. Овчаров. – М.: Высш. шк., 2000. – 480 с.
Дубровский, П.В. Обеспечение надежности технологических процессов: учеб. пособие / П.В. Дубровский. – Мин образования РФ Ульяновск, УлГТУ, 2000. – 124 с.
Lyu M.R. Handbook of Software Reliability Engineering / M.R. Lyu. – London: McGrow-Hill, 1996. – 805 p.
Динамическая отработка программного обеспечения бортових цифрових вычислительных машин систем управления объектов ракетно-космической техники / Я.Е. Айзенберг, А.В. Бек, Ю.М. Златкин и др. // Космическая наука и технология. – 1997. – Т. 3. – № 1. – С. 61 – 74.
Вентцель, Е.С. Теория случайных процессов и ее инженерные приложения / Е.С. Вентцель, Л.А.Овчаров. – М.: Высшая школа, 2000. – 480 с.
Карпов, Ю.Г. ModelChecking: Верификация параллельных и распределенных программных систем / Ю.Г. Карпов. – СПб.: БХВ – Петербург, 2010. – 560 с.
Калужин, Л.А. Введение в общую алгебру / Л.А. Калужин. – М.: Наука, 1973. – 448 с.
Винберг, Э.Б. Курс алгебры / Э.Б. Винберг. – М.: Факториал Пресс, 2001. – 544 с.
