ецифікацій, а відповідні компоненти фізичної реалізованості представлені булевими величинами:
В
Таким чином, показник фізичної реалізованості є вектор:
В
Функціональна коректність комплексу програм є вектор
В
Компоненти якого характеризують коректність програмної реалізації функцій комплексу програм щодо вимог специфікацій. Тут Q - кількість функцій, виконуваних комплексом відповідно до системними специфікаціями. Компоненти вектора можуть бути представлені булевими величинами і визначаються таким чином:
В
Функціональна коректність, окремих програмних модулів визначається аналогічним чином, відповідні компоненти можуть бути включені в показник функціональної коректності.
Показник часу функціонування комплексу програм включає середні часи функціонування основних режимів роботи комплексу {Т т } і середні часи функціонування окремих програмних модулів і їх сукупностей
В
Узгодженість з управління включає узгодженість з управління комплексу програм і узгодженість по управлінню його програмних модулів.
Узгодженість з управління комплексу програм визначає коректність реалізації основних послідовностей програмних модулів щодо вимог специфікацій і коректність безлічі сполучень між парами модулів. Вона може бути охарактеризована булевими величинами виходячи з таких умов:
В
або
В
Помилки в сполученнях модулів - y j - зазвичай зводяться до наступних: відсутня виклик необхідного модуля; викликається модуль, що не підлягає виконанню; управління передається в точку, не призначену для повернення управління.
Узгодженість з управління програмних модулів може бути оцінена відношенням числа перевірених маршрутів до загального числа маршрутів модуля.
Узгодженість за інформацією включає узгодженість за інформацією комплексу програм і узгодженість за інформацією програмних модулів.
Узгодженість за інформацією комплексу програм визначає коректність зв'язків між програмними модулями і може бути оцінена відношенням числа перевірених маршрутів обробки інформації до загального числа маршрутів, реалізують інформаційну зв'язок щодо k-му інформаційному елементу.
Узгодженість за інформацією програмних модулів визначає коректність інформаційних зв'язків по внутрішнім інформаційним елементам і оцінюється аналогічно узгодженості за інформацією комплексу програм.
Показник, характеризує надійність комплексу програм, може бути описаний вектором, компонентами якого є: О - загальне кількість виявлених помилок, О» - Інтенсивність появи невиявлених помилок, Р - ймовірність безвідмовної роботи протягом заданого інтервалу часу. Точне визначення кількості помилок в програмі і ймовірностей появи помилок різних типів прямими методами вимірювань отримати неможливо, існують лише непрямі шляху статистичної оцінки цих величин в процесі налагодження і дослідної експлуатації комплексу програм. Ці оцінки засновані на математичних моделях, які передбачають жорстку кореляцію наведених вище компонентів вектора надійності. Надежностние оцінки добре узгоджуються зі статистикою тестування програм і використовуються для передбачення ймовірності безвідмовної роботи комплексу програм заданий проміжок часу:
В
Показник, характеризує ефективність системи захисту, є вектор
В
компонентами якого є: Р н.д - вірогідність несанкціонованого доступу до модулям та інформаційним елементам комплексу програм; З н.д - втрати від "злому" системи захисту.
Показник, характеризує ефективність засобів відновлення, є вектор
В
компонентами якого є До г - коефіцієнт готовності системи; Пѓ - ймовірність збереження інформації в системі; T р.з - середній час рішення задачі; P р.з - ймовірність успішного вирішення завдання. Перераховані компоненти використовуються для оцінки ефективності оперативного (К г , Пѓ) та відновного (Т р.з , Р р.з ) резервування програмних модулів і інформаційних масивів.
Показник ефективності комплексу програм, отриманого в процесі системної налагодження, є вектор
В
Компонентами якого є: З пр - витрати на проектування комплексу програм; З п.о - витрати на програмну налагодження; З С.О - витрати на системну налагодження. У рамках розробленої методології витрати на проведення системної налагодження визначаться виразом
В
де С j - витрати на проведення j-го етапу системної налагодження; З н.о (Р н.о ) - Втрати від невиявлених помилок; Р н.о - ймовірність появи невиявленої помилки після проведення системної налагодження.
В
Рис. 1
Таким чином, якість комплексу програм, одержуваного в процесі системної налаго...
