WWW.PROGRAMMA.X-PDF.RU
БЕСПЛАТНАЯ ЭЛЕКТРОННАЯ БИБЛИОТЕКА - Учебные и рабочие программы
 


«РАБОЧАЯ ПРОГРАММА по дисциплине М.1.1.4 «Системная инженерия» направления подготовки 09.04.02 «Информационные системы и технологии» форма обучения – очная курс – 1 семестр – 2 зачетных ...»

Федеральное государственное бюджетное образовательное учреждение

высшего образования

«Саратовский государственный технический университет имени Гагарина Ю.А.»

Кафедра «Прикладные информационные технологии»

РАБОЧАЯ ПРОГРАММА

по дисциплине

М.1.1.4 «Системная инженерия»

направления подготовки

09.04.02 «Информационные системы и технологии»

форма обучения – очная

курс – 1

семестр – 2

зачетных единиц – 6 часов в неделю – 2 всего часов – 216 в том числе:

лекции – 14 коллоквиумы – 4 практические занятия – 18 лабораторные занятия – нет самостоятельная работа – 180 зачет – нет экзамен – 2 семестр курсовая работа – 2 семестр курсовой проект – нет

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

Задачи изучения дисциплины: Знакомство и практическое освоение основных принципов создания систем с большими функциональными возможностями, управления целями, сроками, ресурсами и ценой проекта, минимизацией затрат и стоимости.

2. Место дисциплины в структуре ООП ВО

Необходимые входные знания обучающегося:

Базовые знания современных информационных технологий;

Умение писать консольные приложения на язык C#;

Базовые знания объектно-ориентированного программирования.

3. Требования к результатам освоения дисциплины Изучение дисциплины направлено на формирование следующих компетенций: ПК2, ПК4.

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

Студент должен уметь: разрабатывать новые методы и средства проектирования информационных систем.

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

Студент должен уметь: разрабатывать новые методы и средства проектирования информационных систем; создавать системы с большими функциональными возможностями, управлять целями, сроками, ресурсами и ценой проекта, минимизировать затраты и стоимость.

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

Студент должен уметь: разрабатывать новые методы и средства проектирования информационных систем; создавать системы с большими функциональными возможностями, управлять целями, сроками, ресурсами и ценой проекта, минимизировать затраты и стоимость.

Студент должен владеть: способностью осуществлять авторское сопровождение процессов проектирования, внедрения и сопровождения информационных систем и технологий; навыками проектирования информационных систем

–  –  –

программирования.

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

Формальные спецификации, доказательство и 9,15,16

–  –  –

11. Курсовая работа

Перечень тем:

1. Информационная система «Деканат»

2. Информационно-справочная система «Библиотека»

3. Информационно-справочная система «Автоперевозки»

4. Информационная система «Склад»

5. Информационно-справочная система «Железнодорожные перевозки»

6. Информационная система «Служба доставки почты»

7. Информационная система «Служба поддержки пользователей Helpdesk»

Учебно-методическое обеспечение (ссылки на раздел 15. «Перечень учебнометодического обеспечения для обучающихся по дисциплине»): 17, 1, 3, 4, 5.

–  –  –

13. Фонд оценочных средств для проведения промежуточной аттестации обучающихся по дисциплине (модулю) ПК-2: оценивается по результатам выполнения курсовой работы.

ПК-4: оценивается по результатам тестирования и ответов на экзаменационные вопросы.

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

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

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

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

Вопросы для экзамена

1. Определение программной инженерии, ее место в инженерной деятельности специалистов при создании компьютерных систем

2. Общее описание десяти областей знаний профессионального ядра знаний SWEBOK.

3. Жизненный цикл стандарта ISO/IEC 12207 и связь его процессов с областями знаний SWEBOK.

4. Основные модели жизненного цикла, которые используются в практике проектирования программных систем.

5. Стандарт ISO/IEC 12207 и подходы к формированию рабочих моделей жизненного цикла на его основе.

6. Характеристика фундаментальных моделей ЖЦ (водопадной, спиральной, инкрементной, эволюционной) и стандартной модели.

7. Методы и инженерия требований к системе.

8. Процесс сбора, накопления и спецификации требований.

9. Классификация требований и характеристика функциональных и нефункциональных требований.

10. Рассмотрение и характеристика методов анализа предметной области и построения моделей.

11. Объектно-ориентированные и стандартизованные, традиционные методы проектирования архитектуры системы.

12. Базовые основы методов прикладного, систематического (структурного, компонентного, аспектно-ориентированного и др.) и теоретического (алгебраического, композиционного, концепторного и алгебро-алгоритмического).

13. Понятие формальных методов спецификаций (Z, VDM, RAISE), методов доказательства правильности программ с помощью утверждений, пред- и постусловий и верификации программ.

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

