
- •Методики разработки сапр
- •Определение состава технического обеспечения
- •Разработка программно-методических комплексов
- •Вопросы для самоконтроля
- •МетаСапр
- •Вопросы для самоконтроля
- •Сети Петри и имитационное моделирование Сети Петри
- •Имитационное моделирование смо
- •Вопросы для самоконтроля
- •Классификация и обозначение сапр
Разработка программно-методических комплексов
Разработка оригинальных ПМК производится на основе технологии проектирования ПО, поддерживаемой инструментальными средствами CASE систем.
Примерами применяемых технологий могут служить:
HIPO, особенностью которой является последовательная разработка программной документации на бланках заданной формы;
R-технология, связанная с особой схемной формой представления данных и операторов;
IDEF или STRADIS, ориентированные на разработку ПО информационных систем.
М
ногоуровневость
и многостадийность проектирования ПО
иллюстрирует рис. 1.4, где показана
нисходящая последовательность
проектирования и восходящая
последовательность тестирования ПО.
Анализ требований фактически выполняется при разработке ТЗ на ПМК. Дополнительно разрабатываются требования к устойчивости ПМК к ошибкам и сбоям. Оценкой надежности может служить вероятность правильного решения задач при полном соблюдении условий в описании применения. Ошибки и сбои могут происходить из-за неправильно заданных исходных данных (ошибки пользователя), аппаратных сбоев. Устойчивость ПО определяется тем, что такие ошибки и сбои не должны приводить к порче баз данных и программ и должна быть своевременная сигнализация о возникающих сбойных ситуациях.
При анализе требований определяются структурные особенности будущего ПМК, способствующие его модифицируемости и адаптируемости к меняющимся условиям проектной деятельности пользователей. Здесь полезно ориентироваться на опыт эксплуатации аналогичных систем и тех их частей, которые модифицировались при построении новых версий. И, наконец, решается задача оценки сроков и стоимости разработки ПМК.
Известны способы задания функциональных спецификаций:
граф-схемы, в которых вершины представляют операции и процедуры, а дуги – связи по управлению;
функциональные диаграммы, отражающие информационные потоки между архитектурными компонентами;
диаграммы HIPO, в которых программные блоки описываются последовательностью «входные данные–выполняемая функция–выходные данные»;
языки спецификаций.
Языки спецификаций основаны на следующих положениях:
1) в описаниях алгоритмов и программ разрешено использовать как языки программирования, так и естественный язык. Структура программы описывается на языке программирования, а содержание блоков – в произвольной форме;
2) иерархичность описаний, делающих описание программы или ее частей на любом уровне обозримым и легко воспринимаемым;
Проектирование ПМК заканчивается оформлением программной документации по ЕСПД, состав которой может меняться, но всегда оформляются описание программы и руководство пользователя.
Вопросы для самоконтроля
Что означает многостадийность, многоуровневость, многоаспектность процесса разработки САПР?
Приведите структурную схему типовой САПР технологических процессов и поясните её компоненты.
Представьте в виде дерева структуру программного обеспечения типовой САПР-К.
Что такое функциональные спецификации программного обеспечения? Поясните известные формы их представления.
Приведите положения, на которых основаны языки спецификаций.
Приведите и кратко охарактеризуйте известные технологии проектирования программного обеспечения.