logo search
All_lections

2.5 Наличие трансляторов для обнаружения закладок

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