Лекции / OND_part_1_2

45

Оскільки фактори дворівневі, то в загальному вигляді рівні прийнято позначати так:

верхній рівень: +1 нижній рівень: -1

План ПФЕ 2х2

Новий скорочений план експерименту називають напівреплікою

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

Таким же чином можна проводити подальше скорочення планів типу отримуючи чверть репліки і більш дрібні репліки

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

Таким чином, отриману модель процесу потрібно перевіряти на адекватність, використовуючи для цього "зекономлені" спостереження.

Розділ 8. МЕТОДИ ТЕОРЕТИЧНИХ ДОСЛІДЖЕНЬ В ПРОГРАМНІЙ ІНЖЕНЕРІЇ

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

46

Проект SWEBOK.

Термін ПІ запропонований Бауером в 1968 році на конференції підкомітету НАТО з науки і техніки.

Раніше програмна інженерія називалася технологією програмування. Програмна інженерія - це практичне застосування наукових знань при

розробці та створенні комп'ютерних програм і пов'язаної з ними документації, необхідної для їх розробки, використання і підтримки.

Визначення Інституту IEEE (Institute of Electrical and Electronics Engineers): SWE це - систематичний підхід до розвитку, дії, підтримки і припинення експлуатації програмного забезпечення (ПЗ).

З 1993 року IEEE і ACM (Association for Computing Machinery) створюють спільний комітет - Software Engineering Coordinating Committee (SWECC).

Проект SWEBOK ініційований комітетом в 1998 році Guide to the Software Engineering Body of Knowledge (SWEBOK), IEEE 2004 Version.

Призначення SWEBOK - об'єднання знань з інженерії ПЗ. В ядрі SWEBOK систематизовані різнорідні знання в області програмування, планування і управління.

Ядро знань SWEBOK

10областей знань (knowledge areas):

1.Software requirements - вимоги до ПЗ

2.Software design - проектування ПЗ

3.Software construction - конструювання ПЗ

4.Software testing - тестування ПЗ

5.Software maintenance - супровід ПЗ

6.Software configuration management -керування конфігурацією

7.Software engineering management - управління в програмної інженерії

8.Software engineering process - процеси програмної інженерії

9.Software engineering tools and methods - інструменти і методи програмної

інженеріі

10.Software quality - якість ПЗ

SWEBOK - суміжні дисципліни

1.Computer engineering – розробка комп’ютерів

2.Computer science – інформатика

3.Management – загальний менеджмент

4.Mathematics – математика

5.Project management – управліние проектами

6.Quality management – управління якістю

47

7. Systems engineering – системне проектування

Теоретичний базис ПІ:

-нормальні алгоритми, обчислювальні функції, машина Тьюринга, алгоритмічні алгебри, графи-схеми, моделі алгоритмів і програм;

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

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

-математичне доведення за допомогою аксіом, тверджень і теорем, обґрунтування несуперечності (методи Хоара, Дейкстри і т.п.), опис алгоритмічно невирішених проблем на основі теорії доказів;

-квантори загальності, існування, операції над множинами, які застосовуються для формального подання сукупностей програмних об'єктів за допомогою теорії множин.

Модель характеристик якості.

48

Характеристика показників.

- функціональність.

Група властивостей ПЗ, яка обумовить його здатність виконувати певний перелік функцій, які задовольняють потребам відповідно до призначення.

- надійність.

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

- зручність застосування.

Сукупність властивостей ПЗ для передбачуваної цільової користувальницької аудиторії і відображають легкість його освоєння і адаптації до постійно змінюваних умов експлуатації, стабільність роботи і підготовки даних,

49

понимаемость результатів, зручності внесення змін до програмної документацію і в програми.

- супроводжуваність.

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

- раціональність.

Група властивостей, що характеризується ступенем відповідності використовуваних ресурсів середовища функціонування рівню якості (надійності) функціонування ПЗ при заданих умовах застосування.

- переносимість.

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

Прикладні методи програмування:

-структурний,

-об'єктно-орієнтований,

-UML-метод,

-компонентний,

-аспектно-орієнтований,

-генеруючий,

-сервісний,

-агентний.

Перспективи розвитку ПІ:

- розробка єдиної теорії створення і аналізу програм на основі формальних специфікацій і верифікації програм

-побудова інтегрованого набору інструментів верифікації для всіх етапів життєвого циклу

-створення сховища верифікованих програм

-мовно-орієнтоване програмування

-розробка теоретичних та інструментальних засад генеруючого програмування

Розділ 9. ПУБЛІКАЦІЯ НАУКОВИХ РЕЗУЛЬТАТІВ

Наукові результати та їхнє опублікування.

Найкраща форма наукового результату – закон або закономірність.

Наприклад:

(1)Закон Ома – Для однорідного електричного ланцюга сила струму дорівнює напрузі, поділеній на опір ланцюга

(2)Постулат Глушкова – Обсяг інформації W , необхідний для управління виробничою системою, квадратично залежить від суми одиниць обладнання m і кількості обслуговуючого персоналу n цієї системи,