Студопедия

КАТЕГОРИИ:


Архитектура-(3434)Астрономия-(809)Биология-(7483)Биотехнологии-(1457)Военное дело-(14632)Высокие технологии-(1363)География-(913)Геология-(1438)Государство-(451)Демография-(1065)Дом-(47672)Журналистика и СМИ-(912)Изобретательство-(14524)Иностранные языки-(4268)Информатика-(17799)Искусство-(1338)История-(13644)Компьютеры-(11121)Косметика-(55)Кулинария-(373)Культура-(8427)Лингвистика-(374)Литература-(1642)Маркетинг-(23702)Математика-(16968)Машиностроение-(1700)Медицина-(12668)Менеджмент-(24684)Механика-(15423)Науковедение-(506)Образование-(11852)Охрана труда-(3308)Педагогика-(5571)Полиграфия-(1312)Политика-(7869)Право-(5454)Приборостроение-(1369)Программирование-(2801)Производство-(97182)Промышленность-(8706)Психология-(18388)Религия-(3217)Связь-(10668)Сельское хозяйство-(299)Социология-(6455)Спорт-(42831)Строительство-(4793)Торговля-(5050)Транспорт-(2929)Туризм-(1568)Физика-(3942)Философия-(17015)Финансы-(26596)Химия-(22929)Экология-(12095)Экономика-(9961)Электроника-(8441)Электротехника-(4623)Энергетика-(12629)Юриспруденция-(1492)Ядерная техника-(1748)

Проблеми надійності програмних комплексів




Лекція 4 НАДІЙНІСТЬ ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ

 

 

Інформаційні системи знаходять все більш широке застосування, причому витрати на складання програмних комплексів для інформаційних систем ростуть швидше, ніж вартість відповідного апаратного устаткування. Тому, природно, основні зусилля повинні бути спрямовані на розробку надійних програм для інформаційних систем (ІС).

Невиявлені помилки в програмах можуть слугувати причиною відмов інформаційної системи, наслідки яких можуть виявитися катастрофічними, і в той же час масштаби і складність систем настільки виросли, що процес налагодження програм стає все більше трудомістким. Більшість засобів по забезпеченню надійності програм можна розбити на наступні категорії:

- розробка вірних програм;

- перевірка програм з метою виключення помилок;

- моделювання роботи програмних комплексів з метою пророкування їхньої надійності і можливості, дослідження впливу відповідних параметрів.

Варто помітити, що теорія надійності програм ще не розроблена на такому рівні, як теорія надійності апаратного устаткування. Однак вже з'явилося кілька важливих концепцій, і ведеться велика робота в цьому напрямку.

З погляду залежності надійності від процесу випробувань між апаратним устаткуванням і програмним забезпеченням існує важливе розходження. Якщо програму можна було б перевірити по елементах для всього набору вхідних даних, то помилка в програмних комплексах теоретично ніколи не з'явилися б. Навпаки, апаратне устаткування може виходити з ладу навіть після проведення самих ретельних випробувань. В зв'язку з цим виникає питання: чи можна вважати, що помилки програмних комплексів носять випадковий характер? По суті, програма відображає елементи простору входів у відповідні елементи простору виходів. При цьому у випадку наявності помилки деяка підмножина простору входів відображається в простір виходів неправильно. Якщо було б відомо поводження виходу при будь-яких можливих входах і можна було прогнозувати майбутні входи, то ми могли б прогнозувати помилки зовсім точно. Однак властивості деякого великого блоку програми ніколи не бувають відомі повністю, оскільки майже неможливо перевірити програмні засоби при будь-яких очікуваних значеннях входів. Входи програм також є випадковими. В силу того, що і для самої програми, і для її входів характерна невизначеність, можна вважати, що поява помилок є випадковим процесом.

 




Поделиться с друзьями:


Дата добавления: 2013-12-14; Просмотров: 245; Нарушение авторских прав?; Мы поможем в написании вашей работы!


Нам важно ваше мнение! Был ли полезен опубликованный материал? Да | Нет



studopedia.su - Студопедия (2013 - 2024) год. Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав! Последнее добавление




Генерация страницы за: 0.01 сек.