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




Скачать 86.42 Kb.
НазваниеПрограмма государственного междисциплинарного экзамена по специальности 220400 «программное обеспечение вычислительной техники и автоматизированных систем» (квалификационная категория магистр)
Дата22.12.2012
Размер86.42 Kb.
ТипПрограмма
ПРОГРАММА

ГОСУДАРСТВЕННОГО МЕЖДИСЦИПЛИНАРНОГО ЭКЗАМЕНА ПО СПЕЦИАЛЬНОСТИ 220400 «ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ ВЫЧИСЛИТЕЛЬНОЙ ТЕХНИКИ И АВТОМАТИЗИРОВАННЫХ СИСТЕМ»

(квалификационная категория - магистр)

ПЕРЕЧЕНЬ ДИСЦИПЛИН, ВКЛЮЧЕННЫХ В ЭКЗАМЕН





  1. КОНСТРУИРОВАНИЕ КОМПИЛЯТОРОВ

  2. ТЕХНОЛОГИЯ ПРОГРАММИРОВАНИЯ

  3. ПРОГРАММИРОВАНИЕ ПАРАЛЛЕЛЬНЫХ ПРОЦЕССОВ

  4. ПРОТОКОЛЫ ВЫЧИСЛИТЕЛЬНЫХ СЕТЕЙ

  5. ПРОЕКТИРОВАНИЕ ОПЕРАЦИОННЫХ СИСТЕМ




  1. КОНСТРУИРОВАНИЕ КОМПИЛЯТОРОВ




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

  2. Проверка LL-условия. LL(1)-условие. LL(1)-условие для грамматик без e-правил. LL(k)-условие для сильно LL(k)-грамматик. Общий случай LL(k)-условия. Проверка LL(k)-условия.

  3. Построение LL(1)-анализатора для LL(1)-грамматики. Вычисление функций FIRST и FOLLOW для k=1. Алгоритм построения корректной управляющей таблицы для LL(1)-грамматики.

  4. Разбор для LR(1)-грамматик. Устройство, конфигурация и структура управляющей таблицы разбора LR(1)-анализатора. LR(1)-алгоритм разбора.

  5. Построение SLR(1)-анализатора. Определение LR(0)-ситуации. Вычисление функций closure и goto для SLR(1)-грамматики. Алгоритм построения канонической системы множеств LR(0)- ситуаций. Алгоритм построения SLR(1)-таблицы разбора.

  6. Построение канонического LR(1)-анализатора. Определение LR(1)-ситуации. Вычисление функций closure и goto для LR(1)-грамматики. Алгоритм построения канонической системы множеств LR(1)-ситуаций. Алгоритм построения LR(1)-таблицы разбора.

  7. Построение LALR(1)-анализатора. Ядро множества LR(1)-ситуаций. Алгоритм построения LALR(1)-таблицы разбора.

  8. Грамматики простого предшествования. Определение отношения предшествования Вирта-Вебера. Определение грамматики простого предшествования. Алгоритм типа "перенос-свертка" для грамматики простого предшествования.

  9. Грамматики расширенного и слабого предшествования. Определение грамматики расширенного и слабого предшествования. Алгоритм перехода от обратимой грамматики слабого предшествования к грамматике простого предшествования.

  10. Грамматики операторного предшествования. Определение операторной грамматики и грамматики операторного предшествования. Алгоритм типа "перенос-свертка". Вычисление матрицы операторного предшествования, основанное на свойстве ассоциативности и предшествования операторов.

  11. Оптимизация анализаторов операторного предшествования.




  1. ТЕХНОЛОГИЯ ПРОГРАММИРОВАНИЯ




  1. Структурное тестирование ПО. Критерии структурного тестирования. Сборка программ при тестировании. Оценка степени тестируемости программного продукта. Критерии завершения тестирования.

  2. Объектно-ориентированный подход при тестировании ПО. Тестирование методов и классов. Сравнение двух подходов (структурного и объектно- ориентированного) при тестировании ПО.

  3. Методы функционального тестирования. Метод «черного» ящика, метод граничных условий, метод функциональных диаграмм. Общая стратегия функционального тестирования.

  4. Методы структурного тестирования. Метод «белого ящика», метод предположения об ошибке, статические и динамические методы тестирования. Управляющий граф программы (УГП). Примеры тестов с использованием УГП.

  5. Жизненный цикл ПО информационных систем. Модели жизненного цикла. Методология быстрой разработки приложений – RAD.

  6. Сущность структурного подхода. Диаграммы потоков данных (DFD) (нотация Гейна-Сарсона), диаграммы «сущность-связь» (ERD) (нотация Чена), технология структурного анализа и проектирования (SADT).

  7. Особенности объектно-ориентированного подхода при проектировании сложных программных систем: иерархичность, групповая разработка, сборочное проектирование. Основные методы разработки сложных систем, язык UML для описания, визуализации и документирования систем.

  8. Стандарты, поддерживающие создание мобильных прикладных программ информационных систем: POSIX, CORBA. Стандарты, регламентирующие документирование программных средств.

  9. Стандарты качества программного обеспечения (ISO 9000). Внутренние и внешние метрики. Модель характеристик качества.


