feat: report added

Author: mip3x

third-year/software-testing/lab1/lab1/report/domain-model.png

@@ -0,0 +1,133 @@
+#set page(
+  paper: "a4",
+  margin: (left: 25mm, right: 15mm, top: 20mm, bottom: 20mm),
+)
+
+#set text(
+  font: "JetBrains Mono",
+  size: 11pt,
+)
+
+#set par(
+  leading: 1.4em,
+  justify: true,
+)
+
+#set heading(numbering: "1.")
+
+#let organization = "ФГБОУ высшего профессионального образования «Санкт-Петербургский национальный исследовательский университет информационных технологий, механики и оптики»"
+#let faculty = "Факультет программной инженерии и компьютерной техники (ФПИиКТ)"
+
+#let subject_title = "Тестирование программного обеспечения"
+
+#let student_name = "Малышев Михаил Александрович"
+#let group = "Группа P3311"
+
+#let teacher_name = "Наумова Надежда Александровна"
+
+#let year = "2026"
+
+#align(center)[
+  #v(10mm)
+  #text(weight: "bold")[#organization]
+  #v(3mm)
+  #faculty
+  #v(25mm)
+
+  #text(weight: "bold", size: 16pt)[Отчёт по лабораторной работе №1]
+  #v(6mm)
+  #text(weight: "bold")[#subject_title]
+  #v(2mm)
+]
+
+#v(30mm)
+
+#align(right)[
+  Выполнил: #student_name \
+  #group \
+  \
+  Преподаватель практики: #teacher_name
+]
+
+#v(25mm)
+
+#align(center)[
+  #year
+]
+
+#pagebreak()
+
+= Задание
+
+1. Для указанной функции провести модульное тестирование разложения функции в степенной ряд. Выбрать достаточное тестовое покрытие.
+2. Провести модульное тестирование указанного алгоритма. Для этого выбрать характерные точки внутри алгоритма, и для предложенных самостоятельно наборов исходных данных записать последовательность попадания в характерные точки. Сравнить последовательность попадания с эталонной.
+3. Сформировать доменную модель для заданного текста. Разработать тестовое покрытие для данной доменной модели
+Вариант:
+    - Функция sin(x)
+    - Программный модуль для работы c B деревьями (количество элементов в ключе - до 5, http://www.cs.usfca.edu/~galles/visualization/BTree.html)
+    - Описание предметной области:
+    ```
+    В эту ночь "Золотое Сердце" летел, оставляя световые годы между собой и туманностью Конской Головы. Зафод, расположившись под небольшой пальмой на мостике, пытался вправить себе мозги солидными порциями пангалактического бульк-бластера. Форд и Триллиан сидели в уголке, обсуждая жизнь и ее последствия. Артур лежал у себя в каюте и листал фордов экземпляр "Путеводителя по Галактике для автостопщиков". Поскольку ему предстояло здесь жить, рассудил он, пора было начинать знакомиться с местными обычаями. 
+    ```
+
+= Ход работы
+
+*Ссылка на Pull Request:*
+#link("https://github.com/mip3x/itmo-labs/pull/46")
+
+== Задание 1
+
+Для функции $sin(x)$ реализовано разложение в ряд Тейлора и подготовлены модульные тесты на корректность вычислений с разными входными значениями и значениями точности $epsilon$.
+
+Тестовое покрытие включает:
+- проверку граничных случаев для $epsilon$ (нулевое и отрицательное значение);
+- проверку характерных классов для $x$ (малые значения, средние значения, значения вблизи $pi/2$, $pi$, $3pi/2$, а также достаточно большое $x$);
+- сравнение результата разложения со стандартной библиотечной функцией $sin(x)$ с заданной допустимой погрешностью;
+
+#figure(
+  image("sin-plot.svg", width: 90%),
+  caption: [График функции $sin(x)$]
+)
+
+== Задание 2
+
+Для модуля B-дерева реализованы и протестированы ключевые операции:
+- вставка элементов с поддержкой повторов ключей;
+- поиск элемента в дереве;
+- симметричный обход (in-order);
+- удаление элемента;
+
+При тестировании были выбраны характерные наборы данных:
+- пустое дерево и одиночная вставка;
+- последовательные вставки, приводящие к разделению узла (split);
+- неупорядоченные вставки с проверкой, что итоговый обход остается отсортированным;
+- серия вставок с проверкой поиска существующих и отсутствующих ключей;
+- отдельная проверка поведения на дублирующихся значениях;
+
+== Задание 3
+
+По заданному тексту сформирована доменная модель сцены с основными сущностями:
+- космический корабль ("Золотое Сердце");
+- персонажи (Зафод, Форд, Триллиан, Артур);
+- небесный объект ("туманность Конской Головы");
+- книга;
+
+В модели отражены действия и состояния персонажей (обсуждение, чтение, употребление напитка), а также состояние полета корабля и расстояние до небесного объекта
+
+Для доменной модели разработаны модульные тесты:
+- проверка корректной сборки сцены фабрикой;
+- проверка ограничений доменной логики (например, допустимость параметров методов);
+
+#figure(
+  image("domain-model.png", width: 95%),
+  caption: [Диаграмма доменной модели]
+)
+
+= Заключение
+
+В ходе лабораторной работы реализованы и протестированы:
+- вычисление $sin(x)$ через степенной ряд;
+- модуль B-дерева;
+- доменная модель предметной области;
+
+Для каждой части варианта выбрано практическое тестовое покрытие, включающее граничные и характерные случаи. Результаты модульного тестирования подтвердили корректность основной функциональности и соответствие реализованных компонентов требованиям задания.