Теория и практика защиты программ


         

В то же время применение


В то же время применение на этапе отладки программ более простых методов позволяет практически ликвидировать вероятность проявления случайных ошибок после завершения отладки и представления программного обеспечения на испытания.

Область применения метода вероятностного тестирования программ определяется в основном границами применимости математического аппарата, используемого для расчета эталонных вероятностных характеристик. Для программ, реализующих вычислительные функции, задача расчета вероятности наличия в программе РПС формулируется следующим образом [ЕУ].

Дано: алгоритм А, подлежащий реализации программой П, и требуемая достоверность результатов тестирования Р0

(вероятность наличия РПС в нетестируемых ветвях программы при заданном числе испытаний).

Требуется определить.

·          последовательность законов распределения F1(x),...,Fn(x), j=1,...,g входных величин Х={xj}, при которой с вероятностью Рпр гарантируется отсутствие в тестируемой программе РПС; при этом с вероятностью Р0 такие дефекты могут иметь место в нетестированных участках программы;

·          множество контрольных точек (КТi), i=1,...,k, в которых определяется экспериментальное распределение выходных величин;

·          множество Gi

вероятностных характеристик, снимаемых с заданного множества КТ;

·          множество величин Li

таких, что если существует i, что

(½Giэкс-Giэт½>Li), то программа содержит дефекты с вероятностью Р0

или не содержит их с вероятностью Рпр.

Для решения данной задачи необходимо использовать методику, основанную на модификации метода вероятностного тестирования и позволяющую последовательно решить следующие частные задачи: определить множество информативных характеристик Gi случайных величин, снимаемых с некоторого множества КТi

исследуемой программы; определить критерии принятия решения о наличии дефектов в программе П, обеспечивающих заданную достоверность такого решения.


Содержание  Назад  Вперед