Інфопакет

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

ОК.14

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

Другий

2023/2024

2 Семестр

4

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

Дистанційне навчання

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

Мета дисципліни – засвоєння техніки перевірки правильності програм шляхом побудови моделей програм з подальшим доведенням властивості побудованих моделей, що характеризують її правильність, а також техніки тестування програмних систем в основних його видах. Дисципліна є обов’язковою за програмою “Інформатика”. Викладається в обсязі 4 кредитів ECTS. У курсі передбачено 2 частини та 2 контрольні роботи. Завершується дисципліна – іспитом.

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

Українська