Реферат
з дисципліни «Технології розробки програмного забезпечення»
за темою «Верифікація та атестація програмного забезпечення»
Зміст
Введення
. Загальні відомості про верифікації та атестації
. Планування верифікації та атестації
. Інспектування програмних систем
. Автоматичний статичний аналіз програм
. Метод «чиста кімната»
. Верифікація та атестація критичних систем
Висновок
Література
Введення
Програмні системи в даний час присутні повсюдно: практично будь-які електронні пристрої містять програмне забезпечення (ПЗ) того чи іншого виду. Без відповідного програмного забезпечення в сучасному світі неможливо уявити індустріальне виробництво, школи та університети, систему охорони здоров'я, фінансові та урядові установи. Багато користувачів застосовують ПО для самоосвіти, для розваг і т.д. Створення специфікації вимог, розробка, модифікація і супровід таких систем ПЗ становить суть технічної дисципліни інженерія програмного забезпечення.
Навіть прості системи ПО володіють високим ступенем складності, тому при їх розробці доводиться застосовувати весь арсенал технічних та інженерних методів. Отже, інженерія програмного забезпечення - це інженерна дисципліна, де фахівці використовують теорію і методи комп'ютерних наук для успішного вирішення різного роду нестандартних завдань. Але, звичайно, не кожен проект ПО завершується успішно в силу різних причин. Прогрес помітний: за останні 30 років ПЗ дуже сильно ускладнилося, з'явилися програми, що пропонують користувачам дуже великі сервісні можливості для роботи з ними.
Слід зазначити, що інженерія програмного забезпечення розвивається в основному відповідно з постановкою нових завдань побудови великих користувача систем ПО для промисловості, уряду і оборонного відомства. З іншого боку, в даний час сфера програмного забезпечення дуже широка: від ігор на спеціалізованих ігрових консолях, а також програмних продуктів для персональних комп'ютерів до дуже великих масштабованих розподілених систем.
При створенні програмного продукту перед інженером постає безліч питань різного роду, таких як, наприклад, вимоги до ПЗ, моделі систем, специфікації ПЗ, надійність створюваного продукту, і т.д. У даній роботі розглядаються одні з найскладніших кроків у створенні будь-якого програмного продукту - верифікація та атестація. У роботі дається загальне уявлення про верифікації та атестації програмного забезпечення, про методи статичної та динамічної верифікації, про верифікацію та атестації критичних систем.
. Загальні відомості про верифікації та атестації
Незважаючи на гадану схожість, терміни «верифікація» і «атестація» означають різні рівні перевірки коректності роботи програмної системи. Щоб уникнути подальшої плутанини, чітко визначимо ці поняття.
Верифікація - це перевірка відповідності програмного забезпечення проектної специфікації і стандартам, технічної документації, представленої техзаданием, архітектурою чи моделлю предметно...
