DRAKON.SU
https://forum.drakon.su/

Тестирование ИС Дракон
https://forum.drakon.su/viewtopic.php?f=144&t=2689
Страница 4 из 14

Автор:  Петр Приклонский [ Вторник, 16 Ноябрь, 2010 13:59 ]
Заголовок сообщения:  Re: Тестирование и.с. Drakon

Геннадий Тышов писал(а):
Выпуск и.с. Drakon от 12.11.2010

Геннадий Николаевич!

В редакции от 12.11.2010 в файле *.drt тип элемента "узел" перескочил с 3 на 36. В этом есть насущная необходимость ? Хотелось бы, чтобы старые элементы не меняли своих идентификационных номеров.

Автор:  ==== [ Вторник, 16 Ноябрь, 2010 20:18 ]
Заголовок сообщения:  Re: Тестирование и.с. Drakon

Выпуск и.с. Drakon от 16.11.2010
Для тестирования.
Прошу выдать отзывы, замечания и предложения по программе.

Вложение:
DRAKON_2010_11_17.rar
Drakon.exe - программа
DRT_File.pas - структура drt файла, процедуры чтения и записи.

Схема "Дерево" дополнена в части введения GOTO-заменителей (по В.Д. Паронджанову).
Пункты контекстного меню точки ввода - ввести иконы "ЦиклПродолжить", "ЦиклПрервать", "Конец"; - "Лиану присоединить", "Лиану пересадить", "Лиану оборвать". Соответственно для Continue, Break, Exit (из схемы), Goto, Goto в другую точку, выход из схемы.

Выполняются в одной из ветвей иконы "Если", "ЦиклПродолжить" и "ЦиклПрервать" внутри цикла.

Петр Приклонский писал(а):
В редакции от 12.11.2010 в файле *.drt тип элемента "узел" перескочил с 3 на 36. В этом есть насущная необходимость ? Хотелось бы, чтобы старые элементы не меняли своих идентификационных номеров.
Да, в списке взамен иконы "Узел" пришлось поставить схему "Дерево". Обеспечена загрузка файлов созданных до 12.11.2010.

Автор:  ==== [ Среда, 17 Ноябрь, 2010 19:42 ]
Заголовок сообщения:  Re: Тестирование и.с. Drakon

Петр Приклонский

В http://forum.oberoncore.ru/viewtopic.php?p=54009#p54009 заменен файл DRT_File.pas.
Выполнено уточнение:
строка № 38 заменена на
Код:
    Tip:drPrt..drDrv;// Тип
строка № 53 заменена на
Код:
    Tip:elZgl..elBreak;  // Тип

Автор:  Петр Приклонский [ Четверг, 18 Ноябрь, 2010 18:25 ]
Заголовок сообщения:  Re: Тестирование и.с. Drakon

Геннадий Николаевич!

Спасибо, разобрался.

Просто у меня идет большая тема. Подключается народ. Пытаюсь убедить людей работать на ДРАКОНЕ с применением "Транслятора...", а при изменении Типов пролетают "косяки" транслятора. Публика к этому относиться с большим недовольством... А жалко!

Самому пришлось исправлять проект начала этого года, "нарисованный" на ДРАКОНЕ. Получил огромное удовольствие... Вместо недели, проблема решилась за день. (С учетом перепрошивки небольшой партии изделий...).

Автор:  ==== [ Четверг, 18 Ноябрь, 2010 21:20 ]
Заголовок сообщения:  Re: Тестирование и.с. Drakon

Петр Приклонский

Сожалею о созданной проблеме.
На форуме, редко пишется о реальном применении языка Дракон.

Что, Вы можете сказать о модели конечного автомата для программирования, предложенной в и.с. Drakon?

Автор:  Петр Приклонский [ Пятница, 19 Ноябрь, 2010 16:35 ]
Заголовок сообщения:  Re: Тестирование и.с. Drakon

Геннадий Тышов писал(а):
Что, Вы можете сказать о модели конечного автомата для программирования, предложенной в и.с. Drakon?


