СПОСОБ И УСТРОЙСТВО КОНТРОЛЯ КОРРЕКТНОСТИ СЕМАНТИЧЕСКИХ ПРИЗНАКОВ ОБРАБАТЫВАЕМЫХ ДАННЫХ ПРИ ДИНАМИЧЕСКОЙ ВЕРИФИКАЦИИ СПЕЦИАЛЬНОГО ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ

1. Способ контроля корректности семантических признаков обрабатываемых данных при динамической верификации специального программного обеспечения, включающий проверку условий (правил) семантической корректности операций с переменными, инициированными одномерными целочисленными массивами, характеризующими размерности физических величин, отличающийся тем, что определение корректности производится с помощью перегрузки операций в соответствии с аксиоматикой операций, производимых со степенями единиц измерения в специально сформированных областях - «контрольных точках» и путем сравнения семантических векторов зависимых и независимых переменных при выполнении программы на достижимых путях вычислительного процесса.
2. Устройство контроля корректности семантических признаков обрабатываемых данных при динамической верификации специального программного обеспечения, состоящее из Контроллера постоянного запоминающего устройства (ПЗУ), Контроллера оперативного запоминающего устройства (ОЗУ), Контроллера системной шины, а так же Ядра процессора, содержащего блоки: Блок работы с прерываниями, Блок выборки инструкций, Регистр команд, Адреса операндов, Код операций (КОП), Блок формирования адреса, Блок декодирования инструкций, Счетчик команд, Микрокод, Управляющий блок, Блоки выполнения инструкций, Регистры, Блок сохранения результата, отличающееся тем, что за счет включения блоков модуля подготовки (инструментирования исходного кода): Блок лексического анализа, Блок синтаксического анализа, Блок сохранения таблицы символов, Блок генерации машинных инструкций, Блок расстановки контрольных точек и Блок генерации тестовых воздействий; блоки Сопроцессора-интерпретатора: Блок анализа исполняемого кода, Блок построения семантической модели, Блок анализа семантической корректности, Блок формирования отчета позволяет представить вычислительный процесс инвариантным методом, расширяющим возможности по обнаружению дефектов в ходе автоматизированного анализа результатов вычислений.