18586

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

Доклад

Информатика, кибернетика и программирование

Инструментальные средства концептуального проектирования автоматизированных систем В современных информационных технологиях важное место отводится инструментальным средствам и средам разработки АС в частности системам разработки и сопровождения их ПО. Эти технол

Русский

2013-07-08

41.5 KB

35 чел.

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

В современных информационных технологиях важное место отводится инструментальным средствам и средам разработки АС, в частности системам разработки и сопровождения их ПО. Эти технологии и среды образуют системы, называемые CASE-системами.

Аббревиатура CASE имеет двоякое толкование, соответствующее двум направлениям использования CASE-систем. Первое из них — Computer Aided System Engineeringподчеркивает направленность на поддержку концептуального проектирования сложных систем, преимущественно слабоструктурированных. Далее CASE-системы этого направления будем называть системами CASE для концептуального проектирования. Второе направление называют Computer Aided Software Engineering, что переводится как автоматизированное проектирование программного обеспечения. Соответствующие CASE-системы называют инструментальными CASE или инструментальными средами разработки ПО.

Среди систем CASE для концептуального проектирования различают системы функционального, информационного или поведенческого проектирования. Наиболее известной методикой функционального проектирования сложных систем является методика SADT (Structured Analysis and Design Technique), предложенная в 1973 г. Р. Россом и впоследствии ставшая основой стандарта IDEFO (Integrated DEFinition 0).

Системы информационного проектирования реализуют методики инфо-логического проектирования баз данных. Широко используются язык и методика создания информационных моделей приложений, закрепленные в методике IDEF1X. Кроме того, развитые коммерческие СУБД, как правило, имеют в своем составе совокупность CASE-средств проектирования приложений.

Основные положения стандартов IDEF0 и IDEFIX использованы также при создании комплекса стандартов ISO 10303, лежащих в основе технологии STEP для представления в компьютерных средах информации, относящейся к проектированию и производству в промышленности.

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

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

Среди инструментальных CASE-систем различают интегрированные комплексы инструментальных средств для автоматизации всех этапов жизненного цикла ПО (такие системы называют Workbench) и специализированные инструментальные средства для выполнения отдельных функций (Tools). Средства CASE-систем по своему функциональному назначению принадлежат к одной из следующих групп: 1) средства программирования; 2) средства управления программным проектом; 3) средства верификации (анализа) программ; 4) средства документирования.

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

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

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

Средства верификации служат для оценки эффективности исполнения разрабатываемых программ и определения наличия в них ошибок и противоречий. Различают статические и динамические анализаторы. В статических анализаторах ПО исследуется на наличие неопределенных данных, бесконечных циклов, недопустимых передач управления и т. п. Динамический анализатор функционирует в процессе исполнения проверяемой программы; при этом исследуются трассы, измеряются частоты обращений к модулям и т. п. Используемый математический аппарат — сети Петри, теория массового обслуживания.

В последнюю из перечисленных групп входят документаторы для оформления программной документации, например отчетов по данным репозитория; различные редакторы для объединения, разделения, замены, поиска фрагментов программ и других операций редактирования.

Проектирование ПО с помощью CASE-систем включает в себя несколько этапов. Начальный этап — предварительное изучение проблемы. Результат представляют в виде исходной диаграммы потоков данных и согласуют с заказчиком. На следующем этапе выполняют детализацию ограничений и функций программной системы и полученную логическую модель вновь согласуют с заказчиком. Далее разрабатывают физическую модель, т. е. определяют модульную структуру программы, выполняют инфологическое проектирование баз данных, детализируют граф-схемы программной системы и ее модулей.

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

CASE-система, как система проектирования ПО, содержит компоненты для разработки структурных схем алгоритмов и «экранов» для взаимодействия с пользователем в интерактивных процедурах, средства для инфологического проектирования баз данных, отладки программ, документирования, сохранения «истории» проектирования и т. п. Наряду с этим в CASE-подсистему САПР входят и компоненты со специфическими для САПР функциями.

Так, в состав САПР Microstation (фирма Bentley Systems) включена инструментальная среда Microstation Basic и язык MDL (Microstation Development Language) с соответствующей программной поддержкой. Язык MDL — С-подобный, с его помощью можно лаконично выразить обращения к проектным операциям и процедурам. В целом среда Microstation Basic близка по своим функциям к среде MS Visual Basic, в ней имеются генератор форм, редактор, конструктор диалога, отладчик.

