Больше тестов dispak

[vak]

Я добавил тестов к dispak, теперь их там 52 штуки. Вот список:

• algol-besm6 - Запуск транслятора Алгол-БЭСМ.
• algol-gdr - Запуск транслятора Алгол-ГДР.
• autocode-itm - Запуск автокода ИТМ (Чайковского).
• bemsh-ms - Запуск автокода БЕМШ в мониторной системе "Дубна".
• bemsh-standalone - Запуск автономного автокода БЕМШ.
• dtran - Детрансляция объектного файла в автокод Madlen.
• edit - Запуск пакетного редактора текстов (Волкова).
• forex - Запуск транслятора Forex (Fortran Extended).
• fortran-dubna - Запуск транслятора Фортран-Дубна.
• fortran-gdr - Запуск транслятора Фортран-ГДР.
• ftn-tpk - Пример вычислительной программы на Фортране: алгоритм Трабба Пардо - Кнута.
• librefer-2048 - Выдача списка подпрограмм в библиотеках на диске 2048.
• librefer-2053 - Выдача списка подпрограмм в библиотеках на диске 2053.
• librefer-2113 - Выдача списка подпрограмм в библиотеках на диске 2113.
• librefer-2148 - Выдача списка подпрограмм в библиотеках на диске 2148.
• librefer-2248 - Выдача списка подпрограмм в библиотеках на диске 2248.
• librefer-4002 - Выдача списка подпрограмм в библиотеках на ленте 4002.
• madlen - Запуск автокода Madlen.
• monitor80 - Запуск мониторной системы "Дубна".
• pascal-monitor - Запуск транслятора Паскаль в мониторной системе "Дубна".
• pascal-prettyprint - Утилита автоматического форматирования Паскаль-текстов.
• pprog01 - Трансляция пультовой программы №1 (БЕМШ).
• pprog02 - Трансляция пультовой программы №2 (БЕМШ).
• pprog03 - Трансляция пультовой программы №3 (БЕМШ).
• pprog04 - Трансляция пультовой программы №4 (БЕМШ).
• pprog05 - Трансляция пультовой программы №5 (БЕМШ).
• pprog06 - Трансляция пультовой программы №6, ввод с перфоленты (БЕМШ).
• pprog06-md - Трансляция пультовой программы №6, ввод с магнитного диска (БЕМШ).
• pprog07 - Трансляция пультовой программы №7 (БЕМШ).
• pprog08 - Трансляция пультовой программы №8 (БЕМШ).
• pprog09 - Трансляция пультовой программы №9 (БЕМШ).
• pprog10 - Трансляция пультовой программы №10 (БЕМШ).
• punchtest - Пример ввода с перфокарт.
• serp-gens-ogl - Система СЕРП: выдача списка конфигураций ОС ДИСПАК.
• serp-keys-2053 - Система СЕРП: выдача списка ключей тома 2053.
• serp-keys-2153 - Система СЕРП: выдача списка ключей тома 2153.
• serp-list-2113 - Система СЕРП: извлечение файла из архива.
• serp-ogl-2113 - Система СЕРП: выдача оглавления архива.
• serp-pasp - Система СЕРП: просмотр списка паспортов на томе 2053.
• serp-users-2053 - Система СЕРП: просмотр списка пользователей на томе 2053.
• serp-users-2153 - Система СЕРП: просмотр списка пользователей на томе 2153.
• stat - Выдача статистики ОС Диспак.
• whatis-2048 - Сканирование содержимого диска 2048.
• whatis-2053 - Сканирование содержимого диска 2053.
• whatis-2086 - Сканирование содержимого диска 2086.
• whatis-2113 - Сканирование содержимого диска 2113.
• whatis-2148 - Сканирование содержимого диска 2148.
• whatis-2153 - Сканирование содержимого диска 2153.
• whatis-2248 - Сканирование содержимого диска 2248.
• whatis-4001 - Сканирование содержимого ленты 4001.
• whatis-4002 - Сканирование содержимого ленты 4002.
• whetstone - Запуск теста Whetstone (Фортран).

Запуск выглядит так:

$ cd dispak/build
$ make test
Running tests...
Test project /Users/vak/Project/Besm-6/dispak/build
      Start  1: algol-besm6
 1/52 Test  #1: algol-besm6 ......................   Passed    0.05 sec
      Start  2: algol-gdr
 2/52 Test  #2: algol-gdr ........................   Passed    0.06 sec
      Start  3: autocode-itm
 3/52 Test  #3: autocode-itm .....................   Passed    0.09 sec
      Start  4: bemsh-ms
 4/52 Test  #4: bemsh-ms .........................   Passed    0.05 sec
[...]
      Start 53: whatis-4002
51/52 Test #53: whatis-4002 ......................   Passed    3.70 sec
      Start 54: whetstone
52/52 Test #54: whetstone ........................   Passed    1.42 sec

100% tests passed, 0 tests failed out of 52

Total Test time (real) =  15.21 sec

Инструкция по добавлению новых тестов находится здесь: https://github.com/besm6/dispak/blob/master/tests/README.md

Comments

[spamsink]

Надо будет обновиться. У меня теперь новое занятие - ТИРАЖ декомпилировать в поисках секретных фич. Он весьма невелик, так что если не завтра, то послезавтра что-то будет понятно.

[vak]

Мне не приходилось видеть ТИРАЖ в работе. Вероятно, она функционировала только в ИТМ.

[spamsink]

Нет, на ВЦ АН тоже. Сроки окончания декомпиляции, увы, отодвинулись. Оказалось много автокодных трюков, связанных с формированием задач (зачем он это делает - отдельный вопрос).

[vak]

Все перечисленные тесты работают в пакетном режиме. Для диалоговых систем надо добавить другой способ тестирования, через expect. Попробую прикинуть.

[x86128]

Вот это вещь крайне полезная. Оценил это всё на практике когда приделывал разное к нашему mesm6 процессору.

[vak]

Именно!
В последнее время я склоняюсь к тому, что TDD есть единственно верный метод разработки.

[azizz8618]

Опять же вопрос, а можно эти тесты запустить на эмуляторе БЭСМ-6. Если да, то как?

[vak]

Большинство этих тестов взято из коллекции примеров симулятора БЭСМ-6: https://github.com/besm6/besm6.github.io/tree/master/wiki/examples

Подозреваю, что эмулятором вы называете то, что я называю симулятором. Мне по работе приходится иметь дело и с тем, и с другим, поэтому я обострённо реагирую на термины. :)
Здесь эмулятором называют обычно нечто хардверное, предназначенное для симуляции больших систем цифровой логики (к примеру, Synopsys Zebu). Симуляторами называют софтверные решения. В русском языке слово "симуляция" имеет негативный оттенок, поэтому народ его избегает. :)

У нас имеется два симулятора БЭСМ-6: один на уровне железа (simh), второй на уровне системных вызовов (экстракодов) операционной системы (dispak). Оба симулятора совместимы по формату образов дисков/лент. Оба симулятора одинаково корректно реализуют режим пользователя. Режим ядра (супервизора) поддерживается только в simh. Для большинства систем программирования режим супервизора не нужен. Практически всё можно запускать на симуляторе dispak, и это технически удобнее. Кроме КРАБа, который требует многотерминальности и на dispak ведёт себя крайне неустойчиво.

Все перечисленные тесты отлично запускаются на симуляторе dispak. На simh их тоже можно запустить, и я могу дать ссылки на некоторые примеры. Но это труднее, так как приходится иметь дело с многотерминальной интерактивной системой. Спасают скрипты типа Expect, но их отладка дело утомительное.