20 Лет Prover 1996-2016
Home | Sign Up | Log In

Введение


   ВВЕДЕНИЕ

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

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

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

Log In

Search

Calendar

«  September 2018  »
SuMoTuWeThFrSa
      1
2345678
9101112131415
16171819202122
23242526272829
30

Statistics


Total online: 1
Guests: 1
Users: 0
Copyright MyCorp © 2018 | Create a free website with uCoz