 |
Организационные процессы ЖЦ.
|
|
|
|
1. Управление – совершается менеджером -.
2. Создание инфраструктуры включает выбор и поддержку инструментальных аппаратных и программных средств, используемых для разработки, эксплуатации и сопровождения.
3. Усовершенствование – организация совершенствования.
4. Процесс обучения – разработка методических материалов для обучения пользователей. 17. Модели жизненного цикла.
К настоящему времени наибольшее распространение получили следующие две основные модели ЖЦ: каскадная модель (70-85 г.г.); спиральная модель (86-90 г.г.).
1.1. В изначально существовавших однородных ИС каждое приложение представляло собой единое целое. Для разработки такого типа приложений применялся каскадный способ. Его основной характеристикой является разбиение всей разработки на этапы, причем переход с одного этапа на следующий происходит, только после того, как будет полностью завершена работа на текущем. Каждый этап завершается выпуском полного комплекта документации, достаточной для того, чтобы разработка могла быть продолжена другой командой разработчиков.
Однако, в процессе использования этого подхода обнаружился ряд его недостатков, вызванных прежде всего тем, что реальный процесс создания ПО никогда полностью не укладывался в такую жесткую схему. В процессе создания ПО постоянно возникала потребность в возврате к предыдущим этапам и уточнении или пересмотре ранее принятых решений. Основным недостатком каскадного подхода является существенное запаздывание с получением результатов. Согласование результатов с пользователями производится только в точках, планируемых после завершения каждого этапа работ, требования к ИС "заморожены" в виде технического задания на все время ее создания. Таким образом, пользователи могут внести свои замечания только после того, как работа над системой будет полностью завершена. В случае неточного изложения требований или их изменения в течение длительного периода создания ПО, пользователи получают систему, не удовлетворяющую их потребностям. Модели (как функциональные, так и информационные) автоматизируемого объекта могут устареть одновременно с их утверждением.
|
|
|
2. Для преодоления перечисленных проблем была предложена спиральная модель ЖЦ, делающая упор на начальные этапы ЖЦ: анализ и проектирование. На этих этапах реализуемость технических решений проверяется путем создания прототипов. Каждый виток спирали соответствует созданию фрагмента или версии ПО, на нем уточняются цели и характеристики проекта, определяется его качество и планируются работы следующего витка спирали. Таким образом углубляются и последовательно конкретизируются детали проекта и в результате выбирается обоснованный вариант, который доводится до реализации.
Основная проблема спирального цикла - определение момента перехода на следующий этап. Для ее решения необходимо ввести временные ограничения на каждый из этапов жизненного цикла. Переход осуществляется в соответствии с планом, даже если не вся запланированная работа закончена. План составляется на основе статистических данных, полученных в предыдущих проектах, и личного опыта разработчиков.
Программирование САПР. Синтез структуры САПР.
Т.к. САПР сложная система, ее проектирование должно быть блочно-иерархическим. На верхнем иерархическом системном уровне регламентируются задачи создания описания КТС и программно-методических комплексов (ПМК). На этом уровне в кач-ве эл-в КТС рассматриваются ЭВМ и отд. устройства (процессоры, ввод/вывод, передача данных). Элементами ПМК явл-ся подсистемы ПО (мониторные отдельные модули, реализующие процедурное проектирование). Необходимо определить функции эл-в ПМК, кол-во эл-в КТС, сформулировать ТЗ элементов КТС и ПМК.
|
|
|
Проектирование КТС (комплекса тех. средств) начинается с синтеза структуры комплекса. Синтез достаточно сложный процесс. Не полностью формализованы процедуры. Критерии качества не отображают всевозможные требования ТЗ, в результате могут быть неудачные решения и ошибки. Для их выявления после синтеза идет процедура верификации (проверка на правильность или точность функционирования). Верификация может быть автоматизирована на ЭВМ с помощью имитационного моделирования КТС САПР.
Задачи принятия решений в САПР.
При проектировании на основе САПР имеется возможность получать множество решений различных задач. Выделение некоторого подмножества решений задач относится к проблемам выбора и принятия решений. Задачей принятия решений называют кортеж. Альфа=<W, тета>. W - множ-во вариантов решения задачи. Тета – принцип оптимальности, дающий представление о качестве вариантов. Задачи принятия решений классифицируют по наличию информации и по принципу оптимальности.
1. Задачу, где W и тета могут быть неизвестными называют общей задачей принятия решений.
2. Задачу с неизвестным W называют задачей выбора.
3. Задачу с известными W и тета называют задачей оптимизации.
В САПР встречаются все типы задач. В задачах проектирования св-ва эл-в множества W помогают найти решения. Если произвольные св-ва вариантов W-итое принадлежит W выразить числом к=1,2…, т.е. предположить, что имеется отображение «фи в W на к», то такое число наз-ют критерием, а число фи(W-итое) называют оценкой варианта W-итое по критерию. Критериальным пространством считают пространство «к м», координаты точек которого- оценки по соответствующим критериям. Критерий-это св-во по которому оценивают множество вариантов.
Задачу альфа решают след образом:составляют мн-во вариантов W, т.е. опред вар-ты, а затем решают задачу выбора. Задача построения W в общем случае явл задачей выбора. Общую задачу принятия решений можно свести к решению послед-ных задач выбора. В принятии решения в общем случае участвуют: ЭВМ, лицо принимающее решения, эксперт,дающий оценки вариантам. Частным случаем задачи принятия решения явл задача принятия решения в неопред условиях,возник когда приходится действовать в не полностью известной ситуации. Возможно ошибочное решение.ЛПР должно выработать стратегии, при кот менее нежелат последствий. Для умен неопред можно провести эксперимент,кот увеличит знания, но провед эксперимента требует время, затрат ср-в,кот могут стоить дороже выигрыша. ЛПР должно принять решение о проведении эксперимента.
|
|
|
Моделирование САПР.
Исходные данные для моделирования можно разделить на 3 группы: сведения об объектах проектирования, эффективность программного обеспечения, вычислительное оборудование.
1. сведения об объектах проектирования.
А. интенсивность заявок для всех Q предполагаемых классов объектов.
Б. Распределение вероятностей параметров альфа-i - оценка сложности проектируемого объекта. В кач-ве альфа-i можно использовать размерность проектируемого объекта (кол-во уравнений, параметров, ограничений).
2. Данные. Эффективность ПО – зависимость требуемых объектоввычислений оперативной памяти для всех проектируемых процедур.
3. Характеристики выборного вычисления оборудования.
Данные о производимости устройств:
1. программная обработка данных, документирование, передача данных.
2. Емкость внешних и оперативных запоминающих устройств.
3. Данные о структуре КТС, т.е. объединение ПМК и связей между ними.
Целью моделирования является проверка соответствия (верификация) рез-в синтеза САПР ее назначению, выявление узких мест в синтезированном варианте САПР, получение информации для корректировки в проекте САПР.
Моделир-ние вкл в себя сет имитац модели (СИМ),представ САПР как СМО и выболнение численных экспериментов с этой моделью
Формир СИМ осущ путем отображ стр-р маршрутов проек-ния на синтезир стр-ру КТС САПР. В СИМ (как и СМО) имеется 2 типа объектов:1. модели ресурсов (Эл-ты КТС и в некот случаях Эл-ты ПМК) 2. модели заявок (проекты, проход путь от ввода ТЗ до получ окончат описания) К ресурсам относ:память,уст-ва, источники заявок и узлы. В устр-вах происход обраб данных. Мат модель уст-ва представл собой алгоритм, позвол расчит длительность обработки приход на вход заявок. Узлы служат для отображ в СИМ путей прохожд заявок в соотв с марш проект-ния и прянятых распред проект процедур по различ уровням ПМК САПР.Узля иммитир выбор одного из альтернат путей прохожд заявок. Пар-рами заявок явл из имена, указатели на принадл к опред классу и т.п. Выч эксперимент-для описания испол яз иммитац прог-ния. По окончанию рассчитывают: коэф загрузки оборуд КТС, max длину очередей, ср вр ожидания в очередя и обслуж заявок, вер-ть их обслуж за иное вр, производительность сист, приним как кол-во заявок обраб за ед вр.
|
|
|
