x n + y n

= z ncn log n - 2k ≤ p(n,

k) ≤ cn log n - 1k

Arageli: Arageli: Blazing Blazing

MathematicsMathematicsMini–project Report

ITLab, 24 Feb, 2006

x n + y n

= z ncn log n - 2k ≤ p(n,

k) ≤ cn log n - 1k

ИсполнителиИсполнители• Стажеры:

– Алексей Сиднев (лидер)– Владимир Александров– Нина Гонова– Михаил Зайцев– Андрей Камаев – Алексей Боровков

• Кураторы:– С.С. Лялин– Н.Ю. Золотых

x n + y n

= z ncn log n - 2k ≤ p(n,

k) ≤ cn log n - 1k

СодержаниеСодержание• Arageli Library• Задание• Работа в проекте:

– Распределение ролей– Динамика мини-проекта– План– Еженедельные отчеты– Протоколы совещаний

• Результаты:– Тестирование– User’s Guide

• Итоги

x n + y n

= z ncn log n - 2k ≤ p(n,

k) ≤ cn log n - 1k

Arageli LibraryArageli Library• Arageli: Blazing Mathematics

– Arageli – это библиотека для точных, символьных, алгебраических вычислений. Она содержит определение таких структур, как вектора, матрицы, полиномы, целые и рациональные числа неограниченной величины и алгоритмы для решения различных задач с их использованием.

• Разработчики:– С.С. Лялин– А.А. Сомсиков– А. Бадер– Н.Ю. Золотых– М.А. Алексеев– Е.А. Агафонов (все: каф. МЛиВА)

x n + y n

= z ncn log n - 2k ≤ p(n,

k) ≤ cn log n - 1k

Структура библиотекиСтруктура библиотеки• Абстрактные типы данных (классы)

и алгоритмы:– Целые числа произвольной длины– Рациональные числа– Векторы и матрицы– Разреженные полиномы– Полиномы от многих переменных– Модулярная арифметика– Алгебраические числа– Числа с плавающей запятой

произвольной точности– Формульные преобразования

x n + y n

= z ncn log n - 2k ≤ p(n,

k) ≤ cn log n - 1k

ЗаданиеЗадание

• Разработка системы тестирования– Разработка тестов– Апробирование системы тестирования

• Разработка документации– Arageli User’s Guide

x n + y n

= z ncn log n - 2k ≤ p(n,

k) ≤ cn log n - 1k

Основные задачи Основные задачи тестированиятестирования

• Тестирование функциональности библиотеки (компиляция и исполнение) и выявление противоречий между функциональностью библиотеки и документацией.

• Тестирование документации: полнота, чёткость документации, поиск ошибок (орфографических, пунктуационных и проч.).

x n + y n

= z ncn log n - 2k ≤ p(n,

k) ≤ cn log n - 1k

Основные требования к Основные требования к тестированиютестированию

• Необходимо протестировать по возможности как можно больше классов и функций

• Каждый тест должен представлять собой отдельное (обычно консольное) приложение.

x n + y n

= z ncn log n - 2k ≤ p(n,

k) ≤ cn log n - 1k

ЗаданиеЗадание на разработку на разработку документациидокументации

• Написать руководство пользователя – Quick-start к библиотеке Arageli:– основы, необходимые для использования

библиотеки (как теоретические так и практические)

– описание функциональности библиотеки– примеры использования библиотеки

x n + y n

= z ncn log n - 2k ≤ p(n,

k) ≤ cn log n - 1k

Распределение ролейРаспределение ролейКураторы

Лидер проектаАлексей Сиднев

Группа разработки системы тестирования

Алексей Сиднев (главный разработчик)Владимир Александров

Михаил Зайцев

Группа разработкидокументации

Нина Гонова (главный разработчик)Андрей Камаев

Менеджер проектаАндрей Камаев

x n + y n

= z ncn log n - 2k ≤ p(n,

k) ≤ cn log n - 1k

Тестер (Александров В. Н.)

Тестер (Сиднев А. А.)

Тестер (Зайцев М. С.)

Главный тестер (Сиднев А. А.)

Получение результатов

Получение результатов

Отправка тестовна тестирование

Получение результатов

Отправка тестовна тестирование

Отправка тестовна тестирование

Динамика мини-проектаДинамика мини-проекта

Тестер(Александров В. Н.)

Тестер (Сиднев А. А.)

Тестер (Зайцев М. С.)

Главный тестер(Сиднев А. А.)

Распределениезаданий

Распределениезаданий

Отправка тестовна тестирование

Распределениезаданий

Отправка тестовна тестирование

Отправка тестовна тестирование

ТестыРезультат

ЗаданиеЗаданиеЗадание

Группа по тестированию:

Тесты

ТестыРезультат

Результат

x n + y n

= z ncn log n - 2k ≤ p(n,

k) ≤ cn log n - 1k

Разработчик учебныхматериалов (Камаев А. М.)

Разработчик учебныхматериалов (Гонова Н.)

Отправка материалов натестирование

Отправка материалов натестирование

Распределениезаданий

Главный разработчик(Гонова Н.)

Распределениезаданий

РезультатРезультат

ЗаданиеЗадание

Динамика мини-проектаДинамика мини-проектаГруппа разработки документации:

Докумен- тация

Докумен- тация

x n + y n

= z ncn log n - 2k ≤ p(n,

k) ≤ cn log n - 1k

Работа в проектеРабота в проекте• План

– Начальный план– Финальный план

• Протоколы совещаний– 7 официальных собраний

• Отчеты:– Отчеты лидера (11)– Еженедельные отчеты стажеров (29)– Отчёты о тестировании тестов (3)– Отчёт о тестировании документации

x n + y n

= z ncn log n - 2k ≤ p(n,

k) ≤ cn log n - 1k

Рабочий процессРабочий процесс• Глубокое изучение библиотеки Arageli

– ознакомление с внутренней структурой– участие в доработке библиотеки

• Использование SVN– www.software.unn.ru/arageli

• Использование TeХ’a– изучение языка– освоение дополнительных утилит (lgrind)

x n + y n

= z ncn log n - 2k ≤ p(n,

k) ≤ cn log n - 1k

РезультатыРезультаты работыработытестированиетестирование

– Тесты• 63 тестовых файла• >800 объектов тестирования

– Описание тестов

– Отчет о тестировании• выявлено 46 ошибок

– Отзыв разработчиков

x n + y n

= z ncn log n - 2k ≤ p(n,

k) ≤ cn log n - 1k

– User’s Guide Source • Документ на языке TeХ• Система для разработки примеров

– User’s Guide (pdf)

– Презентация

РезультатыРезультаты работыработыUser’s GuideUser’s Guide

x n + y n

= z ncn log n - 2k ≤ p(n,

k) ≤ cn log n - 1k

ИтогиИтоги

+ Опыт работы в команде

+ Приобрели опыт работы с SVN

+ Изучили LaTeX

• Неудачное время проведения проекта(зачёты, экзамены)

x n + y n

= z ncn log n - 2k ≤ p(n,

k) ≤ cn log n - 1k

ВопросыВопросы

x n + y n

= z ncn log n - 2k ≤ p(n,

k) ≤ cn log n - 1k

The EndThe End