Динамический анализ исходных текстов программ

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

• • контроль выполнения функциональных объектов;
• • сопоставление фактических маршрутов выполнения функциональных объектов и маршрутов, построенных по результатам статического анализа.

Контроль выполнения функциональных объектов.

С помощью встраиваемых датчиков контроля подготавливается технологическая версия исходных текстов ПО. Датчик представляет собой вызов функции с уникальным значением фактического параметра. Датчик вставляется в файлы с исходными текстами исследуемых компонентов ПО в начало и в конец каждого функционального объекта.

На основании анализа архитектуры ПО и решаемых им задач, описанных в программной документации, составляется программа испытаний ПО на стенде, а также определяется технология формирования файлов трасс.

Для динамического анализа исполняемые (загрузочные) файлы компонентов ПО заменяются исполняемыми (загрузочными) файлами лабораторной версии, полученной путем компиляции и сборки исходных текстов с внедренными вызовами дополнительных функций-датчиков, вызываемых при входе в процедуру и всех возможных выходах из нее. Вызовы датчиков внедряются в исходные тексты компонентов ПО, которые являются критичными к наличию недекларированных возможностей, с помощью анализатора исходных текстов.

Код процедуры-датчика, обеспечивающей формирование записей файлов трасс в процессе функционирования лабораторной версии ПО, разрабатывается и реализуется экспертами испытательной лаборатории совместно с Разработчиком в процессе проведения сертификационных испытаний.

В результате испытаний ПО формируются файлы трасс, содержащие последовательность уникальных значений индексов внедренных датчиков. Полученные файлы трасс обрабатываются и анализируются экспертами с целью формирования перечня фактических маршрутов выполнения функциональных объектов.

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

В случаеесли получение файлов трасс методом формирования лабораторной версии ПО невозможно, для проведения динамического анализа используются инструментальные средства диагностики, отладки и трассировки интегрированных сред разработки, интерактивного дизассемблера, например, IDA Pro, а также аппаратно-программные комплексы стенда Разработчика, используемые при автономном тестировании, отладке и заводских испытаниях ПО.

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

Сопоставление фактических маршрутов выполнения функциональных объектов и маршрутов, построенных по результатам статического анализа.

На основании анализа фактических маршрутов выполнения функциональных объектов, построенных в процессе проведения статического и динамического анализа, делается вывод об отсутствии недекларированных возможностей в исследуемом ПО.

Результаты испытаний представляются в виде деревьев вызовов функциональных объектов или графов состояний системы и оформляются в виде электронного приложения к протоколу сертификационных испытаний.