Тема: Определение внешних спецификаций программ с помощью HIPO-технологии.
Цель: Ознакомиться с методикой разработки внешних спецификаций программ, основанной на использовании HIPO-технологии проектирования программ. Приобрести практические навыки определения и оформления внешних спецификаций программ.
Ход работы:
1. Формулировка задачи.
С помощью HIPO-технологии составить внешние спецификации для комплекса программ решения следующей задачи: «Решение задач по физике. Законы идеального газа и уравнение состояния».
2. Описание требований к проекту.
Проект представляет собой обучающую систему, содержащую теоретический материал по теме о законах идеального газа и об уравнении состояния. Также в составе программного продукта должен содержаться модуль для решения физических задач, основанных на уравнении состояния идеального газа.
Кроме этого, в программе должна быть предусмотрена возможность тестирования пользователя с целью оценки уровня его знаний в данной области.
Данный программный продукт рассчитан в основном на использование учениками средних общеобразовательных школ, поэтому еще одним требованием является разработка «дружественного» интерфейса с пользователем; программа должна быть максимально проста в управлении, и содержать лишь необходимые функции, плюс исчерпывающую справку по самой программе.
3. Схема состава разложения и IPO-диаграммы.
Далее приводится альбом связных схем, составленный по HIPO-технологии и включающий:
-оглавление альбома документации и условные обозначения;
-схему состава разложения;
-набор IPO-диаграмм, реализующих элементы структуры.
Исходное описание системы Физика Схема Оглавление Номер: 0.0 |
Оглавление альбомадокументов и условныеобозначения |
Лист: 1Автор: Васильцов А.Отдел: каф. ПОИСДата: 4.03.2006 |
|
Обозначение |
Наименование |
Лист |
Примечание |
|
0.00.11.12.23.24.15.2 |
Оглавление альбома документации и условные обозначенияСхема состава разложенияРазработать электронный учебник по теме «Законы идеального газа и уравнение состояния»Решить физическую задачуВвести данные с клавиатурыНайти Р, зная V, T, нСохранить результаты в файл |
1234567 |
||
Данные Связи
Данные, вводимые Передача данных
с клавиатуры
Данные, печатаемые на Слияние потоков
принтере данных
Данные на магнитном Пересечение
диске потоков данных
Единое данное Анализ данных
А Связь по управле-
Групповое данное нию внутри листа
с выделением части А А-номер или буква
Групповое данное, В Связь по управле-
состоящее из С нию между листами
нескольких В - номер листа
составляющих В С - номер элемента
С
Исходное описаниеСистемы ФизикаСхема СоставаНомер: 0.1 |
Схемасостава разложения |
Лист: 2Автор: Васильцов А.Отдел: каф. ПОИСДата: 4.03.2006 |
|
Исходное описаниеСистемы ФизикаСхема ПрограммаНомер: 1.1 |
Разработать электронный учебник по теме «Законы идеального газа и уравнение состояния» |
Лист: 3Автор: Васильцов А.Отдел: каф.ПОИСДата: 4.03.2006 |
|
Вход Обработка Выход
1. Отобразить главное окно программы2. Определить ID пункта меню3. ЕСЛИ ID=1 ТОИНАЧЕЕСЛИ ID=2 ТОИНАЧЕЕСЛИ ID=3 ТОИНАЧЕЕСЛИ ID=4 ТОИНАЧЕЕСЛИ ID=5 ТОЗакрытие программыИНАЧЕ |
|||
№п/п |
Элемент |
Комментарий |
||||
Схема |
Номер |
Лист |
||||
1 |
ID |
Идентификатор пункта меню; целое, от 1 до 5 |
||||
Исходное описаниеСистемы ФизикаСхема ЗадачаНомер: 2.2 |
Решить физическую задачу |
Лист: 4Автор: Васильцов А.Отдел: каф.ПОИСДата: 4.03.2006 |
|
Вход Обработка Выход
1. Отобразить окно решения задачи2. Определить ID источника данных3. ЕСЛИ ID=1 ТОИНАЧЕЕСЛИ ID=2 ТОИНАЧЕЕСЛИ ID=3 ТОЗакрыть окноИНАЧЕ |
|||
№п/п |
Элемент |
Комментарий |
||||
Схема |
Номер |
Лист |
||||
1 |
ID |
Идентификатор источника данных; целое, от 1 до 3 |
||||
Исходное описаниеСистемы ФизикаСхема КлавиатураНомер: 3.2 |
Ввести данные с клавиатуры |
Лист: 5Автор: Васильцов А.Отдел: каф.ПОИСДата: 4.03.2006 |
|
Вход Обработка Выход
1. Определить ID типа задачи2. Получить строку данных3. Проверка и преобразование данных4. ЕСЛИ error=0 ТО4. 1 ЕСЛИ ID=1 ТОИНАЧЕЕСЛИ ID=2 ТОИНАЧЕЕСЛИ ID=3 ТОИНАЧЕЕСЛИ ID=4 ТОИНАЧЕ |
|||
№п/п |
Элемент |
Комментарий |
||||
Схема |
Номер |
Лист |
||||
1234 |
IDvarserrorP,V,T, н |
Идентификатор типа решаемой задачи; целое, от 1 до 4Строка, содержащая известные переменные; “[<P>][,<V>][,<T>][,<н>]”Признак ошибки при преобразовании строки; логическое, 0-ошибки нет, 1 - ошибка естьКомпоненты уравнения состояния идеального газа; вещественные |
Про-веркаПро-веркаПро-веркаПро-верка |
3.43.43.43.4 |
||
Исходное описаниеСистемы ФизикаСхема Найти РНомер: 4.1 |
Найти Р, зная V, T, н |
Лист: 6Автор: Васильцов А.Отдел: каф.ПОИСДата: 4.03.2006 |
|
Вход Обработка Выход
1. Вычислить неизвестноеSolve= н*R*T/V2. Определить ID отображения результата3. ЕСЛИ ID=1 ТОИНАЧЕЕСЛИ ID=2 ТОИНАЧЕЕСЛИ ID=3 ТОИНАЧЕ |
|||
№п/п |
Элемент |
Комментарий |
||||
Схема |
Номер |
Лист |
||||
123 |
P,V,T, нSolveID |
Компоненты уравнения состояния идеального газа; вещественныеРешение физической задачи; вещественноеИдентификатор отображения результата; целое, от 1 до 3 |
Клави-атура |
3.2 |
5 |
|
Исходное описаниеСистемы ФизикаСхема В файлНомер: 5.2 |
Сохранить результаты в файл |
Лист: 7Автор: Васильцов А.Отдел: каф.ПОИСДата: 4.03.2006 |
||||
Вход Обработка Выход
1. Получить строку - имя файла2. Сохранить результат решения в файл на жестком диске3. Возврат на начало |
||||||
№п/п |
Элемент |
Комментарий |
||||
Схема |
Номер |
Лист |
||||
1 |
Solve |
Решение физической задачи; вещественное |
Найти Р |
4.1 |
6 |
|
4. Проверка правильности внешних спецификаций.
Правильность внешних спецификаций проверим в следующей таблице (пример работы пользователя с программой):
№ схемы |
Список входов |
Список выходов |
|
1.1 |
- |
- |
|
2.2 |
- |
- |
|
3.2 |
error (3.4)P (3.4)V (3.4)T (3.4)н (3.4) |
ID (3.4)vars (3.4)P (4.1, 4.2, 4.3, 4.4)V (4.1, 4.2, 4.3, 4.4)T (4.1, 4.2, 4.3, 4.4)н (4.1, 4.2, 4.3, 4.4) |
|
3.4 |
ID (3.2)vars (3.2) |
error (3.2)P (3.2)V (3.2)T (3.2)н (3.2) |
|
4.1 |
P (3.2)V (3.2)T (3.2)н (3.2) |
Solve (5.1, 5.2, 5.3) |
|
5.2 |
Solve (4.1) |
||