Програмне забезпечення

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

Це визначення, дане Харальдом Мілсом, відомим фахівцем в області ПІ, містить в собі наступне:

1. Логічні розпорядження – це не лише самі програми, але і різна документація (наприклад, по експлуатації програм) и ширше – певна система стосунків між людьми, що використовують ці програми в рамках деякого процесу діяльності.
2. Сучасне ПЗ призначено, як правило, для одночасної роботи з багатьма користувачами, які можуть бути значно віддалені один від одного у фізичному просторі. Таким чином, обчислювальне середовище (персональні комп'ютери, сервера і т.д.), у якій ПЗ функціонує, виявляється розподіленою.
3. Задачі вирішувані сучасним ПЗ, часто вимагають різних обчислювальних ресурсів через різну спеціалізацію цих задач, із-за великого об'єму виконуваної роботи, а також з міркувань безпеки. Наприклад, з’являється сервер бази даних, сервер додаткі та ін. Таким чином, обчислювальне середовище, в якій ПЗ функціонує, виявляється багатопроцесорною.
4. ПЗ розвивається у часі – виправляються помилки, додаються нові функції, випускаються нові версії, міняється його апаратна база.

Властивості. О собливості ПЗ, виділені Фредеріком Бруксом у його відомій статті "Срібної кулі немає".

1. Складність програмних об'єктів, яка істотно залежить від їх розмірів. Як правило, велике ПЗ (велика кількість користувачів, більший об'єм оброблюваних даних, жорсткіші вимоги по швидкодії та ін.) з аналогічною функціональністю – це інше ПЗ. Класична наука будувала прості моделі складних явищ, і це удавалося, оскільки складність не була характеристичною межею даних явищ.
2. Узгодженість – ПЗ ґрунтується не на об'єктивних посилках (подібно до того, як різні системи в класичній науці ґрунтуються на постулатах і аксіомах), а повинно бути погоджено з великою кількістю інтерфейсів, з якими згодом воно повинне взаємодіяти. Ці інтерфейси погано піддаються стандартизації, оскільки ґрунтуються на багаточисельних людських угодах, що погано формалізуються.
3. Змінність – ПЗ легко змінити і, як наслідок, вимоги до нього постійно змінюються в процесі розробки. Це створює багато додаткових труднощів при його розробці і еволюції.
4. Нематеріальність – ПЗ неможливо побачити, воно віртуальне. тому, наприклад, важко скористатися технологіями, заснованими на попередньому створенні креслень, успішно використовуваними в інших промислових областях (наприклад, в будівництві, машинобудуванні). Там на кресленнях в схематичному вигляді відтворюються геометричні форми створюваних об'єктів. Коли об'єкт створений, ці форми можна побачити. А на чому ми ґрунтуємося, коли зображаємо ПЗ?

Дата добавления: 2014-01-07