Определение внешних спецификаций программ с помощью HIPO технологии

Тема: .

Цель: Ознакомиться с методикой разработки внешних спецификаций программ, основанной на использовании HIPO-технологии проектирования программ. Приобрести практические навыки определения и оформления внешних спецификаций программ.

Ход работы:

1. Формулировка задачи.

С помощью HIPO-технологии составить внешние спецификации для комплекса программ решения следующей задачи: «Решение задач по физике. Законы идеального газа и уравнение состояния».

2. Описание требований к проекту.

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

Кроме этого, в программе должна быть предусмотрена возможность тестирования пользователя с целью оценки уровня его знаний в данной области.

Данный программный продукт рассчитан в основном на использование учениками средних общеобразовательных школ, поэтому еще одним требованием является разработка «дружественного» интерфейса с пользователем; программа должна быть максимально проста в управлении, и содержать лишь необходимые функции, плюс исчерпывающую справку по самой программе.

3. Схема состава разложения и IPO-диаграммы.

Далее приводится альбом связных схем, составленный по HIPO-технологии и включающий:

-оглавление альбома документации и условные обозначения;

-схему состава разложения;

-набор IPO-диаграмм, реализующих элементы структуры.

Данные, вводимые Передача данных

с клавиатуры

Данные, печатаемые на Слияние потоков

принтере данных

Данные на магнитном Пересечение

диске потоков данных

Единое данное Анализ данных

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

с выделением части А А-номер или буква

Групповое данное, В Связь по управле-

состоящее из С нию между листами

нескольких В – номер листа

составляющих В С – номер элемента

Вход Обработка Выход

1. Отобразить главное окно программы 2. Определить ID пункта меню 3. ЕСЛИ ID=1 ТО Отобразить теоретический материал 2.1 ИНАЧЕ ЕСЛИ ID=2 ТО Решить физическую задачу 2.2 ИНАЧЕ ЕСЛИ ID=3 ТО Протестировать пользователя 2.3 ИНАЧЕ ЕСЛИ ID=4 ТО Отобразить справку по программе 2.4 ИНАЧЕ ЕСЛИ ID=5 ТО Закрытие программы ИНАЧЕ

ID

Вход Обработка Выход

ID

1. Отобразить окно решения задачи 2. Определить ID источника данных 3. ЕСЛИ ID=1 ТО Ввести данные с клавиатуры 3.2 ИНАЧЕ ЕСЛИ ID=2 ТО Ввести данные из файла 3.3 ИНАЧЕ ЕСЛИ ID=3 ТО Закрыть окно ИНАЧЕ

ID

Вход Обработка Выход

ID vars error ID

1. Определить ID типа задачи 2. Получить строку данных 3. Проверка и преобразование данных Осуществить проверку введенных данных 3.4 4. ЕСЛИ error=0 ТО 4.1 ЕСЛИ ID=1 ТО Найти Р, зная V, T, ν 4.1 ИНАЧЕ ЕСЛИ ID=2 ТО Найти V, зная Р, T, ν 4.2 ИНАЧЕ ЕСЛИ ID=3 ТО Найти T, зная Р, V, ν 4.3 ИНАЧЕ ЕСЛИ ID=4 ТО Найти ν, зная Р, V, T 4.3 ИНАЧЕ

ID vars error

Вход Обработка Выход

Solve ID

1. Вычислить неизвестное Solve= ν*R*T/V 2. Определить ID отображения результата 3. ЕСЛИ ID=1 ТО Отобразить результаты на экране 5.1 ИНАЧЕ ЕСЛИ ID=2 ТО Сохранить результаты в файл 5.2 ИНАЧЕ ЕСЛИ ID=3 ТО Отправить результаты на печать 5.3 ИНАЧЕ

ID Solve

Вход Обработка Выход

Fname Solve		1. Получить строку – имя файла 2. Сохранить результат решения в файл на жестком диске 3. Возврат на начало	Fname
№ п/п	Элемент	Комментарий
			Схема	Номер	Лист
1	Solve	Решение физической задачи; вещественное	Найти Р	4.1	6

4. Проверка правильности внешних спецификаций.

Правильность внешних спецификаций проверим в следующей таблице (пример работы пользователя с программой):

Как видно, в ходе тестирования не нарушилась логика взаимодействия между отдельными составляющими программы, не обнаружено нехватки потоков данных, либо некорректных потоков данных между элементами разработанной структуры, а сами элементы взаимосвязаны между собой (с точки зрения передачи управления от модуля к модулю). Следовательно, можно с большой степенью уверенности утверждать, что схема состава разложения и таблицы внешних спецификаций не содержат ошибок.

5. Выводы.

При разработке крупных программных продуктов, требующих привлечения существенных материальных и человеческих ресурсов правильная декомпозиция сущностей поставленной задачи имеет огромное значение и влияние на результат (как на качество результата, так и на скорость его достижения). Поэтому не следует пренебрегать методикой составления внешних спецификаций для корректного взаимодействия между группами разработчиков, решающими каждая свою задачу, а также между разработчиками в каждой из групп, реализующими различные функции единой задачи.

Выполняя лабораторную работу, я убедился, что HIPO-технология, благодаря своей четкой стандартизации и наглядности, способна значительно ускорить процесс составления внешних спецификаций (как залог эффективного и согласованного взаимодействия группы разработчиков при создании общего продукта), а строгое структурирование призвано без особых усилий обнаруживать и устранять ошибки, неточности и недостатки анализа.

В результате HIPO-разложения данного гипотетического создаваемого продукта можно обнаружить такие преимущества конкретной декомпозиции предметной области: 1) наблюдается частичная информационная независимость между отдельно разрабатываемыми частями программы, особенно на верхних уровнях, что безусловно положительно влияет на общий результат и время его достижения за счет отсутствия необходимости согласования типов и форматов данных, передаваемых между модулями; 2) построенная схема состава разложения имеет относительно «квадратную» форму (5 уровней в глубину и 4 уровня в ширину), из чего можно сделать вывод об относительной сбалансированности в соотношении «время-человеч.ресурсы». Конечно, о данном балансе нет смысла говорить в таких критических случаях, если либо время выполнения проекта ограничено, либо количество человек, которые можно одновременно задействовать в создании проекта, также ограничено (в этих двух случаях невозможно судить об оптимальности этого соотношения исходя из составленной схемы состава разложения), однако подразумевается, что ни один из этих показателей не является критически строго ограниченным.