Page 6 - 4592

1 ПОНЯТТЯ ПРО ЕМПІРИЧНІ МЕТОДИ ПРОГРАМНОЇ

ІНЖЕНЕРІЇ

1.1 Основні поняття та визначення
При емпіричних дослідженнях в програмній інженерії

використовують методи:
 абстрагування,

 аналіз,
 синтез,
 індукція,

 дедукція,
 моделювання.

Абстрагування – це уявне відкидання неістотних,
другорядних ознак предметів і явищ, зв’язків і відношень між
ними, та виділення аспектів, що цікавлять дослідника. Абстракція

найчастіше виділяє з явищ одну, певну сторону у чистому
вигляді.
Процес абстрагування проходить дві ступені. Перша ступінь

полягає у вичленовуванні найбільш важливого в явищах і
встановлення незалежності або зневажено слабкої залежності
досліджуваних явищ від визначених факторів (якщо А не
залежить від фактора Б, то можна відвернутися від останнього як

несуттєвого). Друга ступінь це реалізація можливостей
абстрагування. Суть цієї реалізації полягає в тому, що
здійснюється заміщення об'єкта К1 іншим, менш багатим

властивостями об'єктом К2, що виступає в якості "моделі"
першого.
Абстракції існують наступних основних типів:
– ототожнення - утворення понять шляхом об'єднання

предметів, зв'язаних відносинами типу рівності в особливий клас
(відволікання від ряду індивідуальних властивостей предметів);
– ізолювання - виділення властивостей і відносин,

нерозривно зв'язаних із предметами, і позначення їх визначеними
"іменами", що дає абстракціям статус самостійних предметів
("надійність", "технологічність"). Розходження між цими двома

абстракціями полягає в тому, що в першому випадку ізолюється

6