Наукова періодика України | Радіоелектронні і комп’ютерні системи | ||
Манжос Ю. С. Фактори надійності програмного забезпечення / Ю. С. Манжос // Радіоелектронні і комп’ютерні системи. - 2013. - № 5. - С. 305–312. - Режим доступу: http://nbuv.gov.ua/UJRN/recs_2013_5_53 Розглянуто основи класичного підходу до оцінювання ймовірності безпомилкової роботи програмних систем. Запропоновано модель програмної системи, що складається з програмного забезпечення, як чорної скрині, та системи відображень множин елементів зовнішнього середовища та програмного забезпечення. Розглянуто властивості відображень. Досліджено за допомогою алгебричних методів можливі джерела дефектів програмного забезпечення, обумовлені порушенням інтервальних відношень, та визначено необхідні умови відсутності дефектів. З використанням теоретико-множинного підходу визначено комбінаційну оцінку ймовірності безпомилкової роботи програмних систем. Цитованість авторів публікації: Бібліографічний опис для цитування: Манжос Ю. С. Фактори надійності програмного забезпечення / Ю. С. Манжос // Радіоелектронні і комп’ютерні системи. - 2013. - № 5. - С. 305–312. - Режим доступу: http://nbuv.gov.ua/UJRN/recs_2013_5_53.Додаткова інформація про автора(ів) публікації: (cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці) Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
|
|
Всі права захищені © Національна бібліотека України імені В. І. Вернадського |