Авторы языка PROVER
- Олейник Григорий Тимофеевич
к.т.н., доцент кафедры информатики и информационной безопасности ЧГТУ,
- Лизогуб Роман, выпускник ЧГТУ,
- Метель Андрей, выпускник ЧГТУ, программист 1С,
- Порецкого Михаил, выпускник ЧГТУ
- Научный руководитель - заведующий кафедрой математических и компьютерных дисциплин Рябцев Владимир Григорьевич, доктор технических наук, профессор.
Назначение МОМ PROVER
Чтобы обеспечить требуемую надежность модулей памяти персонального компьютера необходимо решить ряд задач тестового диагностирования. В числе данных задач находится задача разработки аппаратных средств, а также алгоритмов и программ тестового диагностирования ОЗУ. Для составления таких программ разработан машинно-ориентированный язык PROVER.
Для снижения материальных затрат и сроков проектирования аппаратных и программных средств диагностирования микросхем оперативной памяти разработана интерпретирующая система PROVER v3.1. Интерпретация необходима для визуализации и верификации выполнения программ тестов. Верификация обеспечивается за счет наглядного представления хода выполнения программ.
