хвилю. На малюнку 2.27, в показаний графік, отриманий на осцилографі Scope1 і представляє сумарний розщеплений зубець Р.
Передавальна функція WР (p) для системи на малюнку 2.26 знаходиться з наступного виразу
. (2.12)
де W1 (s), W2 (s) - передавальні функції першого та другого підсистеми відповідають вираженню (2.11), W3 (s) - передавальна функція блоку фіксованою затримки.
У теорії автоматичного управління блок фіксованої затримки носить також назву ланки з постійним запізненням з передавальної функцією
, (2.13)
де k - коефіцієнт підсилення,?- Час запізнювання.
Для графіків на малюнку 2.20 справедливо наступне вираження
. (2.14)
Вираз для передавальної функції системи синтезу зубця Р з розщепленням (2.13) отримано з (2.10), (2.12) і (2.13) підстановкою значень Т2=0, Т1=2000, k=10 (для першої підсистеми); Т2=0, Т1=200, k=10 (для другої підсистеми); kЗ=1 і?=90 і показує, що в даному випадку W1 (s) і W2 (s) відрізняються один від одного значенням постійних часу Т1.
Метод подстраиваемой моделі універсальний, тому що дозволяє використовувати одну систему в якості базової. В даному випадку така система зображена на малюнку 2.18. Включення в систему нових блоків дає можливість змінювати досліджуваний елемент, в розглянутому прикладі - це зубець Р. Крім того, блоки, що входять в систему, мають змінну структуру, тобто можливо встановлювати різні значення параметрів цих блоків, регулюючи таким чином амплітуду і тривалість модельованого сигналу.
3. Надійність програмного забезпечення
. 1 Неконструктивність поняття правильної програми
Під «програмою» часто розуміють правильну програму, тобто програму, що не містить помилок. Однак поняття помилки в програмі трактується в середовищі програмістів неоднозначно. Згідно Майерсу [14] в програмі є помилка, якщо вона не виконує того, що розумно очікувати від неї користувачеві. «Розумне очікування» користувача формується на підставі документації щодо застосування цієї програми. Отже, поняття помилки в програмі є істотно не формальним. У програмних засобах (ПС) програми та документація взаємно ув'язані, утворюють певну цілісність. Тому правильніше говорити про помилку не в програмі, а в ПС в цілому: вважається, що в ПС є помилка, якщо воно не виконує того, що розумно очікувати від нього користувачеві. Зокрема, різновидом помилки в ПС є неузгодженість між програмами ПС і документацією щодо їх застосування. Виділяється в окреме поняття окремий випадок помилки в ПС, коли програма не відповідає своїй функціональної специфікації (опису, розробляється на етапі, що передує безпосередньому програмуванню). Така помилка називається дефектом програми.
Так як завдання на ПС звичайно формулюється не формально, а також через те, що поняття помилки в ПС не формалізоване, то не можна довести формальними методами (математично) правильність ПС. Тому поняття правильної ПС неконструктивно в тому сенсі, що після закінчення роботи над створенням ПС ми не зможемо переконатися, що досягли мети.
3.2 Надійність програмного засобу
Альтернативою правильного програмного засобу є надійне ПС. Надійність ПС - це його здатність безвідмовно виконувати певні функції при заданих умовах протягом заданого періоду часу з досить великою ймовірністю. При цьому під відмовою в ПС розуміють вияв в ньому помилки. Таким чином, надійне ПС не виключає наявності в ньому помилок - важливо лише, щоб ці помилки при практичному застосуванні цього ПС в заданих умовах виявлялися досить рідко. Переконатися, що ПС має таку властивість можна при його випробуванні шляхом тестування, а також при практичному застосуванні. Таким чином, фактично можливо розробляти лише надійні, а не правильні ПС.
ПС може володіти різним ступенем надійності. Як вимірювати цей ступінь? Так само як в техніці, ступінь надійності можна характеризувати ймовірністю роботи ПС без відмови протягом певного періоду часу. Однак у силу специфічних особливостей ПС визначення цієї імовірності наштовхується на ряд труднощів у порівнянні з вирішенням цього завдання в техніці.
При оцінці ступеня надійності ПС слід також враховувати наслідки кожного відмови. Деякі помилки в ПС можуть викликати лише деякі незручності при його застосуванні, тоді як інші помилки можуть мати катастрофічні наслідки, наприклад, погрожувати людського життя. Тому для оцінки надійності ПС іноді використовують додаткові показники, що враховують вартість (шкода) для користувача кожного відмови.
3.3 Кількісне вимірювання надійності програми
Є декілька підходів до кількісному вимірюванню надійності ...
