Література

1. Сэм Канер, Джек Фолк, Енг Кек Нгуен. Тестирование программного обеспечения. Фундаментальные концепции менеджмента бизнес-приложений, Изд-во: ДиаСофт, 2001, 538 с.

2. Луиза Тамре. Введение в тестирование программного обеспечения, Изд-во: Вильямс, 2003, 368 с.

3. Майерс Г. Надежность программного обеспечения. М.: «Мир», 1980. 360 с.

Безпека програм і даних

1. Класифікувати загрози безпеки.

2. Дати визначення авторизації та аутентифікації. Привести приклад проведення політики контролю доступу користувача до ресурсів з використанням процедури аутентифікації і авторизації.

3. Зробити порівняльний аналіз механізму управління дисковими квотами в ОС Windows і Linux.

4. Привести схему асиметричної криптосистеми з відкритим ключем і описати процес передачі зашифрованої інформації в асиметричних криптосистемах. Перерахувати відомі Вам асиметричні криптографічні алгоритми. Описати їх достоїнства і недоліки.

5. Зробити порівняльний аналіз між мережевих екранів.

Практичні завдання у відповідності до теоретичних запитань.

Література

1. Вильям Столлингс, Криптография и защита сетей, Вильямс, 2001 г., - 669 стр.

2. Соколов А.В., Шаньгин В.Ф., Защита информации в распределенных корпоративных сетях и системах, ДМК, 2002 г. – 655 стр.

Системне програмування та операційні системи

1. Види завантаження DLL. Схема роботи з DLL при її явної завантаженні.

2. Поняття «вторинний потік». Схема роботи з вторинним потоком. Особливості передачі параметрів у вторинний потік.

3. Види синхронізації потоків в режимі користувача (способи синхронізації, їхні переваги та недоліки).

4. Синхронізація потоків з використанням об'єктів ядра (види об'єктів ядра, за допомогою яких можна виконувати синхронізацію, переваги та недоліки).

5. Спільне використання об'єктів ядра декількома процесами.

Задачі – в відповідності до теоретичних запитань.

Література

1. Рихтер Дж. Windows для профессионалов: создание эффективных Win-32 приложений с учетом специфики 64-разрядной версии Windows. – СПб: Питер; М.: Издательско-торговый дом «Русская редакция», 2001. ­– 752 с.

2. Харт Дж. Системное программирование в среде Windows. – М.: Издательский дом «Вильямс», 2005. – 592 с.

МЕНЕДЖМЕНТ ПРОЕКТІВ ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ

1. Каскадна модель управління програмними проектами "водоспад".

2. Гнучкі методики управління програмними проектами, принципи та особливості.

3. Використання діаграми Ганта в управлінні проектами. Критичний шлях.

4. Прагматичний підхід PERT до оцінки трудомісткості.

5. Планування управління рисками.

Література

1. Сергей Архипенков. Лекции по управлению программными проектами.

Москва 2009. -- 128 C.

2. Хенрик Книберг, Маттиас Скарин. Scrum и Kanban: выжимаем максимум.С4Media. 2010. -- 78 C.

АНАЛІЗ ВИМОГ ДО ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ

1. Межі проекту у рамках бачення продукту як частина процесу побудови вимог до програмного забезпечення.

2. Коректність і узгодженість (несуперечність) як властивість вимог до програмного забезпечення.

3. Табличні подання варіанту використання як метод специфікування вимог до програмного забезпечення.

4. Горизонтальний прототип як метод прототипування вимог до програмного забезпечення.

5. Вертикальний прототип як метод прототипування вимог до програмного забезпечення.

Література

1. Карл И. Вигерс. Разработка требований к программному обеспечению. — Русская редакция, 2004.

2. Кобёрн А. Современные методы описания функциональных требований к системам. — М.: Лори, 2002.

КОНСТРУЮВАННЯ ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ

1. ДостоЇнства и недоліки життєвого класичного циклу розробки ПЗ.

2. Особливості метрик Фернандо Абреу.

3. Структура компілятора.

4. Особливості застосування технології OLE.

Задачі – в відповідності до теоретичних запитань.

Література

1. Ахо А., Сети Р., Ульман Д. Компиляторы: принципы, технологии, инструменты. – М.: «Вильямс», 2003. – 768 с.

2. Гордеев А.В., Молчанов А.Ю. Системное программное обеспечение. – СПб.: Питер, 2003. – 736 с.

3. Орлов С.А. Технологии разработки программного обеспечения. Разработка сложных программных систем. . — СПб.: Питер, 2002. — 464 с.

АРХІТЕКТУРА ТА ПРОЕКТУВАННЯ ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ

1. Моделі архітектур програмних систем при структурному і об'єктно-орієнтованому проектуванні. Графічні нотації опису продуктів проектування програмних систем. Приклади.

2. Планування розробки великих програмних систем. Приклад мережевого планування робіт над програмною системою.

3. Автоматичний синтез програм. Алгоритм структурного синтезу програм.

4. Тестування програм. Функціональні методи тестування програм. Приклад формальної побудови тестів.

5. Верифікація програм. Методика верифікації програм методом програмних функцій. Приклад верифікації програми.

Задачі – в відповідності до теоретичних запитань.