15. Основы интеграции и преобразования разноязыковых программ и данных, методы изменения (реинженерия, реверсная инженерия и рефакторинг) компонентов и систем.

16. Характеристика стандарта о независимости типов и структур данных от языков программирования.

17. Принципы взаимодействия неоднородных компонентов в современных промежуточных средах.

18. Современные основы инженерии приложений и предметных областей (доменов), тенденции и направления их развития в плане производства одиночных программных систем из повторных компонентов и целых семейств с многоразовым применением компонентов и одиночных программных систем.

19. Представление моделей качества ПС, метрики и методы достижения и измерения качества ПС.

20. Характеристика и классификация математических моделей надежности Марковского и пуассоновского типов.

21. Анализ и описание инженерии программирования, принципов и методов планирования и управления программным проектом, рисками и формированием версий программных систем.

22. Обзор современных языковых средств и спецификации интерфейсов объектов программирования. Средства разработки MSF фирмы Microsoft.

Тестовые задания по дисциплине

1. Какие из приведенных областей знаний являются основными в ядре SWEBOK?

Инженерия требований Проектирование ПО Конструирование ПО Тестирование ПО Управление проектами Управление конфигурацией Методы и средства инженерии Инженерия качества программных средств

2. Какие из приведенных областей знаний являются организационными в ядре SWEBOK?

Инженерия требований Проектирование ПО Конструирование ПО Тестирование ПО Управление проектами Управление конфигурацией Методы и средства инженерии Инженерия качества программных средств

3. Что из перечисленного является разделами области знания «Инженерия требований» в ядре SWEBOK?

выявление требований анализ требований спецификация требований валидация требований архивация требований повторное использование требований моделирование требований активация требований

4. Установите соответствие понятий области знания «Инженерия требований» и приведенных определений.

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

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

Спецификация требований - процесс формализованного описания функциональных и нефункциональных требований, требований к характеристикам качества в соответствии со стандартом качества, которые будут отрабатываться на этапах ЖЦ ПО.

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

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

5. Что из перечисленного является разделами области знаний «Проектирование ПО» в ядре SWEBOK?

базовые концепции проектирования ПО ключевые вопросы проектирования ПО структура и архитектура ПО анализ и оценка качества проектирования ПО организация проектирования ПО базовые концепции тестирования ПО сопровождение ПО верификация ПО

6. Что из перечисленного является разделами области знаний «Конструирование ПО» в ядре SWEBOK?

снижение сложности предупреждение отклонений от стиля структуризация проверок использование внешних стандартов снижение стоимости увеличение производительности повторное использование ПО стандартизация ПО

7. Что из перечисленного является разделами области знаний «Тестирование ПО» в ядре SWEBOK?

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

8. Установите соответствие методов тестирования ПО приведенным определениям.

Функциональное тестирование – обеспечивает проверку реализации функций, которые определены в требованиях, а также правильность их выполнения Регрессионное тестирование – повторное выборочное тестирование системы или ее компонентов после внесения в них изменений на тех же тестах, что и до модификации Тестирование эффективности – проверяет производительность, пропускную способность, максимальный объем данных и системные ограничения в соответствии со спецификациями требований Стресс-тестирование – проверяет поведение системы при максимально допустимой нагрузке или при ее превышении Альфа и бета тестирование – внутреннее тестирование кодов системы и внешнее тестирование интерфейсов Конфигурационное тестирование – проверяет структуры и идентификации системы на различных наборах данных, а также работу системы на различных конфигурациях аппаратуры и оборудования

9. Что из перечисленного является разделами области знаний «Сопровождение ПО» в ядре SWEBOK?

основные концепции сопровождения процесс сопровождения ключевые вопросы сопровождения техники сопровождения организация сопровождения идентификация сопровождения авторизация сопровождения интенсификация сопровождения

10. Установите соответствие технологий эволюции ПО приведенным определениям.

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

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

Рефакторинг - это реорганизация кода для улучшения характеристик и показателей качества объектно-ориентированных и компонентных программ без изменения их поведения.

11. Что из перечисленного является разделами области знаний «Управление конфигурацией ПО» в ядре SWEBOK?

идентификация конфигурации ПО контроль конфигурации ПО учет статуса конфигурации ПО аудит конфигурации ПО тестирование конфигурации ПО валидация конфигурации ПО верификация конфигурации ПО диверсификация конфигурации ПО

12. Что из перечисленного является разделами области знаний «Управление конфигурацией ПО» в ядре SWEBOK?

организационное управление управление процессом и проектом инженерия измерений ПО управление конфигурацией управление тестированием основные концепции и методы управления

13. Что из перечисленного является разделами области знаний «Процесс инженерии ПО»

