5. Верификация, аттестация и качество программного обеспечения

Определение качества программного обеспечения (ПО). Эволюция понятия качества программного обеспечения. Идентификация и классификация характеристик качества. Основные характеристики качества ПО по модели ISO 9126. Метрики и модели качества. Метрическая оценка качества объектно-ориентированных ПС (ОО ПС). Верификация и аттестация(валидация) ПС. Оценка корректности программ. Использование верификации и аттестации на различных этапах жизненного цикла. Дефекты, ошибки и риски ПО. Тестирование как средство обеспечения корректности. Тестирование объектно-ориентированных ПС. Тестирование Web-приложений. Тестирование удобства использования ПС. Понятие автоматизации функционального тестирования. Основные понятия надежности и работоспособности ПС. Модели прогнозирования и анализа надежности и работоспособности ПС. Методы обеспечения и повышения надежности и работоспособности ПС. Аттестация ПС по требованиям информационной безопасности. Обеспечение качества и управление качеством ПО.

6. Сервисно-ориентированное информационное и программное обеспечение

Распределенные системы. Принципы организации. Введение в системы, ориентированные на сервисы. Сервис-ориентированное моделирование. Методологии моделирования на основе стандартов IDEF. Моделирование процессов с использованием моделей Oracle, BAAN, IRIS. Стандарты СОА. Язык описания web-сервисов WSDL. Язык описания взаимодействия бизнес процессов BPEL. Моделирование взаимодействия. Реализация сервисов. Корпоративная сервисная шина (ESB). Создание бизнес процесса и его отладка. Программное окружение и средства разработки в СОА. Архитектура платформы Jboss. Архитектура JBoss ESB. Управление реестрами сервисов. Архитектура jBPM. Разработка и отладка композитных приложений. Разработка уровня интеграции. Архитектура платформы WebSphere. СОА-платформа Oracle. Oracle Application Server. Средства интеграции Microsoft.

Литература

К дисциплине «Архитектура распределенных систем»

1. Распределенные системы. Принципы и парадигмы/ Э. Таненбаум, М. ван Стеен. - СПб.: Питер, 2003.-877 с.

2. Технологии создания распределенных систем Для профессионалов/ А.А. Цимбал, М.П. Аншина, СПб.: Питер, 2003. г. -576 с.

3. Хабибулин И.Ш. Создание распределенных приложений на Java 2. - СПб.: БХВ-Петербург, 2002. 2002. -704 с.

К дисциплине «Моделирование и анализ инженерных данных»

1. Норенков И.П. Основы автоматизированного проектирования. Учебник для вузов М.: Изд-во МГТУ им. Н.Э. Баумана, 1986. – 336с.

2. Автоматизация проектирования механических конструкций: Учеб.пособие/ Ю.Т.Лячек, Д.О.Изумрудов, П.Ю.Цветков; Санкт-Петербургский государственный электротехнический университет им. В.И. Ульянова (Ленина) "ЛЭТИ". -СПб.: Изд-во СПбГЭТУ "ЛЭТИ", 2001.-60 с.

3. Сольницев Р.И., Михайлов М.А. Лячек Ю.Т. Трехмерное геометрическое моделирование машиностроительных конструкций: Учеб. Пособие/ Под общ.ред.проф. Сольницева Р.И.; Изд-во СПбГЭТУ "ЛЭТИ", 2007.-84 с.

4. Рыжиков Ю.И. Имитационное моделирование. Теория и технологии. М.:Альтекс,2004, 384 с.

5. А.Бергер. Microsoft SQL Server 2005 Analysis Services. OLAP и многомерный анализ данных— СПб,; БХВ-Петербург» 2007. —928 с.

К дисциплине «Сетевое Web-программирование»

1. Анура Г. Корпоративные порталы на основе XML и Web-служб, Кудиц-Образ,2004.

2. Хабибуллин И.Ш. Самоучитель Java 2, 2007.

3. С.Холзнер. Энциклопедия XML.-Спб,: ПИТЕР, 2004,1101 c.

4. Хабибуллин И.Ш. Создание распределенных приложений на JAVA -2: СПб,: БХВ-Петербург, 2002. – 704с.

К дисциплине «Технологии распределенных баз данных и баз знаний»

1. К. Дейт. Введение в системы баз данных. 7-е изд. М.: СПб.: Вильямс, 2000.

2. Д. Мейер. Теория реляционных баз данных. М.: Мир, 1987.

3. М.Р. Когаловский. Энциклопедия технологий баз данных. М.: Финансы и статистика, 2002.

4. Г. Гарсиа-Молина, Д. Ульман, Д. Уидом. Системы баз данных. Полный курс. М., С.-Петербург, Киев: Вильямс, 2003.

К дисциплине «Верификация, аттестация и качество программного обеспечения»

1. Орлов С.А. Технологии разработки программного обеспечения. – СПб.: Питер, 2003 – 410с.

2. Липаев В.В. Обеспечение качества программных средств. Методы и стандарты. Синтег, 2001 - 380 с.

3. Роберт T. Фатрелл, Дональд Ф. Шафер, Линда И. Шафер Управление программными проектами. Достижение оптимального качества при минимуме затрат. Вильямс, 2004 - 1136 с.

К дисциплине «Сервисно-ориентированное информационное и программное обеспечение»

1. Сервис-ориентированная архитектура : стандарты, алгоритмы, протоколы : учеб. пособие / В.А. Гладцын, К.В. Кринкин, В.В. Яновский ; Санкт-Петербургский государственный электротехнический университет им. В.И. Ульянова (Ленина) "ЛЭТИ". - СПб. : Изд-во СПбГЭТУ "ЛЭТИ", 2006.

2. Анура Г. Корпоративные порталы на основе XML и Web-служб. Пер. с англ., Кудиц-Образ,22004 г.

3. Свитинбенк П., Бадави Х., Хи Д. и др. Создание бизнес-процесса с помощью инструментов Rational и WebSphere. Пер. с англ. 2007 г.

4. Биберштейн Н. и др. Компас в мире сервис-ориентированной архитектуры (SAO) Издательство: КУДИЦ-Пресс, 2007

5. Фаулер М. Архитектура корпоративных программных приложений Издательство: Вильямс, 2007 г

6. Создание корпоративных Java-приложений для IBM WebSphere (+ DVD-ROM) Издательство: КУДИЦ-Образ, 2005

7. Кэри И. Амриш, Х. З. Ахмед Разработка корпоративных Java-приложений с помощью J2EE и UML Издательство: Вильямс 2008

Председатель Методического совета по направлению

230100.68 - "Информатика и вычислительная техника",

д.т.н., профессор И.В.Герасимов

Руководитель магистерской программы