ЛИТЕРАТУРА


  1. Вендеров А.М. CASE-технологии. Современные методы и средства проектирования информационных систем. М. “Финансы и статистика ”. 1998 г.

  2. Буч Г. Объектно-ориентированный анализ и проектирование с примерами приложений на С++, 2-е изд. Пер. с англ. - М.: «Изд. Бином», СПб.: «Невский диалект», 2000. – 560 с.

  3. Липаев В.В., Филинов Е.Н. Мобильность программ и данных в открытых информационных системах. М.: Научная книга, 1997г.

  4. Канер С.,Фолк Д., Нгуен Е.К. Тестирование программного обеспечения. Киев, ДиаСофт”, 2000г.

  5. Маклаков С.В. CASE-средства разработки информационных систем BPWin, ERWin. М., Диалог МИФИ, 2000г.

  6. Кватрани Т. Rational Rose 2000. Визуальное моделирование. ДК, 2001г.

  7. Канер С. и др. Тестирование программного обеспечения. Пер. с англ. Киев: «ДиаСофт», 2000.




  1. ПРОГРАММИРОВАНИЕ ПАРАЛЛЕЛЬНЫХ ПРОЦЕССОВ




  1. Классификации параллельных архитектур Флинна, Шора, эрлангенская система классификации. Мобильные средства разработки параллельного ПО (MPI, Linda, OpenMP), оценка их эффективности на параллельных ЭВМ различной архитектуры.

  2. Средство разработки параллельного ПО MPI. Операции парного взаимодействия процессов: режимы синхронизации и блокировки. Операции группового взаимодействия процессов: синхронизация, групповые пересылки, операции редукции. Коммутаторы и операции над ними.

  3. Средство разработки параллельного ПО MPI. Средства конструирования и регистрации типов. Правила использования типов при пересылке. Сложные схемы пересылки (транспонирование матриц).

  4. Средство разработки параллельного ПО Linda. Средства описания параллельных вычислений и синхронизации. Оценка эффективности на параллельных ЭВМ различной архитектуры.

  5. Средство разработки параллельного ПО OpenMP. Средства описания параллельных вычислений: области параллельных вычислений, параллельные циклы. Разделяемые и приватизированные данные. Средства синхронизации. Оценка эффективности на параллельных ЭВМ различной архитектуры.

  6. Информационные зависимости. Формы графового описания программы. Типы информационной зависимости. Автоматическое распараллеливание (на примере векторизации): используемые схемы программ и тесты информационной зависимости.

  7. Отладка параллельных программ. Инструментальные средства: параллельные отладчики и профилировщики. Средства визуализации.

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

  9. Векторно-конвейерные ЭВМ (на примере Cray). Основные архитектурные решения, определяющие производительность. Особенности программ, влияющие на снижение эффективности счета.