САПР Спрут (российская фирма Sprut Technologies), вообще говоря, создана как инструментальная среда для разработки пользователем потоков задач конструкторского и технологического проектирования в машиностроении с последующим возможным оформлением потоков в виде пользовательских версий САПР. Сконструированный поток поддерживается компонентами системы, в число которых входят графические 2D- и 3D -подсистемы, СУБД, продукционная экспертная система, документатор, технологический процессор создания программ для станков с ЧПУ, постпроцессоры.

Наиболее известной CASE-системой в составе САПР в настоящее время является описываемая ниже система CAS. CADE фирмы MatraDatavision, с ее помощью фирма разработала версию Euclid Quantum своей САПР Euclid.


 

А также другие работы, которые могут Вас заинтересовать

33680. Допрос 29 KB
  При проведении допроса в конфликтной ситуации следователь использует следующие тактические приемы: следователь и подозреваемый либо обвиняемый разъясняет допрашиваемому значение чистосердечного признания и дачи правдивых показаний; выявляет мотивы дачи ложных показаний и устраняет эти мотивы; убеждает с помощью логических доводов в бессмысленности попыток дачи ложных показаний; максимально детализирует и конкретизирует показания допрашиваемого; предъявляет доказательства изобличающие допрашиваемого начиная с самого веского либо наоборот;...
33681. Допрос подозреваемого (обвиняемого) 12.71 KB
  В соответствии с этим следователю необходимо попытаться выяснить причины конфликта и направить усилия на их устранение для формирования условия получения достоверных показаний. Основные приемы установления психологического контакта с допрашиваемым в конфликтной ситуации: 1 убедить допрашиваемого в объективности следователя внушить уважение к следователю; 2 вызвать интерес к даче показаний к процессу общения со следователем; 3 проявлять заботу о соблюдении прав допрашиваемого и об удовлетворении его за конных интересов; 4 создать и...
33682. Бесконфликтная ситуация допроса 11.48 KB
  В связи с объективным характером этой ситуации тактическая задача следователя при допросе может быть сведена к одному но весьма существенному положению: не сделать ситуацию допроса конфликтной не спровоцировать своими действиями поведением конфликт с допрашиваемым. Дело в том что успех допроса как и любого иного вида человеческого общения зависит не только от объективных но и от субъективных факторов. Необдуманная форма вызова лица на допрос оказавшаяся неприятной или нежелательной для допрашиваемого длительное ожидание под дверями...
33683. ТАКТИЧЕСКИЕ ПРИЕМЫ ОЧНОЙ СТАВКИ 12.34 KB
  Задачи очной ставки: 1 общие: а проверка имеющихся доказательств; б получение новых доказательств; в установление истины по спорным обстоятельствам; 2 конкретные: а преодоление добросовестного заблуждения допрашиваемого; б разоблачение лжи одного из допрашиваемых; в разоблачение ложного алиби; г разоблачение самооговора или оговора одного допрашиваемого другим; д разоблачение инсценировок преступления; е выяснение причин происхождения существенных противоречий; ж изучение личности допрашиваемого; з проверка и оценка следственных...
33684. Тактика подготовки и проведения предъявления для опознания живых лиц в натуре и по фотографии 14.53 KB
  тактика подготовки и проведения предъявления для опознания живых лиц в натуре и по фотографии Предъявление для опознания это самостоятельное следственное действие которое состоит в отождествлении ранее воспринимаемого объекта по его мысленному образу. Цель предъявления для опознания идентификация объекта который ранее воспринимал опознающий в связи с совершением преступления. Подготовка к предъявлению для опознания является обязательным условием успеха этого следственного действия. Она включает в себя: определение конкретной цели...
33686. ПОНЯТИЕ, ВИДЫ И ЗАДАЧИ СЛЕДСТВЕННОГО ЭКСПЕРИМЕНТА 13.35 KB
  Цель следственного эксперимента – проверка и уточнение данных имеющих значение для уголовного дела. Задачи следственного эксперимента: 1 получение новых и проверка имеющихся доказательств; 2 оценка следственных версий о возможности или невозможности существования тех или иных фактов имеющих значение для дела; 3 получение от подозреваемого обвиняемого потерпевшего и свидетеля правдивых показаний; 4 восстановление в памяти участников преступления отдельных обстоятельств которые были ими забыты или по поводу которых они добросовестно...
33688. Проверка показаний на месте 12.14 KB
  Сущность данного действия заключается в воспроизведении лицом дающим показания на месте обстановки и обстоятельств исследуемого события указывании на предметы документы следы имеющие значение для расследуемого уголовного дела. Необходимость в проверке показаний на месте возникает тогда когда в показаниях допрошенного лица есть данные о месте события или о маршруте но следователь не смог установить точное местонахождение. Проверку показаний на месте можно проводить когда в показаниях допрашиваемого содержатся сведения о местонахождении...