010500.68-01 Метрология качества программного обеспечения

МЕТРОЛОГИЯ КАЧЕСТВА ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ
Учебный план № 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