ЛР 1. Формирование технического задания на программную систему (ПС), с учетом последующего автоматизированного тестирования методом черного ящика.

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

  1. Предназначение ПС, задачи, которые она решает.
  2. Требования к программно-аппаратному окружению ПС.
  3. Формат входных данных ПС и ограничения, накладываемые на входные данные ПС.
  4. Формат выходных данных ПС и ограничения, накладываемые на выходные данные ПС.
  5. Ограничения, накладываемые на работу ПС.
  6. Требования к обработке ошибок программной системой.
  7. Примеры корректных решений.

В современной практике разработки ПС такой подход максимально формализован в олимпиадном и спортивном программировании. Полученные решения проверяются системами автоматизированного тестирования (САТ), встроенными в платформы для проведения соревнований по программированию (Яндекс.Контест, Timus Online Judge и др.). Поэтому формулировка условий олимпиадных задач, в совокупности с правилами функционирования платформы, в большенстве случаев подчиняется правилам формулирования технического задания (примеры: 25-26.pdf , parasum.pdf , platz.pdf , so4.pdf , rbnf2026.pdf , safety.pdf ). Исключениями являются пункты "Требования к программно-аппаратному окружению ПС", так как указанные требования содержатся в описании конкретной платформы для проведения соревнований по программированию, а также "Требования к обработке ошибок программной системой", так как подобные требования усложняют решение, при этом обычно не имеют отношения к алгоритму решения самой олимпиадной задачи.

Задание

Распределиться по вариантам следующим образом:
А...-Б...: 1 вариант Задачи: 2(ЛР1), 33в(ЛР2), 77д(ЛР3), 1(ЛР4)
В...-Кож...: 2 вариант Задачи: 3(ЛР1), 34б(ЛР2), 79(ЛР3), 2(ЛР4)
Коз...-Л...: 3 вариант Задачи: 6(ЛР1), 41(ЛР2), 80(ЛР3), 3(ЛР4)
М...-Ник...: 4 вариант Задачи: 8(ЛР1), 42(ЛР2), 83а(ЛР3), 4(ЛР4)
Нох...-Пар...: 5 вариант Задачи: 9(ЛР1), 44(ЛР2), 86б,88б(ЛР3)
Пет...-Т...: 6 вариант Задачи: 11a,15(ЛР1), 47(ЛР2), 89а(ЛР3)
X...-Я...: 7 вариант Задачи: 25(ЛР1), 48,56(ЛР2), 118(ЛР3)

Студент должен переформулировать условия 4 задач своего варианта из предмета "Системное программирование" в соответствии с требованиями к формулировке технического задания, описанными выше. Формулировка должна включать в себя основной заголовок и все подзаголовки ТЗ с раскрытием, специфичным для задачи. Формулировки представить в формате офисного документа (odt,docx). Каждая корректная формулировка дает 20 баллов.

В дальнейшем полученные ТЗ будут использоваться для разработки тестовых планов и проведения автоматизированного тестирования задач методом черного ящика.