ВВГУ Аннотации Детали НПО (реализ) {U7}
Аннотация дисциплины Метрология и качество программного обеспечения
Связь с другими дисциплинами:- Технология программирования
- Программирование
- Информатика
- (230201.65) Информационные системы и технологии
- Экзамен
Цель курса: теоретическая и практическая подготовка студентов в области программирования в такой степени, чтобы они могли выбирать необходимые подходы для организации программирования как производственного процесса и осуществлять эффективный контроль за данным процессом с точки зрения обеспечения максимального качества разрабатываемых программных средств в различных разрезах.,
Задачи курса: - формирование у студентов знаний о сущности измерений, сопутствующих разработке программ; - ознакомление с базовыми приёмами и методами осуществления программы измерений в производственном процессе программирования; - выработка практических навыков правильных оценок качества программного обеспечения; - изучение аппаратных и программных средств измерений и количественной оценки качества программного обеспечения.
Компетенции: Изучение дисциплины направлено на освоение базовых методик управления процессом разработки программ, основных метрик стандартного процесса разработки, этапов зрелости компании по модели СММ. ,
Содержание курса: Количественная оценка качества программного обеспечения. Критерии качества: сложность, корректность, надежность, трудоемкость. Метрическая теория программ: основные понятия. Метрики: интервальные, порядковые и категорийные шкалы, основные модели, способы и алгоритмы вычисления значений. Вычислительная сложность: временная, программная, информационная. Измерения и оценка сложности программ и программных комплексов на различных этапах жизненного цикла. Корректность программ: формальная, детерминированная, стохастическая, динамическая. Эталоны, методы измерений и проверки корректности. Надежность программ: основные понятия, методы измерения. Инструментальные программные и аппаратные средства измерений и количественной оценки качества программного обеспечения.,
Ключевые слова:- надежность
- вычислительная сложность
- метрическая теория программ
- оценка качества программного обеспечения
- эталоны