К сожалению я "никакой" специалист по теории программирования.
Одно могу сказать: и.с. Drakon дает возможность наглядно представить ход выполнения задачи (алгоритм), исключает много рутинных операций при коррекции и тестировани алгоритма (именно алгоритма, а не текста!), значительно облегчает общение внутри команды, участвующей в разработке изделия ( не каждый "железник" воспринимает конструкцию if - else или do - while, но, преимущественно, каждый понимает что "действие" повторяется до тех пор пока условие "разность частот меньше дельты" выполниться (станет "да").
Но об этом уже говорилось не раз.
В переспективе хотелось бы иметь отладочный инструмент, базирующийся на графическом представлении ("Дракон-схеме"), но это мечта...

Автор:  ==== [ Воскресенье, 21 Ноябрь, 2010 03:39 ]
Заголовок сообщения:  Re: Тестирование и.с. Drakon

Выпуск и.с. Drakon от 21.11.2010
Для тестирования.
Прошу выдать отзывы, замечания и предложения по программе.

Скачиваний: 45

Устранены недоработки логики видимости и актуальности контекстного меню точек ввода. Причина: развитие и.с..

Автор:  С. Тарасенко [ Понедельник, 22 Ноябрь, 2010 16:06 ]
Заголовок сообщения:  Re: Тестирование и.с. Drakon

Геннадий Тышов писал(а):
Выпуск и.с. Drakon от 21.11.2010


Простите, что вмешиваюсь с мелочами (теорию схемы "Дерево" не изучал), но мне не нравится такое построение:

Вложение:
Безымянный.gif
Безымянный.gif [ 2.31 КБ | Просмотров: 17370 ]


Лишние изломы линий давят на глаз. Может, логичнее так:

Вложения:
Безымянный1.gif
Безымянный1.gif [ 2.4 КБ | Просмотров: 17370 ]

Автор:  ==== [ Понедельник, 22 Ноябрь, 2010 19:50 ]
Заголовок сообщения:  Re: Тестирование и.с. Drakon

С. Тарасенко писал(а):
Простите, что вмешиваюсь с мелочами (теорию схемы "Дерево" не изучал), но мне не нравится такое построение:...Лишние изломы линий давят на глаз. Может, логичнее так:
Станислав, это у вас сложился стереотип. Стереотипы иногда надо ломать, оправдано для схемы "Дерево" при образовании цикла за счет перехода, т.к. не нарушается начертание блока "Если".

Автор:  Владислав Жаринов [ Вторник, 23 Ноябрь, 2010 06:06 ]
Заголовок сообщения:  Re: Тестирование и.с. Drakon

С. Тарасенко писал(а):
Геннадий Тышов писал(а):
Выпуск и.с. Drakon от 21.11.2010


Простите, что вмешиваюсь с мелочами (теорию схемы "Дерево" не изучал), но мне не нравится такое построение:

Лишние изломы линий давят на глаз. Может, логичнее так:

Можно и так... всё равно глазу обратно по тому же маршруту плеча развилки возвращаться, чтобы выйти на следующее условие :)

Автор:  Владислав Жаринов [ Суббота, 27 Ноябрь, 2010 18:30 ]
Заголовок сообщения:  Re: Тестирование и.с. Drakon

Петр Приклонский в viewtopic.php?p=54100#p54100 писал(а):
и.с. Drakon... значительно облегчает общение внутри команды, участвующей в разработке изделия

Как можно понять, Вы использовали данную среду для поддержки работы коллектива разработчиков. А пробовали применять для взаимодействия между разработчиками и "предметниками" (заказчиками/пользователями изделий - не специалистами в "железе" и программировании)? Какие плюсы и минусы при этом выявились? Если не пробовали, то что останавливает? Планируется ли это на будущее?

Автор:  Петр Приклонский [ Суббота, 27 Ноябрь, 2010 19:40 ]
Заголовок сообщения:  Re: Тестирование и.с. Drakon

Драконограф писал(а):
А пробовали применять для взаимодействия между разработчиками и "предметниками" (заказчиками/пользователями изделий - не специалистами в "железе" и программировании)?

Наши изделия применяются, большей частью, в энергетике. Поэтому они попадают в руки специалистов.
Но, в развитии Вашей мысли, мне приходит в голову другая...
Нам приходится выпускать много текстовых документов описательно-рекомендательного характера (технические условия, методики поверки, руководства по эксплуатации, описания протоколов и пр. и пр.) Можно предположить, что применение ДРАКОН-схем облегчило бы читаемость и понимаемость этих документов. Правда, это связано с преодолением консерватизма нормативно-контролирующих органов (от мелких до великих), ГОСТов и др.

