Спецификация требований

Спецификация требований

Введение

Этот документ описывает требования к создаваемой системе. Здесь описаны требования заказчика и системные требования сложившиеся в результате анализа требований заказчика. Системные требования в последствии становятся руководством при проектировании и реализации системы.

Требования заказчика

Подсистема VisualStatistics должна предоставлять следующие зависимости системы в графическом виде:

Зависимость времени решения системы от количества неизвестных - τ(n) Зависимость времени решения системы от количества уравнений - τ(m) Зависимость времени решения системы от количества решений - τ(q) Зависимость времени решения системы от коэффициентов системы АНЛДУ - τ(A) Зависимость затрачиваемой памяти для решения системы от количества неизвестных - μ(n) Зависимость затрачиваемой памяти для решения системы от количества уравнений - μ(m) Зависимость затрачиваемой памяти для решения системы от количества решений - μ(q) Зависимость затрачиваемой памяти для решения системы от коэффициентов системы АНЛДУ - μ(A), Динамика времени решения с увеличением количества решенных систем – τ (κ) Динамика затрачиваемой памяти с ростом числа решенных систем - μ(κ) Динамика результатов решения с ростом числа решенных систем - δ(κ)

На Рис1 приведена диаграмма распределения системы АНЛДУ в зависимости от суммы количеств уравнений и неизвестных, на Рис2 - зависимости времени решения от числа уравнений. 

Рис1 Диаграмма распределения системы АНЛДУ в зависимости от суммы количеств уравнений и неизвестных.

Рис2. Зависимость времени решения от числа уравнений

Система должна предоставлять возможность использования алгоритма нахождения частного ненулевого решения однородной системы неотрицательных линейных диофантовых уравнений (алгоритм Part_sol).

       Подробное описание алгоритма нахождения частного ненулевого решения однородной системы неотрицательных линейных диофантовых уравнений в приложении www. cs. karelia. ru/~karginov/project/algotithm. pdf

Текущая и предполагаемая варианты визуализации экспериментального анализа

Текущая версия Web-SynDic	Предполагаемые расширения
Предоставление статистических данных в таблично-текстовом виде	Предоставление результатов в виде графиков
Только отображение конкреных числовых характеристик	Отображение зависимостей между различными характеристиками
Предоставление информации по последнему решению	Отображение изменения данных с увеличением количества решаемых систем

Высокоуровневая архитектура Web-SynDic

На Рис3 представлена модель архитектуры системы Web-SynDic с подключенной подсистемой Visual Statistics. Стрелками обозначены потоки данных.

Рис3.Архитектура системы Web-SynDic

Сценарии использования

На Рис4 изображена диаграмма вариантов использования, отражающая основные требования, предъявляемые системе.

Рис4. Диаграмма вариантов использования системы

Прецедент: “Решение однородной системы АНЛДУ/множества систем АНЛДУ алгоритмом Part_sol.”

Ход событий:

Пользователь заходит на главную страницу Web-SynDic и выбирает в меню пункт “Process an ANLDE system”/“Process set of ANLDE systems”; Вводит систему/множество систем вручную или генерирует ее/их; Выбирает из списка альтернативных алгоритмов Part_sol;  Нажимает кнопку “Solve” для решения системы; Part_sol решает систему АНЛДУ; Cистема Web-SynDic выводит отчет о решении. 

Прецедент: “Просмотр статистической информации”.

Ход событий:

При выборе параметров генерации и решения систем АНЛДУ пользователь указывает необходимые виды диаграмм; При решении системы АНЛДУ формируется отчет, содержащий характеристики для запрошенных диаграмм; При отображении отчета вызывается подсистема VisualStatistics, которая по переданным данным строит графики и возвращает ссылки на них; Клиентская часть отображает построенные диаграммы.

Критерии аттестации системы

Тесты для VisualStatisrics

Для каждой из вышеперечисленных зависимостей подсистема должна предоставлять графики для различных систем АНЛДУ:

небольшого множества  (5)  маленьких систем  (n, m, A < 10-15) небольшого множества  (5)  больших систем  (n, m, A < 102-104) среднего множества  (100)  средних систем  (n, m, A < 50-102) большого множества  (1000)  маленьких систем большого множества  (1000)  средних систем

Тесты для алгоритма Part_sol

Подсистема должна находить частное решение либо выдавать соответствующее сообщение об ошибке для:

небольшого множества (5) маленьких однородных систем АНЛДУ (n, m, A < 10-15), сгенерированных с помощью генератора Gordano; небольшого множества (5) маленьких однородных систем АНЛДУ (n, m, A < 10-15), сгенерированных с помощью генератора Gauss; небольшого множества (5) маленьких однородных систем АНЛДУ (n, m, A < 10-15), введенных вручную; небольшого множества (5) средних однородных систем АНЛДУ (n, m, A < 50-102), сгенерированных с помощью генератора Gordano; небольшого множества (5) средних однородных систем АНЛДУ (n, m, A < 50-102), сгенерированных с помощью генератора Gauss; небольшого множества (5) больших однородных систем АНЛДУ (n, m, A < 102-104), сгенерированных с помощью генератора Gordano; небольшого множества (5) больших однородных систем АНЛДУ (n, m, A < 102-104), сгенерированных с помощью генератора Gauss;

среднего множества (100) маленьких однородных систем АНЛДУ (n, m, A < 10-15), сгенерированных с помощью генератора Gordano; среднего множества (100) маленьких однородных систем АНЛДУ (n, m, A < 10-15), сгенерированных с помощью генератора Gauss; среднего множества (100) средних однородных систем АНЛДУ (n, m, A < 50-102), сгенерированных с помощью генератора Gordano; среднего множества (100) средних однородных систем АНЛДУ (n, m, A < 50-102), сгенерированных с помощью генератора Gauss; среднего множества (100) больших однородных систем АНЛДУ (n, m, A < 102-104), сгенерированных с помощью генератора Gordano; среднего множества (100) больших однородных систем АНЛДУ (n, m, A < 102-104), сгенерированных с помощью генератора Gauss;

большого множества (1000) маленьких однородных систем АНЛДУ (n, m, A < 10-15), сгенерированных с помощью генератора Gordano; большого множества (1000) маленьких однородных систем АНЛДУ (n, m, A < 10-15), сгенерированных с помощью генератора Gauss; большого множества (1000) средних однородных систем АНЛДУ (n, m, A < 50-102), сгенерированных с помощью генератора Gordano; большого множества (1000) средних однородных систем АНЛДУ (n, m, A < 50-102), сгенерированных с помощью генератора Gauss; большого множества (1000) больших однородных систем АНЛДУ (n, m, A < 102-104), сгенерированных с помощью генератора Gordano; большого множества (1000) больших однородных систем АНЛДУ (n, m, A < 102-104), сгенерированных с помощью генератора Gauss;

Глоссарий

Web-SynDic – система демонстрации и тестирования синтаксических алгоритмов решения неотрицательных линейных диофантовых уравнений.

Система АНЛДУ – система, ассоциированных с контекстно-свободной грамматикой неотрицательных линейных диофантовых уравнений.

Part_sol – алгоритм определения частного ненулевого решения однородной системы неотрицательных линейных диофантовых уравнений.

Visual Statistics – подсистема визуализации результатов экспериментального анализа трудоемкости алгоритмов решения систем АНЛДУ.

Статистическая информация – характеристики систем АНЛДУ, характеристики алгоритма и характеристики сервера (см. План проекта).