в ядре SWEBOK?

инфраструктура процесса определение процесса оценки процесса количественный анализ процесса инициализация процесса валидация процесса верификация процесса детализация процесса

14. Что из перечисленного является разделами области знаний «Качество ПО» в ядре SWEBOK?

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

15. Какие процессы относятся к основным процессам жизненного цикла ПО в соответствии со стандартом ISO/IEC 12207?

Разработка Эксплуатация Сопровождение Процессы поддержки разработки ПО Процессы управления Процессы усовершенствования

16. Какие процессы относятся к вспомогательным процессам жизненного цикла ПО в соответствии со стандартом ISO/IEC 12207?

Разработка Эксплуатация Сопровождение Процессы поддержки разработки ПО Процессы управления Процессы усовершенствования

17. Установите последовательность этапов в соответствии с каскадной моделью жизненного цикла программных систем.

1. Определение требований

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

3. Реализация системы

4. Тестирование системы на проверку правильности (верификация)

5. Тестирование системы на соответствие требованиям

6. Сопровождение

18. Что из перечисленного относится к недостаткам каскадной модели жизненного цикла программных систем?

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

19. Какой модели жизненного цикла соответствует следующее описание:

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

Инкрементная модель Каскадная модель Спиральная модель

20. Какой модели жизненного цикла соответствует следующее описание:

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

Инкрементная модель Каскадная модель Спиральная модель

21. Установите соответствие типов требований к программному продукту приведенным определениям.

Требования пользователей (user requirements) основываются на целях и задачах, которые пользователям позволит решать будущая система. К способам представления этого вида требований относятся варианты использования, сценарии, прецеденты, таблицы "событиеотклик" и т.п.

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

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

Функциональные требования - это перечень функций или сервисов, которые должна выполнять система, а также ограничений на данные и поведение системы. Спецификация функциональных требований (software requirements specification) включает в себя описание функций, которые не должны быть противоречивыми и взаимоисключающими.

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

22. К какому типу требований относятся требования к защите данных, несанкционированному доступу, к регистрации событий системы (резервное копирование, восстановление БД, аудит отказов и т.п.).

Требования пользователей Системные требования Функциональные требования Нефункциональные требования

23. Что из перечисленного относится к методам сбора требований?

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

24. Что из перечисленного относится к основным задачам управления требованиями?

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

25. Какому понятию соответствует следующее определение:

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

Валидация требований Верификация требований Спецификация требований Анализ требований

26. Какому понятию соответствует следующее определение:

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

Валидация требований Верификация требований Спецификация требований Анализ требований

27. Какому понятию соответствует следующее определение:

процесс формализованного описания функциональных и нефункциональных требований, требований к характеристикам качества в соответствии со стандартом качества, которые будут отрабатываться на этапах ЖЦ ПО.

Валидация требований Верификация требований Спецификация требований Анализ требований

28. Какому понятию соответствует следующее определение:

процесс проверки правильности спецификаций требований на их соответствие, непротиворечивость, полноту и выполнимость, а также на соответствие стандартам.

Валидация требований Верификация требований Спецификация требований Анализ требований

29. Какое средство UML используется для формирования и представления требований к системе?

Диаграмма прецедентов (вариантов использования) Диаграмма классов Диаграмма объектов Диаграмма состояний

30. Внешние по отношению к системе факторы на диаграмме прецедентов называются Акторами Прецедентами Действиями Классами

31. Какое из приведенных понятий объектного анализа соответствует следующему определению:

- это абстрактный образ с поведением, которое обусловлено его характеристиками и взаимоотношениями с другими объектами предметной области.

Объект Концепт Атрибут Отношение Класс

32. Какое из приведенных понятий объектного анализа соответствует следующему определению:

- это значение некоторой абстрактной сущности ПрО, обозначается уникальным именем или идентификатором.

Объект Концепт Атрибут Отношение Класс

33. Какое из приведенных понятий объектного анализа соответствует следующему определению:

- это абстракция, которой владеют все абстрагированные концепты сущности.

Объект Концепт Атрибут Отношение Класс

34. Какое из приведенных понятий объектного анализа соответствует следующему определению:

- это абстракция набора связей, которые имеют место между разными видами объектов предметной области, абстрагированных как концепты.

Объект Концепт Атрибут Отношение Класс

35. Какое из приведенных понятий объектного анализа соответствует следующему определению:

- это множество объектов, обладающих одинаковыми свойствами, операциями, отношениями и семантикой.

Объект Концепт Атрибут Отношение Класс

36. Установите соответствие типов связей между объектами приведенным определениям.

связь один к одному (1:1) существует тогда, когда один экземпляр объекта некоторого класса связан с единственным экземпляром другого класса, т.е. в связи принимают участие по одному экземпляру из классов;

