This page is hosted for free by zzz.com.ua, if you are owner of this page, you can remove this message and gain access to many additional features by upgrading your hosting to PRO or VIP for just 8.33 UAH.
Do you want to support owner of this site? Click here and buy hosting plan!
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