Введение

   ВВЕДЕНИЕ

Для снижения материальных затрат и сроков проектирования аппаратных и программных средств диагностирования микросхем оперативной памяти разработана интерпретирующая система PROVER v3.1.
Интерпретация необходима для визуализации и верификации выполнения программ тестов. Верификация обеспечивается за счет наглядного представления хода выполнения программ.
Созданная система разработана на объектно-ориентированном языке программирования Object Pascal 7.1 и работает под управлением Windows. При помощи интерпретирующей системы PROVER v3.1 осуществляется отладка программ тестов для оперативной памяти емкостью 256 байт. Элементы памяти представляют собой массив размером 16x16, в котором каждый байт изображен прямоугольной ячейкой. Команды записи и считывания изображаються различными цветами. Также выводится значение, записанное в каждую ячейку. Для удобства восприятия информации пользователь может изменить скорость заполнения ячейки при записи или считывании.
Дальнейшее увеличение емкости диагностируемой памяти при отладке программ тестов не целесообразно, так как при этом возрастает время интерпретации программы теста. Кроме того, данной области памяти, выделенной из главной памяти компьютера, вполне достаточно для выявления зависимости используемых в программе переменных от емкости диагностируемой памяти.

Интерпретирующая система PROVER v3.1 распространяется по лицензии GNU. Систему разработал Метеля Андрей Петрович.