ALGEBRAIC ANALYSIS OF SOFTWARE RELIABILITY
Keywords:
Reliability, software defects, probability of error-free operationAbstract
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.References
Вентцель, Е.С. Теория вероятностей и ее инженерные приложения: учеб. пособие для втузов / Е.С. Вентцель, Л.А. Овчаров. – М.: Высш. шк., 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 с.
