rpd000008013 (1015341)
Текст из файла
Министерство образования и науки Российской Федерации
Федеральное государственное бюджетное образовательное учреждение высшего профессионального образования
Московский авиационный институт
(национальный исследовательский университет)
УТВЕРЖДАЮ
Проректор по учебной работе
______________Куприков М.Ю.
“____“ ___________20__
РАБОЧАЯ ПРОГРАММА ДИСЦИПЛИНЫ (000008013)
Верификация и валидация программных систем
(указывается наименование дисциплины по учебному плану)
Направление подготовки | Программная инженерия | |||||
Квалификация (степень) выпускника | Магистр | |||||
Программа подготовки | Программно-информационные системы | |||||
Форма обучения | очная | |||||
(очная, очно-заочная и др.) | ||||||
Выпускающая кафедра | 304 | |||||
Обеспечивающая кафедра | 304 | |||||
Кафедра-разработчик рабочей программы | 304 | |||||
Семестр | Трудоем-кость, час. | Лек-ций, час. | Практич. занятий, час. | Лаборат. работ, час. | СРС, час. | Экзаменов, час. | Форма промежуточного контроля |
4 | 144 | 16 | 16 | 32 | 53 | 27 | Э |
Итого | 144 | 16 | 16 | 32 | 53 | 27 |
Москва
2011
РАБОЧАЯ ПРОГРАММА ДИСЦИПЛИНЫ
Разделы рабочей программы
-
Цели освоения дисциплины
-
Структура и содержание дисциплины
-
Учебно-методическое и информационное обеспечение дисциплины
-
Материально-техническое обеспечение дисциплины
Приложения к рабочей программе дисциплины
Приложение 1. Аннотация рабочей программы
Приложение 2. Cодержание учебных занятий
Приложение 3. Прикрепленные файлы
Программа составлена в соответствии с требованиями ФГОС ВПО по направлению подготовки 231000 Программная инженерия
Авторы программы:
Корнеенкова А.В. | _________________________ |
Заведующий обеспечивающей кафедрой 304 | _________________________ |
Программа одобрена:
Заведующий выпускающей кафедрой 304 _________________________ | Декан выпускающего факультета 3 _________________________ |
-
ЦЕЛИ ОСВОЕНИЯ ДИСЦИПЛИНЫ
Целью освоения дисциплины Верификация и валидация программных систем является достижение следующих результатов образования (РО):
N | Шифр | Результат освоения |
1 | Знать основные принципы, общую структурную организацию, приемы и технику распараллеливания процессов цифровой обработки | |
2 | Уметь использовать методологию и инструментальные средства структурного компьютерного анализа, а также математические модели интегрированной среды обработки информационных процессов | |
3 | Владеть методами проектирования параллельных процессов и средств цифровой обработки в соответствии с предъявляемыми требованиями по качеству функционирования | |
4 | Уметь проводить обоснования реализуемости процессов и сред распараллеленной обработки на базе современных мультисистем и компонентов при заданной жёсткости условий эксплуатации интегрированной среды |
Перечисленные РО являются основой для формирования следующих компетенций: (в соответствии с ФГОС ВПО и требованиями к результатам освоения основной образовательной программы (ООП))
N | Шифр | Компетенция |
1 | ОК-5 | Способен проявлять инициативу, в том числе в ситуациях риска, брать на себя всю полноту ответственности |
2 | ОК-7 | Способен к профессиональной эксплуатации современного оборудования и приборов |
3 | ПК-2 | Умение проводить анализ, синтез, оптимизацию решений с целью обеспечения качества объектов профессиональной деятельности |
4 | ПК-4 | Умение планировать, управлять и контролировать выполнение требований |
5 | ПК-9 | Умение применять современные технологии разработки программных комплексов с использованием автоматизированных систем планирования и управления, осуществлять контроль качества разрабатываемых программных продуктов |
6 | ПК-17 | Умение осуществлять выбор технической и экономической моделей эволюции и сопровождения программного обеспечения |
7 | ПСК-1 | Способность осуществлять эффективные и квалифицированные инспекции, проектировать и реализовывать планы по комплексному тестированию, применять соответствующие методы, рассчитывать покрытие и результативность тестирования, использовать статистические методы для оценивания плотности дефектов и вероятности отказов, инспектировать процесс разработки программных систем с целью оценки эффективности контроля качества. |
8 | ПСК-4 | Способность на основе требований, описывающих простые системы, разрабатывать программные архитектуры и высокоуровневые проекты, эффективно использовать средства управления конфигурациями и правильно применять процессы управления изменениями, проектировать программные системы |
-
СТРУКТУРА И СОДЕРЖАНИЕ ДИСЦИПЛИНЫ
Общая трудоемкость дисциплины составляет 4 зачетных(ые) единиц(ы), 144 часа(ов).
Модуль | Раздел | Лекции | Практич. занятия | Лаборат. работы | СРС | Всего часов | Всего с экзаменами и курсовыми |
Верификация и валидация программных систем | Моделирование и анализ периферийной среды хранения данных и IT ввода/вывода данных в интегрированных средах, сетях и телекоммуникациях | 4 | 4 | 8 | 8 | 24 | 144 |
Моделирование и анализ среды обработки данных и IT параллельной обработки | 12 | 12 | 24 | 24 | 72 | ||
Всего | 16 | 16 | 32 | 32 | 96 | 144 |
-
Содержание (дидактика) дисциплины
В разделе приводится полный перечень дидактических единиц, подлежащих усвоению при изучении данной дисциплины.
- 1. Исходные и общие положения, классификация и характеристики, моделирование и анализ среды и IT ввода/вывода данных в ИС, сетях и телекоммуникациях
- 2. Моделирование и анализ IT функционирования периферийной среды хранения данных
- 3. Исходные и общие положения, классификации и характеристики среды обработки данных, структуризация и анализ процессов параллельной обработки данных
- 4. Моделирование и анализ процессов, среды и IT параллельной обработки на компонентах общего назначения
- 5. Моделирование и анализ процессов, среды и IT параллельной обработки на компонентах специального назначения
-
Лекции
№ п/п | Раздел дисциплины | Объем, часов | Тема лекции | Дидакт. единицы |
1 | 1.1.Моделирование и анализ периферийной среды хранения данных и IT ввода/вывода данных в интегрированных средах, сетях и телекоммуникациях | 2 | Классификация и характеристики, моделирование и анализ среды и IT ввода/вывода данных в интегрированных средах, сетях и телекоммуникациях | 1 |
2 | 1.1.Моделирование и анализ периферийной среды хранения данных и IT ввода/вывода данных в интегрированных средах, сетях и телекоммуникациях | 2 | Моделирование и анализ IT функционирования периферийной среды хранения данных | 2 |
3 | 1.2.Моделирование и анализ среды обработки данных и IT параллельной обработки | 2 | Исходные и общие положения, квалификация и характеристики среды обработки данных, структуризация и анализ процессов параллельной обработки данных | 3 |
4 | 1.2.Моделирование и анализ среды обработки данных и IT параллельной обработки | 4 | Моделирование и анализ процессов, среды и IT параллельной обработки на компонентах общего назначения | 4 |
5 | 1.2.Моделирование и анализ среды обработки данных и IT параллельной обработки | 6 | Моделирование и анализ процессов, среды и IT параллельной обработки на компонентах специального назначения | 5 |
Итого: | 16 |
-
Практические занятия
№ п/п | Раздел дисциплины | Объем, часов | Тема практического занятия | Дидакт. единицы |
1 | 1.1.Моделирование и анализ периферийной среды хранения данных и IT ввода/вывода данных в интегрированных средах, сетях и телекоммуникациях | 4 | Цифровая компьютерная телефония в среде жесткого реального времени | 1 |
2 | 1.2.Моделирование и анализ среды обработки данных и IT параллельной обработки | 4 | Классические среды интерактивного взаимодействия в стационарных компьютерных платформах | 4 |
3 | 1.2.Моделирование и анализ среды обработки данных и IT параллельной обработки | 4 | Современные среды интерактивного взаимодействия в мобильных компьютерных платформах | 4 |
4 | 1.2.Моделирование и анализ среды обработки данных и IT параллельной обработки | 4 | Интерактивное визуальное компьютерное управление в современных мобильных средах | 5 |
Итого: | 16 |
-
Лабораторные работы
№ п/п | Раздел дисциплины | Наименование лабораторной работы | Наименование лаборатории | Объем, часов | Дидакт. единицы |
1 | 1.1.Моделирование и анализ периферийной среды хранения данных и IT ввода/вывода данных в интегрированных средах, сетях и телекоммуникациях | Моделирование среды телемониторинга | 8 | 3 | |
2 | 1.2.Моделирование и анализ среды обработки данных и IT параллельной обработки | Технология однопроцессорной мультизадачной обработки данных с разделением времени | 8 | 4 | |
3 | 1.2.Моделирование и анализ среды обработки данных и IT параллельной обработки | Технология оптимально-распараллеленной мультизадачной обработки данных с разделением времени | 8 | 4 | |
4 | 1.2.Моделирование и анализ среды обработки данных и IT параллельной обработки | Преобразование текстовой информации в речевой акустический процесс | 8 | 5 | |
Итого: | 32 |
-
Типовые задания
№ п/п | Раздел дисциплины | Объем, часов | Наименование типового задания |
Итого: |
-
Курсовые работы и проекты по дисциплине
1.1. Моделирование параллельной обработки на компонентах специального назначения
Характеристики
Тип файла документ
Документы такого типа открываются такими программами, как Microsoft Office Word на компьютерах Windows, Apple Pages на компьютерах Mac, Open Office - бесплатная альтернатива на различных платформах, в том числе Linux. Наиболее простым и современным решением будут Google документы, так как открываются онлайн без скачивания прямо в браузере на любой платформе. Существуют российские качественные аналоги, например от Яндекса.
Будьте внимательны на мобильных устройствах, так как там используются упрощённый функционал даже в официальном приложении от Microsoft, поэтому для просмотра скачивайте PDF-версию. А если нужно редактировать файл, то используйте оригинальный файл.
Файлы такого типа обычно разбиты на страницы, а текст может быть форматированным (жирный, курсив, выбор шрифта, таблицы и т.п.), а также в него можно добавлять изображения. Формат идеально подходит для рефератов, докладов и РПЗ курсовых проектов, которые необходимо распечатать. Кстати перед печатью также сохраняйте файл в PDF, так как принтер может начудить со шрифтами.