Информационные системы и технологии АВТОМАТИЗАЦИЯ И УПРАВЛЕНИЕ ТЕХНОЛОГИЧЕСКИМИ ПРОЦЕССАМИ И ПРОИЗВОДСТВАМИ УДК 658.012.11 О.В. ЗАХАРОВА ВЕРИФИКАЦИЯ ПРОГРАММНОЙ СИСТЕМЫ МОДЕЛИРОВАНИЯ АЛУ НЕПОСРЕДСТВЕННОГО ФОРМИРОВАНИЯ В ПРОЦЕССАХ ПРОЕКТИРОВАНИЯ В статье предложены программные инструментальные средства для верификации АЛУ непосредственного формирования (автоматной таблицы, математических моделей АЛУ непосредственного формирования, ядра АЛУ непосредственного формирования). <...> Предложены методики верификации строк автоматных таблиц вычислительных операций, логических форм и структуры ядра АЛУ непосредственного формирования. <...> Любая программная система должна включать в себя верификацию как один из этапов разработки программного обеспечения, направленный на подтверждение того, что разработанные программные инструментальные средства соответствуют предъявленным к ним требованиям и функционируют правильно: 1) разработанные инструментальные средства моделирования АЛУ непосредственного формирования [1-3], исходя из методики моделирования [3, 4], включают три важных этапа: 1) построение автоматных таблиц вычислительных операций (рис. <...> 2); 3) моделирование структуры АЛУ непосредственного формирования (АЛУ НФ) (рис. <...> В программной системе моделирования АЛУ НФ естественно присутствуют проверки на правильность функционирования. <...> Однако верификация при проектировании проявляет двоякий смысл: 1) как этап проверки правильности функционирования разработанной программной системы; 2) как программный инструментарий для проектирования вычислительных средств, который фактически, с одной стороны, должен обеспечить требуемые показатели эффективности, с другой стороны, должен обеспечить комфортные условия проведения процесса проектирования. <...> Рисунок 1 – Инструментальные средства построения и проверки автоматных таблиц вычислительных операций №4(84)2014 51 Научно-технический журнал Рисунок 3 – Инструментальные <...>