NAU Harvester System
АЛГЕБРИЧНЕ АНАЛІЗУВАННЯ НАДІЙНОСТІ ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ
Наукові журнали Національного Авіаційного Університету
View Archive Info| Field | Value | |
| Title |
АЛГЕБРИЧНЕ АНАЛІЗУВАННЯ НАДІЙНОСТІ ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ
АЛГЕБРАИЧЕСКИЙ АНАЛИЗ НАДЕЖНОСТИ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ ALGEBRAIC ANALYSIS OF SOFTWARE RELIABILITY |
|
| Creator |
Манжос, Юрій Семенович; Національний аерокосмічний університет імені М.Є. Жуковського «ХАІ»
|
|
| Subject |
Надійність; дефекти програмного забезпечення; ймовірність безпомилкової роботи
629.7.05(004.05) Надежность; дефекты программного обеспечения; вероятность безошибочной работы 629.7.05(004.05) Reliability; software defects; probability of error-free operation 629.7.05(004.05) |
|
| Description |
Розглянуто засади класичного підходу до оцінювання ймовірності безпомилкової роботи програмних систем. Запропоновано модель програмної системи, що складається з програмного коду, як чорної скрині, та системи відображень множин елементів зовнішнього середовища та програмного коду. Розглянуто властивості відображень. Досліджено за допомогою алгебричних методів можливі джерела дефектів програмного забезпечення, обумовлені порушенням інтервальних відношень, та визначено необхідні умови відсутності дефектів. Визначена комбінаційна оцінка ймовірності безпомилкової роботи програмної системи.
Рассмотрены основы классического подхода к оцениванию вероятности безошибочной работы программных систем. Предложена модель программной системы, включающая программное обеспечение как черный ящик и систему отображений множеств элементов внешней среды и программного обеспечения. Рассмотрены свойства отображений. С помощью алгебраических методов исследованы возможные источники дефектов программного обеспечения, обусловленные нарушением интервальных соотношений. Сформулированы необходимые условия отсутствия дефектов. Определена комбинационная оценка вероятности безошибочной работы программной системы. 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. |
|
| Publisher |
National Aviation University
|
|
| Contributor |
—
— — |
|
| Date |
2014-08-02
|
|
| Type |
—
— — |
|
| Format |
application/pdf
|
|
| Identifier |
http://jrnl.nau.edu.ua/index.php/IPZ/article/view/6983
|
|
| Source |
Інженерія програмного забезпечення; Том 17, № 1 (2014); 20
Engineering Software; Том 17, № 1 (2014); 20 Инженерия программного обеспечения; Том 17, № 1 (2014); 20 |
|
| Language |
uk
|
|