Page 14 - 4787

інженерії. Треті вважали, що без постійного контролю з боку замовника

розробки ПЗ виходить з під контролю, з’їдаючи час і кошти.

Досвід управління розробкою ПЗ вдображається відображається у

відповідних керівних документах і стандартах. Якщо при розробці

використовуються декілька стандартів і нормативних документах, то є смисл

скласти профіль.

Інформатика як наукова дисципліна пропонує і використовує на базі

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

використовуючи тестування програм і їх верифікацію на основі методів

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

і розробки програм без алгоритмічних помилок.

Дана методологія спрямована на рішення задач на ПК, аналогічно

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

програмування вітчизняними студентами і програмістами з використанням

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

корпорації ІВМ з 70-х років минулого століття.

Методологія структурного проектування ПЗ може використовуватися з

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

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

розробка бортового ПЗ для космічного корабля ,,Буран»”, в якому вперше було

використано бортовий комп’ютер для автоматичного управління апаратом,

який здійснив успішний старт і посадку космічного корабля.

При виборі методології розробки ПЗ слід керуватися тим, що складність

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

невиправдана для для продукта даної складності складність методології тільки

неоправдано збільшить вартість розробки. Прикладом сучасної методологій

проектування може бути проблемно-орієнтоване проектування.

Учасники процесу розробки ПЗ. Учасниками процесу розробки ПЗ є:

користувач, замовник, розробник, керівник проекту, аналітик, тестувальник,

поставщик.

13