Сдам Сам

ПОЛЕЗНОЕ


КАТЕГОРИИ







Проектирование программ





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

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

Существуют различные подходы и технологии разработки алгоритмов и программ. По взглядам проектирование и разработку программ целесообразно разбить на ряд последовательных этапов:

1. Постановка задачи
При постановке задачи для крупных компьютерных программ необходимо провести следующие работы:

o Выработать требования (свойства, качества и возможности), необходимые для решения проблемы или достижения цели (как правило, эта деятельность носит экспертный характер);

o Разработать спецификации, включающие

§ Цель программы;

§ граничные условия;

§ описание функций системы;

§ спецификации входных и выходных данных;

§ верификационные требования;

§ тип и количество документов.



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

2. Проектирование программы

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

o имя/цель - дается имя модулю и предложение о функции модуля с формальными параметрами;

o неформальное описание - обзор действий модуля;

o ссылки - какие модули ссылаются на него и на какие модули ссылается данный модуль

o вход/выход - формальные и фактические параметры, глобальные, локальные и связанные(общие для ряда модулей) переменные;

o примечания - полезные комментарии общего характера по модулю.

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

f. Модульное программирование
Основные концепции:

§ каждый модуль реализует единственную независимую функцию;

§ имеет единственную точку входа/выхода;

§ размер модуля минимизируется;

§ каждый модуль разрабатывается независимо от других модулей;

§ система в целом построена из модулей.

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

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

h. Проектирование с использованием потока данных
Использует поток данных как генеральную линию проектирования программы. Содержит элементы структурного проектирования сверху-вниз с пошаговой детализацией:

§ Экспертиза потоков данных и отображение графа потока данных,

§ Анализ входных, центральных и выходных преобразующих поток данных элементов,

§ формирование иерархической структуры программы,

§ детализация и оптимизация структуры программы.

i. Технология структурного анализа проекта
Основана на структурном анализе с использованием специальных графических иерархических функциональных связей между объектами системы. Эффективна на ранних стадиях создания системы, когда диаграммы просты и читаемы.


Методы проектирования, основанные на использовании структур данных, описаны ниже

j. Методология Джексона
Здесь структура данных - ключевой элемент в построении проекта. Структура программы определяется структурой данных, подлежащих обработке. Программа представляется как механизм, с помощью которого входные данные преобразуются и выходные. В методе предусматривается:

§ разработка и изображение структуры входных и выходных данных;

§ изображение структуры программы путем соединения изображений этих структурных элементов;

§ определение дискретных операций над структурами данных;

§ построение алгоритмов обработки структур данных.

k. Методология Уорнера
Подобна предыдущей, но процедура проектирования более детализована. Используются следующие виды представления проекта:

§ диаграммы организации данных (описывают входные и выходные данные)

§ диаграммы логического следования (логический поток этих данных);

§ список инструкций (команды, используемые в проекте);

§ псевдокод (описание проекта);

§ определение входных данных системы;

§ организация входных данных в иерархическую структуру;

§ детальное определение формата элементов входного файла;

§ то же самое для выходных данных;

§ спецификация программы: чтение, ветвление, вычисление, выходы, вызовы подпрограмм

§ составление диаграммы (по типу блок-схем) указывающие логическую последовательность инструкций.

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

§ начать с наивысшего уровня абстракции, определив вход, выход, обработку;

§ соединить каждый элемент входа и выхода с соответствующей обработкой;

§ документировать каждый элемент системы, используя диаграммы;

§ детализировать диаграммы, используя шаги 1-3.

m. Объектно-ориентированная методология проектирования
Основана на концепции упрятывания информации и абстрактных типов данных. Рассматриваются данные, модули и системы в качестве объектов. Каждый объект содержит некоторую структуру данных с набором процедур, знающих как работать с этими данными. По этой методологии создаются абстракции по заданной проблемной области:

§ определение проблемы;

§ развитие неформальной стратегии, удовлетворяющей требованиям к системе;

§ формализация стратегии;

§ создание объектов и их атрибутов;

§ определение операций над объектами;

§ установка интерфейсов;

§ реализация операций.

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

Рис.11. Схема построения модели при дедуктивном способе


При дедуктивном подходе (рис.11) рассматривается частный случаи общеизвестной фундаментальной модели. Здесь при заданных предположениях известная модель приспосабливается к условиям моделируемого объекта. Например, можно построить модель свободно падающего тела на основе известного закона mа = mg-Fсопр и в качестве допустимого приближения принять модель равноускоренного движения для малого промежутка времени.

Рис.12. Схема построения модели при индуктивном способе


Индуктивный способ (рис.12) предполагает выдвижение гипотез, декомпозицию сложного объекта, анализ, затем синтез. Здесь широко используется подобие, аналогичное моделирование, умозаключение с целью формирования каких-либо закономерностей в виде предположений о поведении системы. Технология построения модели при индуктивном способе может быть представлена так:

0. эмпирический этап

§ умозаключение

§ интуиция

§ предположение

§ гипотеза

1. постановка задачи для моделирования

2. оценки; количественное и качественное описание

3. построение модели

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

6. реализация алгоритма
На этапе реализации алгоритма происходит конструирование и реализация алгоритма, включая:

o Кодирование

o Интеграцию

o Тестирование(сертификацию)

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

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

8. тестирование программы;
Перед началом эксплуатации программы необходим этап ее отладки и тестирования
Тестирование - это процесс исполнения программ с целью выявления (обнаружения ошибок). Тестирование - процесс деструктивный, поэтому считается, что тест удачный, если обнаружена ошибка. Хорошим считается тест, который имеет большую вероятность обнаружения еще не выявленной ошибки. Удачным считается тест, который обнаруживает еще не выявленную ошибку.
Существуют различные способы тестирования программ:

o Тестирование программы как "черного ящика" (стратегия "черного ящика" определяет тестирование с анализом входных данных и результатов работы программы). Критерием исчерпывающего входного тестирования является использование всех возможных наборов входных данных.

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

Разумная и реальная стратегия тестирования - сочетание моделей "черного" и "белого ящиков".
Основными принципами тестирования являются:

o описание предполагаемых значений выходных данных или результатов должно быть необходимой частью тестового набора;

o тесты для неправильных и непредусмотренных входных данных следует разрабатывать так же тщательно, как для правильных и предусмотренных,

o необходимо проверять не только делает ли программа то, для чего она предназначена, но и не делает ли она то, что не должна делать; нельзя планировать тестирование в предположении, что ошибки не будут обнаружены

o вероятность наличия необнаруженных ошибок в части программы пропорциональна числу ошибок, уже обнаруженных в этой части;

o тестирование - процесс творческий.

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

o Обращения к переменным, значения которым не присвоены или не инициализированы

o выход индексов за границы массивов;

o несоответствие типов или атрибутов переменных величин;

o явные или неявные проблемы адресации памяти;

o ошибочные передачи управления;

o логические ошибки.

9. документирование.
К каждому готовому программному продукту необходимо приложить документированное сопровождение в виде помощи(help), файлового текста(readme.txt)

 

 









Не нашли то, что искали? Воспользуйтесь поиском гугл на сайте:


©2015- 2019 zdamsam.ru Размещенные материалы защищены законодательством РФ.