ЛИТЕРАТУРА

    1. Немнюгин С.А., Стесик О.Л. Параллельное программирование для многопроцессорных вычислительных систем. – СПб.: БХВ-Петербург, 2002. – 400 с.

    2. Водяхо А.И., Горнец Н.Н., Пузанков Д.В. Высокопроизводительные системы обработки данных. – М.: Высшая школа, 1997.




  1. ПРОТОКОЛЫ ВЫЧИСЛИТЕЛЬНЫХ СЕТЕЙ




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

  2. Язык описания межпроцессного взаимодействия PROMELA. Использование процессов и каналов для описания сетевого протокола. Моделирование потери данных.

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

  4. Верификация моделей на языке PROMELA. Условия прогресса. Временные критерии корректности модели. LTL-формулы, типовые формулы для формулирования временных критериев.

  5. Модель сетевого взаимодействия OSI/ISO, протоколы и интерфейсы, сетевые устройства и соответствующие им уровни модели OSI/ISO. Стек протоколов TCP/IP и его взаимосвязь с моделью OSI/ISO.

  6. IP-адресация, классы сетей, маски сети, безклассовая адресация. Специальные адреса сетей. Схема IP-маршрутизации.

  7. Понятие автономной системы. Внешняя и внутренная маршрутизация. Маршрутная политика, протоколы BGP. Протокол RIP.

  8. Протокол маршрутизации OSPF. Понятие области. Виды маршрутизаторов в протоколе OSPF. Алгоритм Дейкстры.

  9. Использование интерфейса Winsock для использовании TCP/IP вприкладных программах. Решения проблемы блокировки.

  10. Обеспечение безопасности локальных сетей. Межсетевые экраны, механизм преобразования адресов NAT, проксирование, прозрачное проксирование.


ЛИТЕРАТУРА


1.  Ретано А., Слайс Д., Уайт Р. Принципы проектирования корпоративных IP-сетей. – М.: Издательский дом Вильямс, 2002. – 368 с.

2.  Кульгин М. Технологии корпоративных сетей. Энциклопедия - СПб: Питер, 2000. – 704 с.

3.  Уилсон Эд. Мониторинг и анализ сетей. – М.: Издательство Лори, 2002. – 350 с.

4.  Олифер В.Г., Олифер Н.А. Компьютерные сети. Принципы, технологии, протоколы. – СПб: Питер, 2002. – 672 с.

5. Хелеби С., Мак-Ферсон Д. Принципы маршрутизации в Internet. М.: Издательский дом Вильямс, 2002. – 448 с.

6. Снейдер Йон. Эффективное программирование TCP/IP. – СПб.: Питер, 2001. – 320 с.

7.  Хендерсон Л., Дженкинс Т. Frame Relay. Межсетевое взаимодействие. М.: Горячая линия – Телеком, 2001. – 320 с.

8.  Закер К. Компьютерные сети. Наиболее полное руководство. СПб.: БХВ – Петербург, 2001. – 1008 с.

9.  Шиндер Д.Л. Основы компьютерных сетей. М.: Издательский дом Вильямс, 2002. – 656 с.

10. Сети TCP/IP. Ресурсы Windows 2000 Server – М.: Русская редакция, 2001. – 784 с.

11. Манн С, Крелл М. Linux. Администрирование сетей TCP/IP. – М.: Бином, 2003. – 656 с.

12. Сэтчэлл C., Клиффорд Х. Linux IP Stacks в комментариях – М.: Диасофт, 2001 – 288 с.


5. ПРОЕКТИРОВАНИЕ ОПЕРАЦИОННЫХ СИСТЕМ


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

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

3. Управление процессами, состояние процессов, контекст и дескриптор процесса.. Средства синхронизации и взаимодействия процессов. Нити.

