Інфопакет

Валідація та верифікація програмних систем

Обов’язкова дисципліна для ОП

Другий

2021/2022

2 Семестр

4

ПРH 1. Ідентифікувати проблемні ситуації, виконувати їх дослідження на основі системного підходу, здійснювати обґрунтований вибір методів та моделей для формування ефективних управлінських рішень, застосовувати моделі і методи прийняття рішень у прогнозуванні розвитку підприємства та в предметній області комп'ютерних наук. ПРH 6. Використовувати розподілені високо продуктивні обчислювальні технології для забезпечення ефективного вибору та використання консолідованих ресурсів і послуг. ПРH 15. Володіти методами розробки та впровадження заходів, спрямованих на підвищення ефективності інформаційних систем.

1. Знати: базові поняття математичної логіки, теорії алгоритмів, теорії програмування; мати уяву про складність алгоритмів. 2. Вміти: будувати логічні специфікації програм з урахуванням встановлених вимог, виконувати верифікаційні процедури з перевірки правильності та валідності програмного забезпечення, а також проводити основні види тестування програм. 3. Володіти засобами: розробки тестів у середовищі Visual Studio.

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

1. Л.П. Бабенко, К.М. Лавріщева. Основи програмної інженерії. К.:”Знання”, 2001. – 269 с. 2. Э.М. Кларк, О. Грамберг, Д. Пелед, Верификация моделей программ: Model Checking. – М.: 2002, 416 с. 3. С.В. Синицын, Н.Ю. Налютин, Верификация программного обеспечения, ИнтернетУниверситет Информационных Технологий, www.INTUIT.ru 4. И. Соммервилл, Инженерия программного обеспечения. – ИД «Вильямс», 2002. – 624 c.

Лекції, лабораторні заняття, самостійна робота, захист лабораторних робіт, іспит.

- семестрове оцінювання: 1. Захист лабораторної роботи 1: РН 1.1., РН 1.2 – 9 балів/4,5 балів. 2. Захист лабораторної роботи 2: РН1.3 – 9 балів/4,5 балів. 3. Захист лабораторної роботи 3 (проект): РН 1.2, РН 1.3, РН 2.1, РН 2.2, РН 2,3, РН 2.4 – 7 балів/3,5 балів. 4. Захист лабораторної роботи 4 (проект): РН 1.2, РН 1.3, РН 2.1, РН 2.2, РН 2,3, РН 2.4 – 7 балів/3,5 балів. 5. Захист лабораторної роботи 5 (проект): РН 1.2, РН 1.3, РН 2.1, РН 2.2, РН 2,3, РН 2.4 – 7 балів/3,5 балів. 6. Захист лабораторної роботи 6 (проект): РН 1.2, РН 1.3, РН 2.1, РН 2.2, РН 2,3, РН 2.4 – 7 балів/3,5 балів. 7. Захист лабораторної роботи 7 (проект): РН 1.2, РН 1.3, РН 2.1, РН 2.2, РН 2,3, РН 2.4 – 7 балів/3,5 балів. 8. Захист лабораторної роботи 8: – 7 балів/3,5 балів. - підсумкове оцінювання (у формі іспиту): - максимальна кількість балів які можуть бути отримані студентом: 40 балів; - результати навчання які будуть оцінюватись; - форма проведення: письмова робота.

Українська