Естественные и технические науки, № 4, 2015 Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей Олехов В.Л., соискатель Макаров-Землянский Н.В., доктор технических наук, професор (Московский государственный университет им. <...> М.В. Ломоносова) ДИНАМИЧЕСКИЙ АНАЛИЗ ПРИЛОЖЕНИЙ В работе рассматриваются методы динамического анализа поведения программного обеспечения. <...> Предложены места вставки зондов и контрольных точек в исполняемом коде. <...> Задача анализа программного обеспечения (ПО) появляется в различных областях, например: сертификационные исследования программного обеспечения; тестирование, нагрузочные испытания ПО; реверс-инжиниринг ПО. <...> В статье рассматривается методы динамического анализа ПО, применяемые при сертификационных испытаниях. <...> Применяемые в отечественной практике анализа ПО методики основаны, в том числе на методиках ФСТЭК [1,2]. <...> Эти методики предписывают построение возможных маршрутов выполнения исследуемого ПО и их сверку с фактическими маршрутами. <...> Процесс построения возможных маршрутов выполняется при помощи анализа исходных текстов исследуемого ПО без их непосредственного запуска и является частью статического анализа, в противоположность динамическому анализу, во время которого производится непосредственный запуск исследуемого ПО. <...> При динамическом анализе можно выявить дополнительную информацию, которую невозможно получить при использовании статического анализа. <...> В разработанном в НИВЦ МГУ программно-аппаратном комплексе «Тест» [1,2,3] применяются следующие инструменты динамического анализа: зонды и контрольные точки. <...> Зонды Зонды (probes) - специальным образом подготовленные и внедрённые в исходный текст программы фрагменты. <...> В комплексе "Тест" используются следующие виды зондов: инициализация системы зондов; прохождение зонда № I; сохранение накопленной информации о прохождении зондов. <...> Инициализация системы <...>