4. Управление памятью. Типы адресов. Методы распределения памяти без использования дискового пространства.

5. Управление памятью. Методы распределения памяти с использованием дискового пространства. Понятие виртуальной памяти. Типы распределения. Свопинг.

  1. Управление вводом-выводом. Физическая организация устройств ввода-вывода. Организация программного обеспечения ввода-вывода.

  2. Управление вводом-выводом. Обработка прерываний. Драйверы устройств.

  3. Файловая система. Имена файлов. Типы файлов.

  4. Файловая система. Логическая организация файла. Физическая организация и адрес файла. Права доступа к файлу. Кэширование диска.

  5. Файловая система. Общая модель файловой системы. Отображаемые в память файлы. Современные архитектуры файловых систем.

  6. Базовые примитивы передачи сообщений в распределенных системах. Способы адресации.

  7. Вызов удаленных процедур (RPC). Концепция удаленного вызова процедур. Базовые операции RPC.

  8. Вызов удаленных процедур (RPC). Этапы выполнения RPC. Динамическое связывание. Семантика RPC в случае отказов.

  9. Синхронизация в распределенных системах. Алгоритм синхронизации логических часов. Алгоритмы взаимного исключения. Неделимые транзакции.

  10. Распределенные файловые системы. Интерфейс файлового сервиса. Интерфейс сервиса каталогов. Кэширование. Репликация.

  11. Проблемы взаимодействия операционных систем в гетерогенных сетях. Понятия "internetworking" и "interoperability". Гетерогенность. Основные подходы к реализации взаимодействия сетей. Шлюзы.

  12. Службы именования ресурсов и проблемы прозрачности доступа. Доменный подход. Основной и резервные контроллеры домена. Четыре модели организации связи доменов

  13. Монолитные системы. Многоуровневые системы. Модель клиент-сервер и микроядра. Объектно-ориентированный подход. Множественные прикладные среды. Сетевой пакет DCE фирмы OSF


ЛИТЕРАТУРА


  1. Авен О.И., Коган Я.А. Управление вычислительным процессом в ЭВМ. (Алгоритмы и модели). - М.: Энергия, 1978 г

  2. Краковяк С. Основы организации и функционирования ОС ЭВМ - М: Мир, 1988

  3. Хоар Ч. Взаимодействующие процессы. М.: Мир, 1989

  4. Девис У. Операционные системы: Пер. с англ. М.: Мир, 1980.

  5. Дейтел Г. Введение в операционные системы, в 2-х т. Пер. с англ. - М.: Мир, 1987.

  6. Кейлингерт П. Элементы операционных систем - М:МИР, 1985

  7. Кейслер С. Проектирование операционных систем для малых ЭВМ. - М: Мир, 1986

  8. Назаров С.В. Операционные системы специализированных вычислительных комплексов: М.: Машиностроение, 1989.

  9. Олифер Н. А., Олифер В. Г. Сетевые операционные системы. ЦИТ, 1997

  10. Шоу А. Логическое проектирование операционных систем: Пер. с англ. М.: Мир, 1981.

  11. Банахан М., Раттер Э. Введение в операционную систему UNIX: Пер. с англ. М.: Радио и связь, 1986.

  12. Техническое описание Microsoft Windows NT Server 3.51

Хаузер Дж., Хоукинс Б. Операционная система MS-DOS: М.: Финансы и статистика, 1987.

  1. Блэк Ю.. Сети ЭВМ: протоколы, стандарты, интерфейсы. - М.: Мир, 1990.

  2. Д. Соломон, М. Руссинович Внутреннее устройство Microsoft Windows 2000 – СПб.:Питер, М.:Издательско-торговый дом «Русская Редакция», 2001

Похожие:

