Cтраница 3
Сюда относятся переменные, выполняющие роль переключателей, счетчиков, признаков. При этом имена всех таких переменных будем начинать с символа L, что обеспечит уменьшение опасности дублирования имен переменных и обрабатываемых данных, а при длине переменных 15 бит присвоение выбранного типа по умолчанию. С точки зрения конструирования имен эти переменные могут быть разделены на следующие группы: переменные, локализованные в управляющих модулях; переменные локализованные в обрабатывающих модулях и не зависящие от работы с конкретными входными или выходными массивами; переменные, локализованные в обрабатывающих модулях и связанные с конкретными массивами. Первая группа переменных должна иметь имена, состоящие из трех символов: L ( признак переменной), знак подчеркивания ( признак принадлежности управляющему модулю), отличительный символ переменной. Знак подчеркивания не используется в других именах, что исключает ошибочное дублирование имен при написании управляющих модулей. [31]
На основании приведенного описания ясно, что в системе ПОЭТ реализованы основные функции, выполняемые участником в процессе общения на ограниченном русском языке. Указанное обстоятельство позволяет рассматривать систему ПОЭТ как базовую систему, предназначенную для генерации из ее модулей конфигураций для конкретных применений. Выбор той или иной конфигурации системы ПОЭТ во многом зависит от назначения АСУ, использующей ПОЭТ, и задач, которые опа решает. Для подобных АСУ система ПОЭТ может быть использована ( и используется) в следующих конфигурациях: 1) автоматическое кодирование запросов ( АКЗ) в фактографической информационно-поисковой системе ( ИПС); 2) автоматическое индексирование запросов ( АИЗ) в фактографической ИПС; 3) автоматическое индексирование запросов и документов ( АИЗД) в документально-фактографической ИПС. В варианте АКЗ используются следующие обрабатывающие модули ПОЭТ: морфологический анализ, иредсиптаксис, работа со словарем. При этом в словаре хранятся основы слов, словосочетания и прпиисанная пм морфологическая информация. В варианте АИЗ и АИЗД используются следующие модули: МА, предсинтаксис, СИА и, возможно, элементы СЕА. [32]
Все остальные ( обрабатывающие) модули заменяются имитаторами. Благодаря принятым соглашениям о единообразном оформлении модулей появилась возможность разработки несложного унифицированного имитатора, легко настраиваемого на замену любой процедуры семантической обработки. На основании функционального теста, расширенного для проверки количественных характеристик данных, содержащихся в исходном описании, и логики работы управляющих модулей составляются таблицы тестирования для синхронизации работы имитаторов. После проверки правильности управляющих модулей выполняется последовательное подключение обрабатывающих модулей вместо соответствующих имитаторов. При этом осуществляется окончательная проверка правильности настройки обрабатываемых модулей и написания вычислительных операций. Роль среды для проверяемых модулей играют проверенные модули верхнего уровня ( управляющие) и смежные обрабатывающие модули, имитаторы непроверенных модулей и полный тест данных. [33]
При проверке сверху вниз в первую очередь проверяется модуль самого верхнего уровня, а все модули, к которым он обращается, имитируются. Если этим модулям передается только параметрическая информация ( что означает, что модуль верхнего уровня не имеет дело с обрабатываемыми программой данными), то имитация существенно упрощается. Уже отсюда видно, какую роль для проверки и отладки играет продуманное проектирование. Когда модуль верхнего уровня проверен и отлажен, то он начинает играть роль программной среды для модулей следующего уровня, но не имитируемой среды, а реальной. Из модулей следующего уровня сначала проверяются те, работа которых не связана с непосредственной обработкой данных, или те, которые работают непосредственно с исходными данными, а потом проверяются модули, работающие с данными, полученными в результате работы с исходными данными других, уже проверенных модулей. Каждый проверенный модуль включается в среду, в которой проверяются последующие модули. В тот момент, когда проверен последний модуль нижнего уровня, проверенной оказывается и вся программа. Управляющие модули являются наиболее оригинальной, уникальной частью программы. В то же время для их проверки не требуются сами обрабатываемые данные, и имитация среды реализуется достаточно просто. Каждому обрабатывающему модулю соответствует свой имитатор, поэтому замена имитаторов реальными модулями происходит постепенно, не нарушая при этом программных связей и не требуя дополнительной работы по корректировке программ. [34]