связь один ко многим (1:N) существует тогда, когда один экземпляр объекта некоторого класса связан одновременно с одним или более экземплярами другого класса или того же самого класса;

связь многие ко многим (M:N) существует тогда, когда в связях принимают участие несколько экземпляров объектов двух классов, т.е. один или больше экземпляров другого класса связан с одним или более экземплярами первого класса.

37. Какие модели являются составной частью метода объектно-ориентированного анализа Шлеера и Меллора?

информационная модель системы модель состояний объектов в информационной модели системы модель процессов модель отношений модель распределения модель объединения

38. Какой модели объектно-ориентированного анализа соответствует следующее определение:

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

информационная модель системы модель состояний объектов в информационной модели системы модель процессов модель отношений

39. Установите соответствие видов проектирования приведенным определениям.

концептуальное проектирование, состоит в построении концептуальной модели, уточнении и согласовании требований;

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

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

детальное рабочее проектирование, состоит в спецификации алгоритмов задач, построении БД и программного обеспечения системы.

40. Установите соответствие видов компонентов архитектуры приведенным определениям.

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

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

Специфические компоненты определенной проблемной области, являются составляющими компонентами программных систем и предназначены для решения различных задач (например, бизнес-задач).

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

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

Структурного Объектно-ориентированного Компонентного Аспектно-ориентированного Генерирующего

42. Что из перечисленного относится к основным принципам структурного подхода к разработке программных систем.

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

43. Что изображается сверху функционального блока на диаграмме IDEF0?

Входы Выходы Управление Механизм

44. Что изображается снизу функционального блока на диаграмме IDEF0?

Входы Выходы Управление Механизм

45. Что изображается слева от функционального блока на диаграмме IDEF0?

Входы Выходы Управление Механизм

46. Что изображается справа от функционального блока на диаграмме IDEF0?

Входы Выходы Управление Механизм

47. На диаграмме классов каждый класс изображается прямоугольником, разделенным на три части. Что помещают в верхнюю часть?

Имя класса Список атрибутов класса Список операций класса Список объектов класса

48. На диаграмме классов каждый класс изображается прямоугольником, разделенным на три части. Что помещают в среднюю часть?

Имя класса Список атрибутов класса Список операций класса Список объектов класса

49. На диаграмме классов каждый класс изображается прямоугольником, разделенным на три части. Что помещают в нижнюю часть?

Имя класса Список атрибутов класса Список операций класса Список объектов класса

50. Что называют агентом в агентном программировании?

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

Внешняя сущность, взаимодействующая с программой.

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

Набор классов, выполняющих определенную функцию программной системы.

51. Что называют формальной спецификацией программы?

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

Перечень функций, выполняемых программой, с описанием их входных и выходных данных.

Перечень компонентов, из которых состоит программа, с описанием интерфейсов взаимодействия с другими компонентами.

Перечень операторов, из которых состоит программа с кратким описанием их назначения.

52. Что из перечисленного можно отнести к языкам спецификации программ?

Z VDM RAISE Java Prolog C#

53. Определите последовательность разработки при использовании метода VDM.

1. Определение терминов, которыми будет специфицироваться программа.

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

3. Описание инвариантных свойств программы.

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

54. Какой из формальных методов доказательства программ основан на определении условий для входных и выходных данных и в выборе контрольных точек в доказываемой программе так, чтобы путь прохождения по программе пересекал хотя бы одну контрольную точку?

Метод Флойда Метод Хоара Метод Маккарти Метод Дейкстры

55. Какой из формальных методов доказательства программ основан на аксиоматическом описании семантики языка программирования исходных программ? Каждая аксиома описывает изменение значений переменных с помощью операторов этого языка.

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

Метод Флойда Метод Хоара Метод Маккарти Метод Дейкстры

56. Какой из формальных методов доказательства программ состоит в структурной проверке функций, работающих над структурными типами данных, структур данных и диаграмм перехода во время символьного выполнения программ?

Метод Флойда Метод Хоара Метод Маккарти Метод Дейкстры

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

Метод Флойда Метод Хоара Метод Маккарти Метод Дейкстры

58. Какой метод позволяет установить выполнимость заданных требований путем их просмотра, инспекции и оценки результатов проектирования на этапах ЖЦ для подтверждения того, что проводится корректная реализация требований, соблюдение заданных условий и ограничений к системе.

Валидация Верификация Декомпозиция Аутентификация

59. Метод «черного ящика» относится к ___________методам тестирования.

Статическим Динамическим Формальным Прикладным

60. В каком из методов тестирования не предполагается исследование внутренней структуры программы?

Метод черного ящика Метод белого ящика Инспекция ПО

