МЕТРОЛОГИЯ КАЧЕСТВА ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ Учебный план № 4189 ИРИТ-РТФ.216.68(04).2014 Код ООП Направление/ Специальность Профиль/ Программа магистратуры/ Специализация Код дисциплины по учебному плану Математическое обеспечение и администрирование Теоретические основы информатики М2.2.3 информационных систем Программа модуля составлена авторами: № ФИО Ученая степень, Должность Кафедра Подпись п/п ученое звание 1 Мельникова Нина к.ф.-м.н. доцент Вычислительных Владимировна доцент методов и уравнений математической физики Программа модуля одобрена на заседании кафедр: ФИО Наименование кафедры Дата заведующего Подпись кафедрой 1 Кафедра-координатор модуля: Мартышко П.С. Вычислительных методов и уравнений математической физики 2 Читающая кафедра: Вычислительных Мартышко П.С. методов и уравнений математической физики 3 Выпускающая кафедра: Вычислительных Мартышко П.С. методов и уравнений математической физики 02.04.2003-012012 (010500.68-012012) 5. УЧЕБНО-МЕТОДИЧЕСКОЕ И ИНФОРМАЦИОННОЕ ОБЕСПЕЧЕНИЕ 5.1. Рекомендуемая литература 5.1.1. Основная литература 1. Благодатских В.А. и др. Стандартизация разработки программных средств: Учеб. пособие / В.А. Благодатских, В.А. Волнин, К.Ф. Поскакалов; Под ред. О.С. Разумова. – М.: Финансы и статистика, 2009. – 288 с.: ил 2. В.В. Липаев Методы обеспечения качества крупномасштабных программных средств.-М.. СИНТЕГ,2010.-520с. 5.1.2. Дополнительная литература 1. М. Вендров. Проектирование программного обеспечения экономических информационных систем: Учебник. М.:Финансы и статистика, 2002.- 352 с.: ил 2. Одинцов И.О. профессиональное программирование. Системный подход. – СПБ.:БХВПетербург, 2002. – 512 с.: ил. 3. Корректность, устойчивость, точность программного обеспечения / Тоценко В.Г., Александров А.В., Парамонов Н.Б.; Отв. Ред. Сафонов и.В. АН УССР. Институт проблем регистрации информации Киев: Наук. думка, 1990.- 200 с. - ISBN 5-12-001805-X. 4. Ахо А., Хопкрофт Дж., Ульман Дж. Построение и анализ вычислительных алгоритмов, М. Мир, 1979. 5. Фокс Дж. Программное обеспечение и его разработка. М. Мир,1982. 6. Буч г. Объективно-ориентированный анализ и проектирование с примерами приложений на C++. 2-е изд. Пер. с англ. М. Изд. Бином. СПб. Невский диалект, 1998. 7. М.Х. Холстед. Начала науки о программах - 1981. 8. Э. Гамна. Паттерны проектирования 9. T.J. McCabe, C.W. Butler. Design Complexity Measurement and Testing - Communications of the ACM, vol. 32 10. R. Martin. Desighn Principles and Patterns 11. ИСО 9000-3: ИСО 9001 Общее руководство качеством и стандарты по обеспечению качества, часть 3: Руководящие указания по применению ИСО 9001 при разработке, поставке и обслуживанию программного обеспечения. Международная организация стандартов Женева - 1991. 12. ИСО/МЭК 9126 Информационные технологии. Оценка продукции программного обеспечения. Характеристики качества и инструкции по их применению. Международная организация стандартов Женева - 1991. 5.2. Электронные образовательные ресурсы Раздел в стадии разработки. 5.3. 1. 2. 3. 4. 5. Программное обеспечение Программный пакет Mathcad 13 (v. 2000 Professional и выше); Программный пакет Mathematica 5 (v. 4 и выше); Программный пакет Maple 10 (v. 8 и выше); Программный макрокоманд LaTeX и редактор технических текстов работающий с LaTeX – WinEdt 4 (v. 3 и выше) Программа NetSupport School (v.2.0 и выше). 5.4 Базы данных, информационно-справочные и поисковые системы http://www.intuit.ru/ - Национальный Открытый Университет «ИНТУИТ» http://www.edu.ru/ - Российское образование. Федеральный портал. 5.6 Информационные сервисы, обеспечивающие учебный процесс http://study.ustu.ru - Портал информационно-образовательных ресурсов УГТУ-УПИ http://rtf.ustu.ru – Официальный сайт ИРИТ-РтФ http://vmumf.rtf.ustu.ru – официальный сайт кафедры ВМиУМФ 6. ПЕРЕЧЕНЬ КЛЮЧЕВЫХ СЛОВ ДИСЦИПЛИНЫ № раздела Наименование раздела, темы Ключевые слова 2 Р1 Р2 Р3 Р4 Р5 Р6 Р7 Р8 Введение Оценки качества программного обеспечения Метрическая теория программ Процедурноориентированные метрики Объектноориентированные метрики Модели управления качеством ПО Оценка сложности и корректности программ на различных этапах ЖЦ ПО Современные методы тестирования Основные понятия. Задачи метрологии ПО. Основные определения. Критерии качества: функциональная пригодность, надежность, Применимость, эффективность, сопровождаемость, переносимость. Понятие программной метрики. Цели использования метрик. Интервальные метрики. . Временная сложность. Программная сложность. Информационная сложность. Метрики Холстеда: словарь, длина, объем и уровень программы, уравнение работы. Цикломатическая сложность МакКейба. Повторное использование компонентов. Обзор наборов метрик Шидамбера и Кемерера, Ли и Генри, Бриана. Стандарты ISO, CMM управления качеством. Корректность программ: формальная, детерминированная, стохастическая, динамическая. Эталоны. Методы измерений и проверки корректности. Надежность программ: основные понятия, методы измерения. Цель тестирования, виды тестирования, требования к специалисту тестирования, средства автоматизации тестирования. 3