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

Cтраница 1

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

Семантический контроль предполагает знание функционирования системы. [2]

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

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

Эффективно обнаружить такие ошибки позволяет только семантический контроль. Реализуется он при вводе в ЭВМ из разных источников избыточной взаимосвязанной информации об объекте управления. [5]

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

Пакет имеет хорошие программные средства для осуществления семантического контроля различных данных, характеризующих задание. Их работа основывается на том, что определенные числовые данные для рассматриваемой задачи должны находиться в определенном взаимоотношении между собой, а также удовлетворять определенным соотношениям. [7]

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

В тех вариантах задания, где требуется реализовать синтаксический контроль, считать, что тексты семантически верны; при реализации семантического контроля считать, что тексты верны синтаксически. [9]

Микропроцессорные телекомплексы. [10]

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

Транслятор с алгоритмического языка решает следующие задачи [8, 31] ( рис. 4.2): лексический и синтаксический контроль входного текста; распределение памяти переменных; семантический контроль; оптимизация программы; формирование последовательности автокодных команд, операторов макроязыка или объектного кода; загрузка и редактирование связей программ. [12]

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

Внешний вид системы Кулон. [14]

При автоматизированном конструкторском проектировании можно выделить этапы обработки информации, подробно изложенные в разделе руководство пользователя каждого пакета прикладных программ, входящего в САПР: 1) ввод и синтаксический анализ информации о проектируемом объекте; 2) формирование базы данных проектирования; 3) формирование исчерпывающей информации об объекте проектирования в виде, удобном для выполнения проектных - процедур; семантический контроль ее; 4) выполнение проектных процедур; 5) занесение проектной информации в архив; 6) выпуск документации. [15]

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