61. Что называют классами эквивалентности при тестировании методом черного ящика?

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

Тип программы, которая подвергается тестированию.

Часть программы, которая проверяется определенной группой тестов.

Тип результата, который выдает программа при применении к ней заданного теста.

62. Установите соответствие типов ошибок, возникающих в программах, приведенным определениям.

Логические ошибки являются причиной нарушения логики алгоритма, внутренней несогласованности переменных и операторов, а также правил программирования.

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

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

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

63. Какой вид изменения программной системы предполагает выполнение следующих операций?

именование компонентов и их идентификация;

расширение функций существующей реализации компонентов;

перевод языка компонента в новый современный язык программирования;

реструктуризация структуры компонента;

модификация описания компонента и его данных.

Реинженерия Рефакторинг Реверсная инженерия

64. При использовании какого типа изменения программной системы операция не изменяет функциональность компонента и новый компонент может применяться в ранее построенных компонентных системах?

Реинженерия Рефакторинг Реверсная инженерия

65. Что из перечисленного относится к подхарактеристикам надежности программного обеспечения?

безотказность устойчивость к ошибкам восстанавливаемость функциональная полнота интероперабельность масштабируемость

14. Образовательные технологии

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

1. Презентации, подготовленные в MS PowerPoint.

2. Интерактивные лекционные демонстрации: разбор решения конкретных задач с использованием среды визуального программирования MS Visual Studio, с демонстрацией действий на экране в лекционной аудитории.

3. Промежуточный контроль знаний в форме мини-тестирования на практических занятиях.

–  –  –

1. Обязательные издания.

1. Батоврин В.К. Системная и программная инженерия. Словарь-справочник [Электронный ресурс]: учебное пособие для вузов/ Батоврин В.К.— Электрон. текстовые данные.— М.: ДМК Пресс, 2010.— 280 c.— Режим доступа: http://www.iprbookshop.ru/7972.— ЭБС «IPRbooks», по паролю

2. Мартынов В.В. Жизненный цикл изделий и системы его информационной поддержки [Текст] : учеб. пособие по дисц. "Системы обеспечения жизненного цикла изделий" для магистрантов напр. 151000 / В. В.

Мартынов ; М-во образования и науки РФ, Саратовский гос. техн. ун-т. Саратов : СГТУ, 2012.

3. Синицын С.В. Программирование на языке высокого уровня : учебник / С.

В. Синицын, А. С. Михайлов, О. И. Хлытчиев. - М. : ИЦ "Академия", 2010. с. : ил.

4. Кириллов В.В. Введение в реляционные базы данных [+CD] / В. В.

Кириллов, Г. Ю. Громов. - СПб. : БХВ-Петербург, 2012.

2. Дополнительные издания.

5. Биллиг В.A. Основы объектного программирования на С# (C# 3.0, Visual Studio 2008) [Электронный ресурс]/ Биллиг В.A.— Электрон. текстовые данные.— М.: БИНОМ. Лаборатория знаний, Интернет-Университет

Информационных Технологий (ИНТУИТ), 2010.— 582 c.— Режим доступа:

http://www.iprbookshop.ru/16092.— ЭБС «IPRbooks», по паролю.

6. Незнанов А.А. Программирование и алгоритмизация : учебник / А. А.

Незнанов. - М. : ИЦ "Академия", 2010..

7. Липаев В.В. Программная инженерия сложных заказных программных продуктов [Электронный ресурс]: учебное пособие/ Липаев В.В.— Электрон. текстовые данные.— М.: МАКС Пресс, 2014.— 309 c.— Режим доступа: http://www.iprbookshop.ru/27297.— ЭБС «IPRbooks», по паролю.

8. Программные средства в учебном процессе и научных исследованиях [Текст] / Сарат. гос. техн. ун-т (Саратов) ; О. А. Панина ; отв.за вып. О. В.

Колесникова. - Саратов : СГТУ, 1996.

9. Липаев В.В. Экономика программной инженерии заказных программных продуктов [Электронный ресурс]: дополнение к учебному пособию «Программная инженерия сложных заказных программных продуктов» (для бакалавров)/ Липаев В.В.— Электрон. текстовые данные.— Саратов:

Вузовское образование, 2015.— Режим доступа:

139 c.— http://www.iprbookshop.ru/27303.— ЭБС «IPRbooks», по паролю.

3. Методические указания для обучающихся по освоению дисциплины (модуля)

4. ПЕРИОДИЧЕСКИЕ ИЗДАНИЯ

10. Журнал «Информационные технологии» ISSN 1684-6400 Подписной индекс 72656

5. Интернет-ресурсы

6. Источники ИОС

11. Методические указания по выполнению лабораторных работ в ИОС по данному курсу.

