Prev Home Next

А. ПИСКУНОВ, О. ГОЛОВКО, А. КАНЮКА

ЛИТЕРАТУРНОЕ ПРОГРАММИРОВАНИЕ: ИСПОЛЬЗОВАНИЕ ЯЗЫКА ФОРМАЛЬНЫХ СПЕЦИФИКАЦИЙ RAISE ДЛЯ ПРОЕКТИРОВАНИЯ ТЕСТОВЫХ НАБОРОВ ДАННЫХ
Статья содержит описание попытки использовать идеи Donald E. Knuth и Г.Майерса о минимизации усилий программиста при разработке и сопровождения программы на протяжении ее жизненного цикла. Статья также может служить иллюстрацией к выразительной мощности языка RAISE. Авторы не пытались использовать специализированный инструментарий вроде CWEB (для с++) от или RUP как в работе, а на небольшом примере построили систему преобразования исходных текстов программ в итоговый документ. Исходные тесты программ, в данном случае, являются спецификациями к набору тестовых файлов. Этот набор тестовых файлов будет использоваться в будущем для проверки работоспособности утилиты генерации данных для энкодеров (эти устройства управляют отображением титров на экране телевизора).
PDF document


Prev Up Next