СПОСОБ КОНТРОЛЯ НЕИЗМЕННОСТИ АЛГОРИТМА ФУНКЦИОНИРОВАНИЯ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ, ЗАЛОЖЕННОГО В ФАЙЛЫ ЕГО ИСХОДНЫХ ТЕКСТОВ, В ПРОЦЕССЕ ИХ АНАЛИЗА

Способ контроля неизменности алгоритма функционирования программного обеспечения, заложенного в файлы его исходных текстов, в процессе их анализа, заключающийся в формировании и сравнении контрольного и текущего образов i-ого файла исходных текстов программного обеспечения, при этом i=1…I, где I - количество файлов исходных текстов, отличающийся тем, что контрольный и текущий образы i-ого файла исходных текстов программного обеспечения формируют в виде сети Петри для заложенного в них алгоритма функционирования, удаляют из сформированного текущего образа i-го файла в виде сети Петри все вставленные в процессе анализа исходных текстов программного обеспечения специальные программные маркеры файлов, процедур и функций.