Метрология и качество программного обеспечения. Курилов Л.С. - 5 стр.

Корректность программ. Спецификации программ, анализ корректности.
Автоматизация верификации программ. Надежность программ: основные
понятия, методы измерения. Методы обеспечения надежности. Тестирование
программ. Инструментальные средства измерений и оценки качества
программного обеспечения.
8. Стандарты качества программного обеспечения.
Стандартизация процессов обеспечения качества, основные стандарты в
области качества программного обеспечения: спецификации ISO, модель
СММ, SPICE. Сравнительный анализ стандартов.
5. Учебно-методическое обеспечение дисциплины. Рекомендуемая
литература.
а) основная литература
1. Изосимов А.П., Рыжко К.К. Метрическая оценка качества программ. -
М.:МАИ, 1989.
2. Саркисян А.А. Повышение качества программ на основе автомати-
зированных методов. - М: Радио и связь, 1991.
3. Майерс Г. Надежность программного обеспечения. - М.: Мир, 1980.
4. Боэм Б., Браун Дж., Каспар X. и др. Характеристики качества про-
граммного обеспечения. М. Мир, 1981.
5. Брукс Ф. Мифический человеко-месяц или как создаются программные
системы. - СПб.: Символ-Плюс, 1999.
6. Липаев В. Качество программного обеспечения. - М.: Финансы и
статистика, 1983.
7. Холстед М.Х. Начало науки о программах. - М.: Финансы и Статистика,
1981.
8. Липаев В. Выбор и оценивание характеристик качества программных
средств. Методы и стандарты. - М.: Синтег, 2001.
9. Кулаков А.Ф. Оценка качества программ ЭВМ. - Киев, 1984.
10. Непомнящий В.А., Рякин О.М. Прикладные методы верификации
программ. - М.: Мир, 1976.
11. Пальчун Б.П., Юсупов P.M. Оценка надежности программного
обеспечения. - Л: Наука, 1994.
12. Тейер Т., Лигов М., Нельсон Э. Надежность программного обеспечения. -
М: Мир, 1981.
13. Богданов Д.В., Путилов В.А. и др. Стандартизация процессов обес-
печения качества программного обеспечения. - Апатиты, ПетрГУ, 1997.
б) дополнительная литература
1. Зелковиц М. и др. Принципы разработки программного обеспечения: Пер.
с англ./Зелковиц М., Шоу А., Геннон Дж. - М.: Мир, 1982.
2. Гантер Р. Методы управления проектированием программного обес-
печения: Пер. с англ.- М.: Мир, 1981.
3. Буч Г. Объектно-ориентированный анализ и проектирование с примерами
приложений на C++, 2-е изд. - М.: "Бином", 1998.
4. Фокс Дж. Программное обеспечение и его разработка. М.: "Мир", -1982.
5. Ахо А., Хопкрофт Дж., Ульман Дж. Построение и анализ вычислительных
алгоритмов. - М.: Мир, 1979.