Программа государственного междисциплинарного экзамена по специальности 220400 «программное обеспечение вычислительной техники и автоматизированных систем» (квалификационная категория магистр) iconПрограмма государственного междисциплинарного экзамена по специальности 220400 «программное обеспечение вычислительной техники и автоматизированных систем» (квалификационная категория инженер)
Государственного междисциплинарного экзамена по специальности 220400 «программное обеспечение вычислительной техники и автоматизированных...
Программа государственного междисциплинарного экзамена по специальности 220400 «программное обеспечение вычислительной техники и автоматизированных систем» (квалификационная категория магистр) iconПрограмма государственного междисциплинарного экзамена по направлению подготовки 552800 специальности 220400 «программное обеспечение вычислительной техники и автоматизированных систем» (квалификационная категория инженер)
Государственного междисциплинарного экзамена по направлению подготовки 552800 специальности 220400 «программное обеспечение вычислительной...
Программа государственного междисциплинарного экзамена по специальности 220400 «программное обеспечение вычислительной техники и автоматизированных систем» (квалификационная категория магистр) iconПрограмма государственного экзамена "языки и технологии программирования" для специальности 220400 “Программное обеспечение вычислительной техники и автоматизированных систем”
Программа государственного экзамена составлена на основе гос-2000 по специальности 220400 «Программное обеспечение вычислительной...
Программа государственного междисциплинарного экзамена по специальности 220400 «программное обеспечение вычислительной техники и автоматизированных систем» (квалификационная категория магистр) iconРабочая программа По дисциплине “Преддипломная практика" Для специальности 230105 (220400) "Программное обеспечение вычислительной техники и автоматизированных систем"
Гос во по специальности 230105 (220400) – Программное обеспечение вычислительной техники и автоматизированных систем, утвержденного...
Программа государственного междисциплинарного экзамена по специальности 220400 «программное обеспечение вычислительной техники и автоматизированных систем» (квалификационная категория магистр) iconРабочая программа по дисциплине Архитектура вычислительных систем Для специальности 230105(220400) Программное обеспечение вычислительной техники и автоматизированных систем
Рабочая программа составлена в соответствии с гос во по специальности 230105 Программное обеспечение вычислительной техники и автоматизированных...
Программа государственного междисциплинарного экзамена по специальности 220400 «программное обеспечение вычислительной техники и автоматизированных систем» (квалификационная категория магистр) iconРабочая программа учебной дисциплины од. 04 Информатика ооп 230105 «Программное обеспечение вычислительной техники и автоматизированных систем»
Рабочая программа составлена на основании Государственного образовательного стандарта среднего профессионального образования по специальности...
Программа государственного междисциплинарного экзамена по специальности 220400 «программное обеспечение вычислительной техники и автоматизированных систем» (квалификационная категория магистр) icon«Метрология, стандартизация и сертификация» для специальности 230105 «Программное обеспечение вычислительной техники и автоматизированных систем»
«Программное обеспечение вычислительной техники и автоматизированных систем» составлена на основе Государственного образовательного...
Программа государственного междисциплинарного экзамена по специальности 220400 «программное обеспечение вычислительной техники и автоматизированных систем» (квалификационная категория магистр) iconРабочая программа по дисциплине "Структуры и алгоритмы обработки данных" специальности 230105 (220400) "Программное обеспечение вычислительной техники и автоматизированных систем"

Программа государственного междисциплинарного экзамена по специальности 220400 «программное обеспечение вычислительной техники и автоматизированных систем» (квалификационная категория магистр) iconРабочая программа по дисциплине “Программирование на языке высокого уровня” для специальности 230105 (220400) “Программное обеспечение вычислительной техники и автоматизированных систем”

Программа государственного междисциплинарного экзамена по специальности 220400 «программное обеспечение вычислительной техники и автоматизированных систем» (квалификационная категория магистр) icon«Сети ЭВМ и телекоммуникации»
Для специальности: 230105 (220400) Программное обеспечение вычислительной техники и автоматизированных систем
Разместите кнопку на своём сайте:
Библиотека


База данных защищена авторским правом ©lib.znate.ru 2014
обратиться к администрации
Библиотека
Главная страница