омних програм, описів, інструкцій програміста і користувача, тестів і т.п.
Основним ядром ПЗ є його програми, які забезпечують: нормальне функціонування УВМ і значної частини ТСА, переробку інформації про стан ТОУ, визначення регулюючих і керуючих впливів, взаємодія АСУ та управлінського персоналу та інші функції. Якість роботи всієї АСУ ТП істотно залежить від якості ПЗ, під яким умовно розуміють сукупність таких різнорідних властивостей як коректність, швидкодія, вартість, і, особливо, надійність.
Надійність ПЗ - є властивість програмного забезпечення своєчасно виконувати в заздалегідь зазначених умовах експлуатації вперед встановлені функції.
У самому загальному випадку основну функцію ПО АСУТП можна розглядати як своєчасне отримання деякого результату або рішення у при переробці вхідної інформації х з безлічі Х.
Під х розуміється контрольна інформація від ТОУ, сигнали про стан технологічного обладнання та ТСА, команди управлінського персоналу та вищестоящих АСУ тощо Результат у залежить як від випадкового х? Х, так і від властивостей ПЗ, що носять багато в чому стохастичний характер. Тому встановлення яких-небудь діапазонів зміни у і тим більше меж допустимих або розумних результатів У виявляється в цьому випадку неможливим. Внаслідок цього стає скрутної сувора якісна оцінка приналежності даного у безлічі «розумних» результатів У.
Рішення про виконання або невиконання функцій ПО змушений приймати користувач і, меншою мірою розробник програми або програміст. Таким чином, надійність - це властивість програм забезпечувати «розумні» на думку користувача і програміста рішення при переробці вхідної інформації х з умовного безлічі Х і нормальному функціонуванні УВМ.
Надійність встановлюється за результатами роботи ПЗ, тобто при динамічній перевірці всіх програм на безлічі вхідної інформації. Некоректне ПО свідомо ненадійно, однак і коректне ПЗ може бути ненадійним.
Розглянуте визначення надійності ПЗ базується на понятті відмова програми, під яким розуміється подія, що полягає в появі «нерозумного» результату у? Y при х? Х і нормальній роботі КОМ i ТСА.
Відмови ПО діляться на випадкові і невипадкові.
Невипадкові відмови ПО обумовлені дією так званих комп'ютерних вірусів.
Випадкові відмови ПО спостерігаються у випадкові моменти часу роботи УВМ або процесора. За своїми наслідками ці відмови класифікуються на випадкові збої програм і стійкі відмови ПЗ.
Під збоєм ПО розуміють випадкове подія, що полягає в появі «нерозумного» результату у? Y і зникає при наступних прогонах (запусках) програм.
Збій ПЗ - це самоусувається (перемежовується) відмова програми, що виникає при деяких, можливо випадкових, станах УВМ та інформації х? Х, спостережуваний користувачем у випадкові моменти часу і зникаючий без втручання програміста.
Стійкий відмова ПО спостерігається у випадковий момент процесорного часу у формі «нерозумного» результату у? Y при х? Х в нормальному функціонуванні УВМ.
Причиною відмови ПО служить деяка систематична помилка програми, після усунення якої програмістом дану відмову зникає, тобто має місце відновлення ПЗ.
Розрізняють помилки первинного і вторинного типу.
Помилки первинного типу пов'язані з неточностями в текстах програм і виникають при підготовці носіїв і документації ПЗ, при записах кодів на алгоритмічних мовах і трансляції програм на машинну мову. А також через неточності алгоритмів і при невірних або некоректних постановках розв'язуваних на УВМ обчислювальних завдань.
Помилки вторинного типу багато в чому є наслідком первинних помилок програм. До них відносять помилки:
обчислювальні (невірна індексація і підрахунок часових параметрів, розбіжність результату ручного і машинного рахунку, поява нестійких операцій тощо);
логічні (пропуск логічних умов, невірні крайові умови та ін.)
сполучення інтерфейсів (міжмодульних, програмно-технічних, інформаційних).
Помилки первинного і вторинного типів породжуються на етапах розробки специфікацій на ПЗ; проектування ПЗ; реалізації програм.
Усунення помилок або відновлення програм здійснюється програмістом на етапі налагодження ПЗ, який закінчується здачею готових програм в експлуатацію. Однак, як показує досвід дослідження надійності складних ПО, близько половини помилок програм не виявляється на стадії налагодження і здачі ПЗ в експлуатацію. Ці помилки (переважно вторинні) проявляють себе в процесі експлуатації ПО у випадкові моменти часу t і призводять до відмов програм.
...