12. Презентации в ИОС по данному курсу.

13. Лекции в ИОС по данному курсу.

14. Методические указания по выполнению курсовой работы в ИОС.

7. Профессиональные Базы Данных

8. Печатные и электронные образовательные ресурсы в формах адаптированных для студентов с ограниченными возможностями здоровья (для групп и потоков с такими студентами)

9. Ресурсы материально-технического и учебно-методического обеспечения, предоставляемые организациями-участниками образовательного процесса (сетевая форма, филиал кафедры на предприятии)

–  –  –

- аудитория со стандартным оснащением для ведения лекционных занятий;

Описание оснащения: персональный компьютер на рабочем месте преподавателя с установленным ПО: MS Office 2007 (или выше), проектор для демонстрации презентаций на экран.

- аудитория со стандартным оснащением для ведения практических занятий;

Описание оснащения: персональные компьютеры по количеству студентов в группе с установленным ПО: MS Office 2007 (или выше), MS Visio 2007 (или выше), MS Visual Studio 2008 (или выше). Возможен вариант установки MS Visio и MS Visual Studio на сервере с доступом на сервер с компьютеров студентов через удаленный рабочий стол.



 

Похожие работы:

«Министерство образования и науки Российской Федерации Федеральное государственное автономное образовательное учреждение высшего профессионального образования «СИБИРСКИЙ ФЕДЕРАЛЬНЫЙ УНИВЕРСИТЕТ» УТВЕРЖДАЮ Председатель приёмной комиссии Е.А. Ваганов 2 марта 2015 г. ПРОГРАММА вступительного испытания в магистратуру в форме письменного экзамена Направление 27.04.01 «Стандартизация и метрология» Магистерская программа 27.04.01.01 «Стандартизация и метрология в инновационной сфере» (политехнический...»

«Пояснительная записка. Рабочая программа дисциплины разработана в соответствии с Федеральным государственным образовательным стандартом (ФГОС) высшего профессионального образования по направлению подготовки (специальности) 201000 “Биотехнические системы и технологии”, с учётом рекомендаций примерной основной образовательной программы высшего профессионального образования по направлению подготовки (специальности) 201000 “Биотехнические системы и технологии” и примерной (типовой) учебной...»

«Федеральное государственное бюджетное образовательное учреждение высшего образования «Саратовский государственный технический университет имени Гагарина Ю.А.» Кафедра «Экологии» РАБОЧАЯ ПРОГРАММА по дисциплине Б.2.1.4 «Экология» направления подготовки (15.03.01) 150700.62 «Машиностроение» Классификация (степень) бакалавр Профиль «Оборудование и технология сварочного производства» форма обучения – очная курс – семестр – зачетных единиц – 3 часов в неделю – 3 всего часов – 72 в том числе: лекции...»

«Федеральное государственное бюджетное образовательное учреждение высшего образования «Саратовский государственный технический университет имени Гагарина Ю.А.» Кафедра « История Отечества и культуры» РАБОЧАЯ ПРОГРАММА по дисциплине Б.1.3.3.1 «Правовое государство: история и современность» направление подготовки (54.03.01) 072500.62 «Дизайн» Квалификация (степень) бакалавр Профиль 1 «Графический дизайн» форма обучения – очная курс – семестр – 3 зачетных единиц – 2 часов в неделю – 2 академических...»

«Рабочая программа по курсу «Математика вокруг нас» 8-9 классы (Федеральный государственный образовательный стандарт основного общего образования) (редакция 04.03. 2015 г.) Учителя математики Г.Н.Миронова, Г.Н.Бобринская МБОУ Лицей «Эврика» 2015 г. Структура рабочей программы 1. Пояснительная записка, в которой конкретизируются общие цели основного общего образования с учетом специфики учебного предмета.2. Общая характеристика учебного предмета, курса. 3. Описание места учебного предмета, курса...»

«Федеральное государственное бюджетное образовательное учреждение высшего образования «Саратовский государственный технический университет имени Гагарина Ю.А.» Кафедра «Экология» РАБОЧАЯ ПРОГРАММА по дисциплине «Б.2.1.7 Экология» направления подготовки (22.03.02) 150400.62 «Металлургия» Квалификация (степень) бакалавр Профиль «Обработка металлов давлением» форма обучения – очная курс – семестр – зачетных единиц – 2 часов в неделю – 2 всего часов – 72 в том числе: лекции – 1 коллоквиум – 4...»

«PDF created with pdfFactory Pro trial version www.pdffactory.com МИНИСТЕРСТВО ОБРАЗОВАНИЯ И НАУКИ РОССИЙСКОЙ ФЕДЕРАЦИИ ИНСТИТУТ СФЕРЫ ОБСЛУЖИВАНИЯ И ПРЕДПРИНИМАТЕЛЬСТВА (ФИЛИАЛ) ФЕДЕРАЛЬНОГО ГОСУДАРСТВЕННОГО БЮДЖЕТНОГО ОБРАЗОВАТЕЛЬНОГО УЧРЕЖДЕНИЯ ВЫСШЕГО ПРОФЕССИОНАЛЬНОГО ОБРАЗОВАНИЯ «ДОНСКОЙ ГОСУДАРСТВЕННЫЙ ТЕХНИЧЕСКИЙ УНИВЕРСИТЕТ» В Г.ШАХТЫ РОСТОВСКОЙ ОБЛАСТИ (ИСОиП (филиала) ДГТУ) УТВЕРЖДАЮ Директор С.Г. Страданченко «_»2014 г. ОБРАЗОВАТЕЛЬНАЯ ПРОГРАММА ВЫСШЕГО ОБРАЗОВАНИЯ Направление...»

«Федеральное государственное бюджетное образовательное учреждение высшего образования «Саратовский государственный технический университет имени Гагарина Ю.А.» Институт развития бизнеса и стратегий Кафедра «Менеджмент и логистика» РАБОЧАЯ ПРОГРАММА по дисциплине Б.3.1.6 Информационные технологии в лингвистике направления подготовки 45.03.02«Лингвистика», для профиля «Перевод и переводоведение» форма обучения –очная курс – семестры – 5, зачетных единиц – часов в неделю – всего часов – 144, в том...»

«Министерство образования и науки Российской Федерации федеральное государственное бюджетное образовательное учреждение высшего профессионального образования «Алтайский государственный технический университет им. И.И. Ползунова»ПЕРСПЕКТИВНЫЕ ФОРМЫ ОРГАНИЗАЦИЙ И ОРГАНИЗАЦИОННОЙ ДЕЯТЕЛЬНОСТИ Сборник докладов научно-практической конференции с международным участием магистрантов направления 080200.68 «Менеджмент» 27-28 февраля 2015 года Барнаул 2015 ББК 74.480.278 Перспективные формы организаций и...»

«Федеральное государственное бюджетное образовательное учреждение высшего образования «Саратовский государственный технический университет имени Гагарина Ю.А.» Кафедра «Экология» РАБОЧАЯ ПРОГРАММА по дисциплине «Б.1.2.7 Прикладная экология» направления подготовки «20.03.02 Природообустройство и водопользование» Квалификация бакалавр Профиль «Природообустройство» форма обучения – очная курс – семестр – зачетных единиц – 3 часов в неделю – 3 академических часов – 108, в том числе: лекции – 1...»

«Федеральное государственное бюджетное образовательное учреждение высшего образования «Саратовский государственный технический университет имени Гагарина Ю.А.» Кафедра « Теплогазоснабжение, вентиляция, водообеспечение и прикладная гидрогазодинамика » РАБОЧАЯ ПРОГРАММА по дисциплине Б.3.1.6 « Гидрогазодинамика » направления подготовки 140100.62 «Теплоэнергетика и теплотехника» Профиль « Промышленная теплоэнергетика форма обучения –заочная курс – семестр – зачетных единиц – часов в неделю – всего...»

«ПЕРВОЕ ВЫСШЕЕ ТЕХНИЧЕСКОЕ УЧЕБНОЕ ЗАВЕДЕНИЕ РОССИИ МИНИСТЕРСТВО ОБРАЗОВАНИЯ И НАУКИ РОССИЙСКОЙ ФЕДЕРАЦИИ федеральное государственное бюджетное образовательное учреждение высшего профессионального образования «НАЦИОНАЛЬНЫЙ МИНЕРАЛЬНО-СЫРЬЕВОЙ УНИВЕРСИТЕТ «ГОРНЫЙ» Согласовано Утверждаю Руководитель ООП Зав. кафедрой ГФХМР по специальности 21.05.03 проф. А.С. Егоров декан ГРФ проф. А.С. Егоров «_30_» марта_ 2015 г. «_30_» марта_ 2015 г. РАБОЧАЯ ПРОГРАММА УЧЕБНОЙ ДИСЦИПЛИНЫ «ФИЗИКА ЗЕМЛИ »...»

«Министерство образования и науки Российской Федерации Федеральное государственное бюджетное образовательное учреждение высшего профессионального образования «Уральский государственный лесотехнический университет» ПРОГРАММА УЧЕБНОЙ ДИСЦИПЛИНЫ Б.3.Б.3. «Гидрогазодинамика» 20.03.01 (280700.62) Техносферная безопасность Направление подготовки Бакалавр Квалификация (степень) выпускника Инженерная защита окружающей среды Профиль подготовки Очная, заочная Форма обучения Кафедра-разработчик рабочей...»

«Разработчики программы: Заведующий кафедрой Биотехнические системы и технологии Безбородов С.А. Рабочая программа обсуждена на заседании кафедры Биотехнические системы и технологии, протокол № от 2014 года Заведующий кафедрой Биотехнических систем и технологий С.А. Безбородов Рабочая программа согласованна с учебно-методической комиссией медико-биологического факультета, протокол № от « » 2014 года Председатель УМК медико-биологического факультета. Декан медико-биологического факультета Г.П....»

«1. Пояснительная записка. Программа по технологии разработана на основе требований Федерального государственного образовательного стандарта начального общего образования (2009 г.) и авторской программы Е.А. Лутцевой «Технология». Программа по технологии является составляющей частью Основной образовательной программы начального общего образования МБОУ «СШ №7»Изучение предмета «Технология» в школе первой ступени направлено на решение следующих задач: • развитие личностных качеств (активности,...»

«Федеральное государственное бюджетное образовательное учреждение высшего профессионального образования «КАЛИНИНГРАДСКИЙ ГОСУДАРСТВЕННЫЙ ТЕХНИЧЕСКИЙ УНИВЕРСИТЕТ» УТВЕРЖДАЮ Проректор по научной работе _ Н. А. Кострикова _ 20 г. Рабочая программа дисциплины «Эстетика пищевых продуктов» направление подготовки 19.06.01-промышленная экология и биотехнология Профиль научной специальности 05.18.04технология мясных, молочных и рыбных продуктов и холодильных производств Программа подготовки...»

«МИНОБРНАУКИ РОССИИ Федеральное государственное бюджетное образовательное учреждение высшего профессионального образования Уральский государственный лесотехнический университет Кафедра Экономики лесного бизнеса Рабочая программа дисциплины Б.3 В.8 УПРАВЛЕНИЕ ТОРГОВЫМИ СЕТЯМИ Направление подготовки 38.03.06. – Торговое дело Профиль подготовки «Коммерция» Количество зачетных единиц (Трудоемкость, час): 2 (72ч.) Форма контроля зачет г. Екатеринбург, 2015 1. Пояснительная записка 1.1. Введение...»

«МИНИСТЕРСТВО ОБРАЗОВАНИЯ И НАУКИ КЫРГЫЗСКОЙ РЕСПУБЛИКИ КЫРГЫЗСКИЙ ГОСУДАРСТВЕННЫЙ ТЕХНИЧЕСКИЙ УНИВЕРСИТЕТ им. И.РАЗЗАКОВА КАФЕДРА «ФИЛОСОФИЯ И СОЦИАЛЬНЫЕ НАУКИ» Т. А. БАКЧИЕВ ВВЕДЕНИЕ В МАНАСОВЕДЕНИЕ Краткий курс лекций для студентов высших учебных заведений, обучающихся по техническим специальностям и направлениям БИШКЕК 2008 Рекомендовано к печати решением Ученого совета КГТУ им. И.Раззакова Прот. №2 от 5 ноября 2008 года Рецензенты: доктор филологических наук, доцент Г. А. Айтпаева кандидат...»

«Федеральное государственное бюджетное образовательное учреждение высшего образования «Саратовский государственный технический университет им. Гагарина Ю. А.» Кафедра «Физика» РАБОЧАЯ ПРОГРАММА по дисциплине Б.2.3.2.2 «Методы математической физики» направления подготовки (22.03.02) 1504000.62 «Металлургия» Профиль «Обработка металлов давлением» Квалификация (степень) – бакалавр форма обучения – очная курс – 2 семестр – 4 зачетных единиц –3 часов в неделю – 3 всего часов – 108, в том числе:...»

«Министерство образования и науки Российской Федерации Кемеровский технологический институт пищевой промышленности Общество с ограниченной ответственностью «МКС» Тезисы докладов международного научно-практического семинара ЦИВИЛИЗАЦИОННОЕ РАЗВИТИЕ РОССИИ, КИРГИЗИИ И ТАДЖИКИСТАНА В КОНТЕКСТЕ ЕВРАЗИЙСКОЙ ИНТЕГРАЦИИ в рамках Федеральной целевой программы «Исследования и разработки по приоритетным направлениям развития научно-технологического комплекса России на 2014-2020 годы» Кемерово 2014 УДК...»







 
2016 www.programma.x-pdf.ru - «Бесплатная электронная библиотека - Учебные, рабочие программы»

Материалы этого сайта размещены для ознакомления, все права принадлежат их авторам.
Если Вы не согласны с тем, что Ваш материал размещён на этом сайте, пожалуйста, напишите нам, мы в течении 1-2 рабочих дней удалим его.