ГОСТ Р И С 0 10303-11 — 2009
в разделах 7 — 16. Данная проверка ограничена случаями, когда значения А и В могут быть выражены
литералами и*’или константами.
Уровень4 — полная проверка. Данный уровень включает в себя проверку формальной спецификации
для подтверждения ее соответствия формулировкам требований, установленных в настоящем стандарте.
Пример — В настоящем стандарте установлено, что функции должны содержать оператор воз
врата для каждой из возможных ветвей, по которымможет пойти процесс при вызове данной функции,
что и должно быть проверено.
4.1.2 Графическая форма
Формальная спецификация, представленная вформате EXPRESS-G. должна быть согласована с за
данным уровнем, как определено ниже. Формальная спецификация считается согласованной с заданным
уровнем, если все проверки, установленные для данного уровня и всех более низких уровней, верифици
рованы для данной спецификации.
Уровни проверки
Уровень 1 — проверка символов и области видимости. Данный уровень включает в себя проверку
формальной спецификациидля подтверждения ее соответствия спецификации уровня объекта или специ
фикации уровня схемы, которые определены в приложении D. разделы D.5 и D.6. соответственно. Данная
проверка предусматривает проверкуиспользования вформальной спецификации символов всоответствии с
приложением D, разделы D.2. D.3 и D.4. Формальная спецификация также должна быть проверена на
соответствие страничных ссылок и повторно объявленных атрибутов требованиям приложения D. подраз
делы D.4.1 и D.5.5. соответственно.
Уровень2 — полная проверка. Данный уровень включает в себя проверку формальной спецификации
на предмет установления в ней мест, не соответствующих требованиям уровня полного объекта или уровня
полной схемы, установленным в приложении D. а также требованиям, установленным в разделах 7 — 16.
4.2 Реализации языка EXPRESS
4.2.1 Синтаксический анализатор языка EXPRESS
Реализация синтаксического анализатора языка EXPRESS должна обеспечиватьсинтаксический раз
бор любой формальной спецификации, написанной на языке EXPRESS, в соответствии с ограничениями,
установленными в приложении Е и связанными сданной реализацией. Синтаксический анализатор языка
EXPRESS должен считаться соответствующим конкретному уровню проверки (см. 4.1.1), если он может
выполнять всетребуемыедля данного (и любого нижележащего)уровня проверки формальной специфика
ции, написанной на языке EXPRESS.
Разработчиксинтаксическогоанализатора языка EXPRESS должен точно определить все ограниче
ния, которые реализация накладывает на число и длину идентификаторов, диапазон обрабатываемых чи
сел и максимальную точность представления действительных чисел. Данные ограничения должны быть
документально офюрмлены ввиде, установленном вприложении Е. необходимомдля проведения аттеста
ционного тестирования.
4.2.2 Графический редактор
Реализация редакторадля графической нотации EXPRESS-G должна обеспечивать создание и ото
бражение формальных спецификаций, представленных в формате EXPRESS-G. всоответствии сограниче-
ниями, установленными в приложении Е и связанными с данной реализацией. Редактор EXPRESS-G дол
жен считаться соответствующим конкретному уровню проверки, если он может создавать и отображать
формальные спецификации вформате EXPRESS-G. соответствующие заданному (и любому нижележаще
му) уровню проверки.
Разработчикредактора EXPRESS-G должен точно определитьлюбые ограничения, которые реализа
ция накладывает на число и длину идентификаторов, число доступных символов на странице модели и
максимальное число страниц. Данные ограничения должны бытьдокументально оформлены в виде, уста
новленном в приложении Е, необходимом для проведения аттестационного тестирования.
5 Фундаментальные принципы
Для использования настоящего стандарта необходимо знание представленных ниже понятий.
Схема, написанная на языке EXPRESS, описывает совокупность условий, устанавливающих область
ее определения. Экземпляры объектов могут быть оценены на их принадлежность кданной области опре
деления. Если экземпляры объектов соответствуют всем условиям, то они объявляются принадлежащими
данной области определения. Если экземпляры объектов не соответствуют каким-либо из условий, то они
4