Автор:  ==== [ Суббота, 27 Ноябрь, 2010 20:20 ]
Заголовок сообщения:  Re: Тестирование и.с. Drakon

Петр Приклонский

Какое Ваше мнение о примененных в и.с. Draкон расширенной схеме "Гном" и текстовых приложениях?

Автор:  Петр Приклонский [ Суббота, 27 Ноябрь, 2010 22:47 ]
Заголовок сообщения:  Re: Тестирование и.с. Drakon

Геннадий Тышов писал(а):
Какое Ваше мнение о примененных в и.с. Draкон расширенной схеме "Гном" и текстовых приложениях?

Схему "Гном" применяю для сборки файлов и для заголовочных файлов. Если чесно, особой наглядности она не дает, но как это поправить - не знаю.
Текстовые приложения - вещь очень полезная. Они позволяют вносить инвариантность изображения процессов в ДРАКОН-схеме.

Автор:  Владислав Жаринов [ Воскресенье, 28 Ноябрь, 2010 05:59 ]
Заголовок сообщения:  Re: Тестирование и.с. Drakon

Петр Приклонский писал(а):
Драконограф писал(а):
А пробовали применять для взаимодействия между разработчиками и "предметниками" (заказчиками/пользователями изделий - не специалистами в "железе" и программировании)?

Наши изделия применяются, большей частью, в энергетике. Поэтому они попадают в руки специалистов.
Но, в развитии Вашей мысли, мне приходит в голову другая...
Нам приходится выпускать много текстовых документов описательно-рекомендательного характера (технические условия, методики поверки, руководства по эксплуатации, описания протоколов и пр. и пр.) Можно предположить, что применение ДРАКОН-схем облегчило бы читаемость и понимаемость этих документов. Правда, это связано с преодолением консерватизма нормативно-контролирующих органов (от мелких до великих), ГОСТов и др.

Да, тут вряд ли так легко можно поступать, как иногда воозможно в образовании - читать своё, а отчитываться за стандартное :)
Специалист-заказчик в энергетике ли, в другой "предметке" в общем случае не обязательно изначально разбирается в содержании разработки - в Вашем частном случае просто так сложилось, значит :) А для общего случая, конечно, нужно заботиться о большем удобстве и языков, и среды их поддержки...
Касательно того, как облегчить читаемость документов за счёт визуализации - мои предложения можно посмотреть в этом примере, их обоснование в этом сообщении. Прошу анализировать и критиковать.

Да, и если в целом улучшать понимаемость описаний - то комплексно, о чём говорил в этом сообщении. Конкретно протоколы, чтобы были работоспособными, сейчас представляют автоматно и затем программируют на языке РВ для верификации - примеры можно найти в выдержке, вложенной в это соообщение. И автоматы можно представить граф-схемами, и язык верификации как шампур-программу (только опять-таки комплексно, а не только в импер-части). А поведение протокола изучать уже вне среды визуализации - в системе инженерной проработки описаний (той же Spin).

Автор:  Владислав Жаринов [ Воскресенье, 28 Ноябрь, 2010 06:13 ]
Заголовок сообщения:  Re: Тестирование и.с. Drakon

Петр Приклонский писал(а):
Геннадий Тышов писал(а):
Какое Ваше мнение о примененных в и.с. Draкон расширенной схеме "Гном" и текстовых приложениях?

Схему "Гном" применяю для сборки файлов и для заголовочных файлов. Если чесно, особой наглядности она не дает, но как это поправить - не знаю.
Текстовые приложения - вещь очень полезная. Они позволяют вносить инвариантность изображения процессов в ДРАКОН-схеме.

Как поправить - считаю, визуализировать принцип организации моделей, заложенный в реальном языке формального описания деятельности. Предложения см. это определение, обоснование на конференции - также в этом сообщении.
Предложения по сборке "традиционных" (текстово-базируемых) документов, кстати, там же. Кое-что о тексте и вообще неструктурированной составляющей описания также в этом сообщении.

