LOGIN TO YOUR ACCOUNT

Username
Password
Remember Me
Or use your Academic/Social account:

CREATE AN ACCOUNT

Or use your Academic/Social account:

Congratulations!

You have just completed your registration at OpenAire.

Before you can login to the site, you will need to activate your account. An e-mail will be sent to you with the proper instructions.

Important!

Please note that this site is currently undergoing Beta testing.
Any new content you create is not guaranteed to be present to the final version of the site upon release.

Thank you for your patience,
OpenAire Dev Team.

Close This Message

CREATE AN ACCOUNT

Name:
Username:
Password:
Verify Password:
E-mail:
Verify E-mail:
*All Fields Are Required.
Please Verify You Are Human:
fbtwitterlinkedinvimeoflicker grey 14rssslideshare1
Манжос, Юрій Семенович; Національний аерокосмічний університет імені М.Є. Жуковського «ХАІ» (2014)
Publisher: National Aviation University
Languages: Ukrainian
Types: Unknown
Subjects: Надійність; дефекти програмного забезпечення; ймовірність безпомилкової роботи, 629.7.05(004.05), Надежность; дефекты программного обеспечения; вероятность безошибочной работы, Reliability; software defects; probability of error-free operation
Розглянуто засади класичного підходу до оцінювання ймовірності безпомилкової роботи програмних систем. Запропоновано модель програмної системи, що складається з програмного коду, як чорної скрині, та системи відображень множин елементів зовнішнього середовища та програмного коду. Розглянуто властивості відображень. Досліджено за допомогою алгебричних методів можливі джерела дефектів програмного забезпечення, обумовлені порушенням інтервальних відношень, та визначено необхідні умови відсутності дефектів. Визначена комбінаційна оцінка ймовірності безпомилкової роботи програмної системи. Рассмотрены основы классического подхода к оцениванию вероятности безошибочной работы программных систем. Предложена модель программной системы, включающая программное обеспечение как черный ящик и систему отображений множеств элементов внешней среды и программного обеспечения. Рассмотрены свойства отображений. С помощью алгебраических методов исследованы возможные источники дефектов программного обеспечения, обусловленные нарушением интервальных соотношений. Сформулированы необходимые условия отсутствия дефектов. Определена комбинационная оценка вероятности безошибочной работы программной системы. 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.
  • No references.
  • No related research data.
  • No similar publications.