Семантический контроль

Cтраница 2

Семантический контроль обеспечивает выявление ошибок записи программы на алгоритмическом языке с точки зрения правил истолкования синтаксических конструкций, позволяющих однозначно воспроизводить процесс обработки информации. [16]

Здесь особую роль имеет семантический контроль, который в идеале мог быть дополнен информационно - соответствующей подсистемой по конкретному профилю подготовки данных. В периферийных системах семантический контроль адресуется непосредственно автору, который может самостоятельно и незамедлительно реагировать на информацию об ошибках. [17]

В блочных трансляторах применяется только программный метод, соответствующий этому типу трансляторов. В синтаксически управляемых трансляторах семантический контроль выполняется теми же способами, что и синтаксический анализ текста ( см. § 5.3), но с применением либо дополнительных просмотров, либо расширением правил. [18]

Если обнаруживается противоречие, редактор БЗ помогает ЛПР разрешить конфликт, объясняя причины противоречий и описывая способы их устранения. Чтобы выполнить глубокий, а не поверхностный семантический контроль, редактор БЗ должен понять, что на самом деле означают разнообразные формы фактов, правил и данных. [19]

Указанная схема в конечном итоге обеспечивает необходимое качество введенных в ЕС ЭВМ данных, но она отличается двойным расходованием перфокарт и машинных ресурсов, а также избыточной трудоемкостью, в частности, из-за резкого увеличения числа ошибок при двойной перфорации данных и их двойного ввода в ЭВМ. Преимуществом третьей схемы является возможность включения в нее элементов семантического контроля в процессе ввода данных в ЭВМ. Но в общем эту схему точно так же, как и предыдущие две, характеризуют низкая надежность технологического оборудования и длительный производственный цикл, связанный с многочисленными передачами носителей информации с участка на участок. [20]

С точки зрения программного обеспечения необходимо применить аппарат синтаксического ( точнее терминологического) и семантического контроля, а также средства, обеспечивающие редактирование текста и внесение в него изменений. Вопрос применения таких средств на практике существенно облегчается в случае использования читающих автоматов и диалоговых средств ввода и редактирования информации. [21]

Рамки штатного контроля, примененного в СЦПД, в основном обусловливаются языком описания макетов, который является одним из компонентов системы. Что делать пользователю, если по условиям конкретной задачи нужно усилить синтаксический контроль, ввести семантический контроль или на уровне ввода информации произвести вычислительную обработку введенных данных. [22]

Структура отладочной системы. [23]

Важной составной частью пакета является система откладки ( рис. VI-4), осуществляющая синтаксический и семантический контроль входного задания, внесение необходимых изменений, а также получение исправленных вариантов программ на машинном носителе и в виде листингов. Синтаксический контроль заключается в проверке структуры таблиц заданий и значений элементов в этих таблицах на соответствие требованиям, предъявляемым к таблицам. Семантический контроль осуществляется путем моделирования работы программ обработки с контрольной информацией и сравнения полученных результатов с ожидаемыми. [24]

Определяются составляющие информационной модели, их взаимосвязь и последовательность разработки. Строится технологический маршрут разработки, выделяются отдельные этапы ( фазы) процесса, устанавливаются структура и содержание исходных и конечных данных каждого этапа. Выполняются формальные процедуры семантического контроля выходных данных каждого этапа для отладки информационной модели и контроля процесса разработки проекта. [25]

Однако, если программа благополучно проходит этап трансляции, то это не является указанием на отсутствие ошибок. Поэтому программа, которая транслируется до конца, должна пройти семантический контроль для того, чтобы убедиться в том, что она решает именно ту задачу, которую ей пред-назначено решать. В атом заключается проблема доказательства правильности программ. [26]

Генератор программ формирования и вывода отчетов предназначен для получения рабочих программ обработки файлов вывода и формирования и вывода на печать отчетов заданного состава и формы. Источником информации для генератора являются элементы системного файла Описание отчета и Описание структуры элемента вывода. Генератор построен по блочному принципу и включает в себя блоки формирования и семантического контроля управляющей таблицы генератора, блок генерации машинных описаний и рабочих полей, блок генерации рабочей программы. Рабочая программа, получаемая генератором, позволяет выполнять следующие функции: ввод информации с любого машинного носителя; редактирование информации из внутренних форматов представления данных в ЕС ЭВМ в вид, удо-бный для использования ее человеком: накопление и вывод в отчет итоговых сумм по различным уровням ключевых реквизитов; выполнение простейших операций ( сложение, вычитание) над реквизитами, участвующими в формировании одного элемента вывода в отчете; включение в отчет любой постоянной информации; формирование файлов отчетов и вывод их на соответствующее устройство. [27]

Как и прежде, авторы придают особое значение в определенных условиях верификации как одной из основных процедур контроля. Однако не меньшее внимание уделяется возможности использования и других способов контроля, включая и элементы семантического контроля. [28]

При втором подходе в набор операторов алгоритмического языка ( Кобола или ПЛ / 1) включаются операторы ЯМД. В этом случае исходная программа сначала проходит этап предтранс-ляции, на котором операторы ЯМД заменяются эквивалентными группами операторов базового языка, после чего выполняется трансляция программы с базового языка. На этапе предтрансляции выполняется синтаксический контроль операторов ЯМД, а в тех СУБД, где предтранслятор использует таблицы подсхемы, - и семантический контроль. [29]

В СЦПД возможность выполнения семантического контроля реализуется путем включения подпрограмм пользователя. Причем процедура подключения подпрограммы семантического ( логического) контроля обязательна. Поэтому проектант задачи должен заранее продумать дополнительные способы контроля и актуализации данных и включение соответствующей подпрограммы или, напротив, должен сообщить системе, что дополнительного контроля не будет. Если проектант все-таки решил подключить свою подпрограмму семантического контроля, он должен четко оговорить в инструкции для оператора его действия в ответ на сигналы об ошибках. [30]

Страницы: 1 2 3