Чтобы вносить инвариантность неформальную, "на словах" - полагаю, достаточно приложений одной категории ("управленческих"). Остальное вижу смысл отражать вариантами визуализации - на примерах можно посмотреть здесь, а также здесь, обоснование - в этом пункте требований к среде (включая механизм реализации сборки традиционных документов). Правда, среду по этим требованиям надо делать заново... и быть может, на более гарантоспособном языке, чем "сильно объектный" Дельфи...

Автор:  С. Тарасенко [ Суббота, 04 Декабрь, 2010 15:29 ]
Заголовок сообщения:  Re: Тестирование и.с. Drakon

Петр Приклонский писал(а):
В переспективе хотелось бы иметь отладочный инструмент, базирующийся на графическом представлении ("Дракон-схеме"), но это мечта...


Мечты иногда сбываются. Когда-то и конверсия была мечтой, а сейчас сразу три автора.

Скажу больше. Дракон-отладчик необходим, т.к. именно в отладке Дракон одерживает ещё один выигрыш: ведь всё движение идёт строго сверху вниз (кроме циклов), и нет такого, что после слова "Select Case" экран убегает чёрти-куда в поисках подходящего "case", полностью разрушая структуризацию.

Просьба к Геннадию Николаевичу. Нужно сделать как-нибудь так, чтобы в Дракон-редактор можно было послать сообщение (или хотя бы сочетание клавиш), чтобы выделить фигуру под указанным индексом. Тогда кто-нибудь (может быть, даже я) пишет стороннюю программу переработки схем в ASCII-код и его выполнения, а при остановке отладочной работы будет выделяться та фигура, на которой остановились, и подвигаться к ней фокус экрана. Всё остальное может делать эта посторонняя программа - перехватывать сочетания клавиш управления отладкой, возвращать Дракону запрос к выделению следующей фигуры и т.д, ведь предобработанный код хранится в массиве вместе с уникальными номерами фигур.

Всё это вполне реально. Но нужно научиться выделять в редакторе заданную фигуру. Всё!

Автор:  ==== [ Суббота, 04 Декабрь, 2010 15:55 ]
Заголовок сообщения:  Re: Тестирование и.с. Drakon

С. Тарасенко

Интересная идея.
С. Тарасенко писал(а):
Всё остальное может делать эта посторонняя программа - перехватывать сочетания клавиш управления отладкой, возвращать Дракону запрос к выделению следующей фигуры и т.д, ведь предобработанный код хранится в массиве вместе с уникальными номерами фигур.

Всё это вполне реально. Но нужно научиться выделять в редакторе заданную фигуру. Всё!
Но, не превратится ли тогда и.с. Drakon в монстра, с множеством возможностей, в основном никому не нужных?
Ведь до сего времени никого не заинтересовала возможность программировать в стиле конечного автомата.

Автор:  С. Тарасенко [ Воскресенье, 05 Декабрь, 2010 22:05 ]
Заголовок сообщения:  Re: Тестирование и.с. Drakon

Геннадий Тышов писал(а):
Но, не превратится ли тогда и.с. Drakon в монстра, с множеством возможностей, в основном никому не нужных?
Ведь до сего времени никого не заинтересовала возможность программировать в стиле конечного автомата.


Как не заинтересовала? Я не знаю, что такое "модель конечного автомата" - это отладка? Я говорил только об отладке, которая как раз "кого" заинтересовала:
Петр Приклонский писал(а):
В переспективе хотелось бы иметь отладочный инструмент, базирующийся на графическом представлении ("Дракон-схеме"), но это мечта...



______________
И вдогонку: в последней версии при нажатии правой кнопкой на любую точку ввода обязательно есть пункт "Пересадить лиану".

А насчёт стереотипа в схеме "Дерево" Вы правы, я согласен.

Автор:  ==== [ Понедельник, 06 Декабрь, 2010 21:48 ]
Заголовок сообщения:  Re: Тестирование и.с. Drakon

С. Тарасенко писал(а):
И вдогонку: в последней версии при нажатии правой кнопкой на любую точку ввода обязательно есть пункт "Пересадить лиану".
Да, это нормально.
При выполнении пункта, делается попытка отделить лиану, визуально демонстрируется результат. При успешном результате, вы продолжаете и выбираете точку присоединения, при отрицательном получаете сообщение с мотивированный отказом и схема восстанавливается.

Страница 4 из 14 Часовой пояс: UTC + 3 часа
Powered by phpBB® Forum Software © phpBB Group
https://www.phpbb.com/