Безопасность программного обеспечения компьютерных систем


Методы обеспечения надежности программ для контроля их технологической безопасности - часть 4


  1. Определение множества E входных массивов.
  2. Выделение в E подмножеств Gj, связанных с отдельными ветвями программы.
  3. Определение для каждого Gj в предполагаемых условиях функционирования значений вероятности Pj.
  4. Определение подмножества Gj для каждого входного набора данных, используемого в контрольных примерах.
  5. Выявление проверенных пар и непроверенных в ходе испытаний сегментов и пар сегментов.
  6. Определение для каждого j величины P'=ajPj, где aj определяется в соответствии со следующими правилами .

    • aj=0,99, если подмножество Gj включает более одного контрольного примера;

    • aj=0,95, если подмножество Gj включает ровно один контрольный пример;

    • aj=0,90, если подмножество Gj не включает ни одного контрольного примера, но в процессе проверки программы были найдены все сегменты и все сегментные пары ветви Lj;

    • aj=0,80, если в ходе испытаний были опробованы все сегменты, но не все сегментные пары;

    • aj=0,80-0,20m, если m сегментов (1 m 4) ветви Lj не были опробованы в ходе испытаний;

    • aj=0, если более чем 4 сегмента не были опробованы в процессе испытаний.

  7. Вычисление грубой оценки R" осуществляется по формуле , где k представляет собой общее число ветвей программы.

Приведенные выше параметры aj были определены интуитивно на основе анализа теоретических результатов исследования и экспериментальных результатов тестирования различных программ. Для того, чтобы получить более точные оценки величины R необходимо провести измерения с использованием подходящего метода формирования выборки.

Оценка технологической безопасности ПО осуществляется посредством проверки условия R" S", где S" установленная нормативными документами граница безопасности ПО. Отметим также, что для систем критических приложений такая граница должна быть достаточно высокой, то есть стремится к 1.




Начало  Назад  Вперед