конспект лекцій (ТСПП). Конспект лекцій з дисципліни 07 технологія створення програмних продуктів напряму 050101 Компютерні науки
 Скачать 14.87 Mb.
|
10.3. Інструменти, що забезпечують надійність програмних продуктів. План забезпечення надійності.Досвід створення і застосування складних інформаційних сис-тем (ІС) в останні десятиліття виявив безліч ситуацій, при яких збої і відмови їх функціонування були обус-ловлены дефектами комплексів програм, що призводило до боль-шому економічному збитку. Внаслідок помилок в програмах автоматичного управління загинуло декілька вітчизняних, американських і французьких супутників, відбувалися відмови і катастрофи в складних адміністративних, банківських і техно-логических інформаційних системах. В результаті близько двадцяти років тому з'явилися перші узагальнювальні роботи, в яких були сформульовані концеп-ция і основні положення теорії надійності програмних засобів для інформаційних систем. В цей час були заложе-ны основи методології і технології створення високонадійних складних комплексів програм. Стало ясно, що для забезпечення високої надійності функціонування і безпеки приме-нения створюваних складних комплексів програм потрібні чітка організація і висока кваліфікація усього колективу фахівців, що беруть участь в такому проекті. У колективі раз-работчиков доцільно виділяти фахівців, ответствен-ных за дотримання технології створення і розвитку програм, за забезпечення і контроль якості, а також за надійність і бе-зопасность проекту ПС і його компонентів. Забезпечення надійності повинне реалізовуватися специали-стами в життєвому циклі програмних засобів на основі исполь-зования сучасної методології, технологічного инструмен-тария, стандартів і нормативних документів. Для забезпечення надійності програмних засобів необхо-димы розробка і застосування ефективних методів і засобів, застережливих і таких, що виявляють дефекти, а також удостоверя-ющих надійність програм і що оперативно захищають функ-ционирование ПС при їх проявах. Для систематичної, координованої боротьби з погрозами надійності повинні про-водиться дослідження конкретних чинників, що впливають на ка-чество функціонування і безпеку застосування програм з боку реально існуючих і потенційно можливих дефектів в створюваних комплексах програм. У кожному проекті повинен цілеспрямовано розроблятися скоординированный комплекс методів і засобів забезпечення заданої надійності функціонування ПС при реально досяжному зниженні уров-ня дефектів і помилок розробки. Облік чинників, що впливають на витрати ресурсів при створенні конкретного ПС, повинен позво-лять раціоналізувати їх використання і домагатися задан-ной надійності функціонування ПС при мінімальних або допустимих витратах. Для забезпечення надійності програмних засобів в конкрет-ных проектах мають бути організовані і стимулюють раз-робітка, освоєння і застосування сучасних автоматизирован-ных технологій і інструментальних засобів, що забезпечують попередження або виключення більшості видів дефектів і помилок при створенні і модифікації ПС і їх компонентів. Ог-раниченные ресурси на розробку призводять до необхідності впорядкованого застосування методів і раціонального исполь-зования засобів автоматизації проектування. Тому про-цесс розробки повинен плануватися і послідовно про-ходить етапи, що охоплюють усі компоненти ПС. Контроль на-дежности і безпеці створюваних програм, що модифікуються, повинен супроводжувати увесь життєвий цикл ПС посред-ством спеціальної, досить ефективної технологічної системи забезпечення їх якості. Розробка і супровід складних ПС на базі САSЕ -технологий дозволяють попереджати і усувати найбільш небезпечні системні і алгоритмічні ошиб-ки на ранніх стадіях проектування, а також використовувати нео-днократно перевірені в інших проектах програмні і ин-формационные компоненти високої якості. Попередження помилок повинне підтримуватися високоякісною докумен-тацией в процесі створення ПС в цілому і їх компонентів. Одним з ефективних шляхів підвищення надійності ПС яв-ляется стандартизація технологічних процесів і об'єктів проектування, розробки і супроводу програм. У стан-дартах життєвого циклу ПС узагальнюються досвід і результати досліджень безлічі фахівців і рекомендуються найбільш ефективні сучасні методи і процеси. В результаті таких узагальнень відпрацьовуються технологічні процеси і прийоми розробки, а також методична база для їх автомати-зации. Стандарти ЖЦ ПС можуть використовуватися як непосред-ственно директивні, керівні або як рекомендаційні документи, а також як організаційна база при створенні засобів автоматизації відповідних технологічних етапів або процесів. Подібна стандартизація процесів відбивається не лише на їх техніко-економічних показниках, але і, що особливо важливо, на якості створюваних ПС. Надійність про-грамм тісно пов'язана з методами і технологією їх розробки, тому важливою групою стандартів в цій області є стандарти по забезпеченню якості ПС. |