Prev Home Next

A. PISKUNOV

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

Проект завершает систему генерации документов из кода программ. В текущем проекте лексемы языка формальных спецификаций RAISE (далее RSL - RAISE SPECIFICATION LANGUAGE) преобразовываются в команды LaTex-а, что дает возможность включать более читабельную математическую версию записи формальных спецификаций в выходной pdf-документ. Ранее в системе генерации документов последовательно проверялись следующие возможности

  1. генерация текстового документа из SQL- скриптов и C- программ [ MLC ].
  2. генерация текстового документа из RSL - схем и SQL - скриптов[ HRB ].
  3. генерация html и pdf - документов из RSL - схем. [ GSAUD ], [ RSL4TF] ;
  4. генерация pdf документа из С# - программ [ SEDASPROC ].

Причем, во всех предыдущих случаях RSL cхемы вставлялись в документ в ascii-форме. Пакет для LaTex с определением символов RSL был создан В RAISE Language Group ([ RSLG ], глава 16 LaTeX support, файл rslenv.sty), При этом подразумевается, что собственно преобразование текста RSL в команды LaTex-а происходит в среде редактора EMACS. Это лишает непользователей EMACS возможности создавать документы с математическим представлением RSL спецификаций. Предлагаемый скрипт редактора SED (RSLToken.sed) позволяет заменять лексемы RSL на соответствующие команды LaTex-а в пакетном режиме. Вторым важным компонентом является make-файл для построения выходного документа в формате pdf или dvi.

PDF document


Prev Up Next