Программные продукты и системы

Исходная версия системы INTEG включала в себя графическую оболочку Integ, графический редактор шаблонов Guiteg, генератор случайных тестов Tergen, симулятор целевого процессора VMIPS (эталонная модель), симулятор RTL-модели, написанной на языке Verilog, программу сравнения результатов симуляторов.

Чтобы иметь представление о составных частях системы и ее работе в целом, остановимся подробнее на управляющей оболочке. Оболочка Integ представляет собой графический пользовательский интерфейс для работы с программами создания тестов, их выполнения и анализа результатов. Программа оболочки Integ.tcl написана на Tcl/Tk/Tix и должна выполняться на Linux, как и остальные компоненты INTEG (система непосредственно тестировалась на Red Hat Linux 7.3 при установленных пакетах Tcl/Tk – 8.3, Tix – 8.2).

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

Подробное описание дается в статье «Развитие системы стохастического тестирования микропроцессоров INTEG», авторы: Грибков И.В., Захаров А.В., Коганов М.А., Кольцов П.П., Котович Н.В., Кравченко А.А., Куцаев А.С., Осипов А.С., Хисамбеев И.Ш. (Научно-исследовательский институт системных исследований РАН, г. Москва).