В результатi вивчення студенти повиннi:
- знати критерії оцінки якості програмних засобів;
- знати методологію тестування алгоритмів, обчислювальних процесів та програмних засобів;
- знати методологію верифікації програмних засобів;
- вміти розробляти схеми і алгоритми чисельних експериментів;
- вміти складати тестові випадки та плани тестування;
- вмiти писати тестові скрипти для автоматизованого тестування;
- вмiти користуватись програмними системами для тестування та верифікації програмних засобів різних класів.

Назва дисципліни
Основи програмування.
Основи програмної інженерії.
Теорія алгоритмів та структур даних.

Поняття якості програмного забезпечення. Тестування – спосіб забезпечення якості ПЗ. Основні поняття тестування. Задачі і види тестування ПЗ. Статичне та динамічне тестування. Критерії вибору тестів. Вимоги до ідеального критерію тестування. Класи критеріїв тестуваня. Оцінка відтестованості проекту: метрики і методика інтегральної оцінки. Модульне й інтеграційне тестування. Методи проектування тестових шляхів. Монолітна та інкрементна збірка модулів. Інтеграційне тестування і його особливості для об’єктно-орієнтованого програмування. Системне тестування. Види системного тестування. Тестування користувацького інтерфейсу. Функціональне тестування користувацьких інтерфейсів. Контрольна робота. 7-й семестр. Тестування продуктивності, навантажувальне та стресове тестування. Автоматизація тестування. Структура інструментальної системи автоматизації тестування. Програмні засоби автоматизованого тестування. Особливості індустріального тестування. Якість програмного продукту і тестування. Фази процесу тестування. Типи тестування. Документування і оцінка індустріального тестування. Документування і життєвий цикл дефекту. Регресійне тестування: мета і задачі, умови застосування, класифікація тестів і методів відбору. Види регресійного тестування. Кероване регресійне тестування. Класифікація вибіркових методів. Регресійне тестування: різновиди методу відбору тестів. Випадкові методи. Безпечні методи. Методи мінімізації. Регресійне тестування: методики, не пов'язані з відбором тестів і методики породження тестів. Інтеграційне регресійне тестування. Регресійне тестування об'єктно-орієнтованих програм. Методи впорядкування. Завдання і цілі проведення формальних інспекцій. Етапи формальної інспекції і ролі її учасників. Контрольна робота.

1. Білас О. Якість програмного забезпечення та тестування: навч.посібник.- Львів: Видавництво Львівської політехніки, 2011.- 216с.
2. Липаев В. В. Проектирование программних средств.– М.: Вища школа, 1990.
3. Макгрегор Дж, Сайкс Д. Тестирование объектно-ориентированного программного обеспечения. – К: Диасофт, 2002. – 432с.
4. Липаев В.В. Тестирование программ.– М.: Радио и связь, 1986. – 296с.
5. Канер С., Фолк Дж., Нгуен Енг. Тестирование программного обеспечения.– К: ДиаСофт, 2000. – 544с.
6. Орлов С.А. Технологии разработки программного обеспечения: разработка сложных программных систем.– СПб.: Питер, 2002.– 464 с.
7. Майерс Г. Искусство тестирования программ.- М.: Финансы и статистика, 1982. 176с.
8. Standard for Software Verification and Validation Plans, ANSI/IEEE standard 1012-1986.
9. IEEE Standard Glossary of Software Engineering Technology, IEEE Std 610.12 –1990

Лабора-торні заняття
30
КР
20
Разом балів
(ПК)
50
Контрольний захід (КЗ)
50
Семестрова оцінка (ПК+КЗ)
100