Контроль программных процессов с использованием профилирования

• Автор: Егоров, Валерий Юрьевич
• Шифр специальности: 05.13.13, 05.13.11
• Научная степень: Кандидатская
• Год защиты: 2000
• Место защиты: Пенза
• Количество страниц: 154 с. : ил.

Метод контроля программных процессов. Задачи и методы профилирования. Анализ возможности разработки метода динамического профилирования для программного интерфейса Vi. Идеальный профиль программы . Составляющие профиля . Реальный профиль программы. Разбиение программы на временные интервалы. Получение эталонного профиля программы. Выводы по главе. Исключение влияния аппаратных прерываний. Исключение влияния регенерации динамической памяти. Критерии принятия решения при выявлении закладок. Программы для практического определения погрешности и диапазона вариации. Выводы по главе. Построение автомата временных интервалов. Разложение действий по составляющим. Укрупненный алгоритм работы программыанализатора. Получение гистограммы распределения отсчетов по адресной области программного процесса. Количественные оценки. Выводы по главе. Тексты программных модулей. Алфавитный указатель. Заключение о внедрении результатов диссертационного исследования 3
необходимо иметь инструменты слежения за программой профилирования процесса выполнения программы, а также критерии, по которым можно было бы отличить работу закладки от выполнения остального кода.


Явно определнное множество нелигитимных элементов, является, по своей сути, обобщнной моделью всех разрушающих воздействий на систему. Выявление любой комбинации составляющих РПВ во время работы программы должно повлечь за собой
идентификацию самого разрушающего воздействия, с последующим исключением его из ИС. Другим методом выявления разрушающих воздействий на ИС является метод, обратный рассмотренному. Согласно этому методу, необходимо определить совокупное множество легитимных воздействий конкретного программного процесса на систему. Любое воздействие, не входящее в указанное множество, следует считать неприемлемым для ИС, идентифицируя тем самым РПВ. Дальнейший анализ позволяет либо отнести его к группе легитимных воздействий, либо однозначно установить наличие РПВ. В вышеприведнных рассуждениях информационная система представлена в очень упрощнном виде. На самом деле все протекающие вычислительные процессы, включая операционную систему, взаимосвязаны, т. ИС. Каждое следующее состояние выполняющегося программного процесса является следствием его предыдущего состояния, а также состояния ИС. Можно представить три метода решения задачи контроля программных процессов. Зная предыдущее состояние программного процесса, состояние ИС, и имея в распоряжении историю алгоритма работы программы, можно определить, каким будет следующее состояние процесса и И С в целом. Исходя из истории функционирования ПП, можно разрешить, либо запретить его дальнейшее выполнение логикоаналитические методы.