Geum.ru

Основи програмної інженерії

Вид материалаДокументы

Содержание


Назва теми та її зміст
7.8. Питання для підсумкового контролю.
7.9. Структура залікового кредиту навчальної дисципліни
Подобный материал:
1   ...   7   8   9   10   11   12   13   14   15



7.7. Тематичний план самостійної роботи студентів.


№

Назва теми та її зміст




Змістовний модуль 1

1
Програмна інженерія як дисципліна керування та економічна дисципліна.

1
Проектування програмного забезпечення. Конструювання програмного забезпечення. Тестування програмного забезпечення. Супровід програмного забезпечення.

2
Характеристика життєвого никлу стандарти 1SO/IEC 12207.

2
Типи моделей життєвого циклу.

3
Аналіз і збирання вимог до програмних систем.

3
Об'єктно-орієнтована інженерія вимог. Візуальний підхід. Текстовий підхід.

4
Основні поняття об'єктно-орієнтованих методів аналізу. Загальні підходи до проектування програмних систем.

4
Метод побудови об'єктної моделі предметної області.

4
Проектування різних видів архітектур програмних систем.




Змістовний модуль 2

5
Компонентне програмування. Аспектно-орієнтоване програмування.

5
Сервісно-оріентоване програмування. Агентне програмування

6
Верифікація і валідація програм. Загальні перспективи верифікації програм.

6
Тестування програмних систем.

7
Інтерфейс в ООП і в сучасних середовищах.

7
Реверсна інженерія.

8
Репозітарій компонентів. Мова опису інтерфейсу компонентів.

8
JAVA-технологія.

9
Моделі якості програмних систем.

10
Метод критичного шляху –СРМ.

10
Метод аналізу й оцінки проекту-PERT.



7.8. Питання для підсумкового контролю.

  1. Загальне визначення дисциплін програмної інженерії.
  2. Програмна інженерія як наукова дисципліна.
  3. Програмна інженерія як інженерна дисципліна.
  4. Програмна інженерія як виробнича дисципліна.
  5. Програмна інженерія як дисципліна керування та економічна дисципліна.
  6. Характеристика областей знань з інженерії програмного забезпечення – SWEBOK.
  7. Інженерія вимог.
  8. Проектування програмного забезпечення.
  9. Конструювання програмного забезпечення.
  10. Тестування програмного забезпечення.
  11. Супровід програмного забезпечення.
  12. Керування інженерією програмного забезпечення.
  13. Процес інженерії. Методи і інструменти інженерії.
  14. Якість програмного забезпечення.
  15. Характеристика життєвого циклу стандарти 1SO/IEC 12207.
  16. Формування прикладних моделей життєвого циклу.
  17. Типи моделей життєвого циклу.
  18. Каскадна модель.
  19. Інкрементна модель.
  20. Спіральна модель.
  21. Еволюційна модель.
  22. Загальні підходи до визначення вимог. Класифікація вимог.
  23. Аналіз і збирання вимог.
  24. Інженерія вимог.
  25. Фіксація вимог.
  26. Трасування вимог.
  27. Об'єктно-орієнтована інженерія вимог. Візуальний підхід. Текстовий підхід.
  28. Огляд об'сктно-орієнтованих методів аналізу і побудови моделей.
  29. Основні поняття об'єктно-орієнтованих методів аналізу.
  30. Метод побудови об'єктної моделі предметної області.
  31. Проектування архітектури програмних систем. Загальні підходи та проектування різних видів архітектури програмних систем.
  32. Прикладне (систематичне) програмування.
  33. Структурне програмування.
  34. Об'єктно-орієнтоване програмування.
  35. UML-метод моделювання.
  36. Компонентне програмування.
  37. Аспектно-орієнтоване програмування.
  38. Генерувальне (порождувальне) програмування.
  39. Сервісно-оріентоване програмування.
  40. Агентне програмування
  41. Теоретичне програмування. Алгоритмічні алгебри.
  42. Мови специфікації програм і їхня класифікація.
  43. Мова формальної специфікацій – VDM.
  44. Мова формальної специфікації – RAISE.
  45. Концепторна мова специфікації.
  46. Звичайна мова специфікації Spec#.
  47. Методи доведення правильності програм. Базові методи доведення. Модель доведення програми за твердженнями.
  48. Верифікація і валідація програм. Підхід до валідації сценарію вимог. Верифікація об'єктних моделей. Підхід до верифікації композиції компонентів . Загальні перспективи верифікації програм.
  49. Тестування програмних систем. Статичні методи тестування. Динамічні методи тестування. Функціональне тестування.
  50. Інфраструктура перевірки правильності програмних систем. Класифікація помилок і методи їхнього пошуку. Процес тестування за життєвим циклом. Інженерія керування тестуванням.
  51. Визначення інтерфейсу у програмуванні.
  52. Інтерфейс в ООП і в сучасних середовищах.
  53. Інтерфейс між клієнтом і сервером.
  54. Інтерфейс мов програмування. Інтерфейс і взаємозв'язок мов програмування. Взаємодія різномовних програм. Стандарт 1SO/IEC 11404-96 з незалежних від мов типів даних.
  55. Перетворення даних за інтерфейсом. Перетворення форматів даних. Перетворення даних баз даних.
  56. Методи еволюційного змінювання компонентів і систем.
  57. Інженерія компонентів повторного використання.
  58. Прикладна інженерія та інженерія предметної області.
  59. Інженерія індустріального виробництва програмних продуктів . Структура лінії виробництва програмних продуктів.
  60. Конвеєрне виготовлення систем у середовищі Microsoft.
  61. Оцінювання вартості системи з компонентів.
  62. Модель якості програмних систем. Стандартні показники якості. Метрики якості. Стандартна оцінка показників якості. Керування якістю програмних систем.
  63. Моделі оцінки надійності програмних систем. Ґрунтовні поняття проблематики надійності. Класифікація моделей надійності.
  64. Сертифікація програмного продукту.
  65. Менеджмент проекту. Основні поняття та задачі .
  66. Модель процесу керування проектом.
  67. Інфраструктура програмного проекту.
  68. Методи керування і планування проектом .
  69. Методи керування ризиками у проекті.
  70. Керування конфігурацією системи. Формування версій й контроль конфігурації. Облік статусу й аудит конфігурації.


7.9. Структура залікового кредиту навчальної дисципліни

Кредитний модуль

Загальний обсяг, годин

Аудиторних занять, годин

Самостійна робота, годин

Контрольний захід

Модуль 1
90
72
18
залік

Модуль 2
90
68
22
іспит

Разом
180
140
40