Введение в курс метрической теории и метрологии программ
ПРЕДИСЛОВИЕВВЕДЕНИЕНЕОБХОДИМЫЕ СВЕДЕНИЯ ИЗ АЛГОРИТМИЧЕСКОЙ ТЕОРИИ СЛОЖНОСТИ И ИНЖЕНЕРНОЙ ПСИХОЛОГИИ 1.1. Определение алгоритмической сложностиСвойства алгоритмической сложностиСложность и случайностьЗаконы преобразования информации в кратковременной памяти человекаВопросы и упражнения к гл. 1ПРОГРАММНАЯ СЛОЖНОСТЬ ЗАДАЧ (объемные характеристики программ) 2.1. Длина программы (алгоритмическая сложность решаемой задачи)Вероятностная модель программы. Математическое ожидание длины ее текстаДисперсия длины программы. Точность соотношения ХолстедаМетрические характеристики программ. Словарь программыОптимизация характеристик модульно-иерархической структуры программКоличественная оценка работы программирования. Квалификационное время программированияКоличественная оценка уровня универсальных алгоритмических языков программированияПринцип системности в метрической теории программВопросы и упражнения к гл. 2.ВЫЧИСЛИТЕЛЬНАЯ И ИНФОРМАЦИОННАЯ СЛОЖНОСТЬ ЗАДАЧ (временные характеристики программ) 3.1. Вычислительная сложность решения задачИнформационная сложность решения задачВопросы к гл. 3НАДЕЖНОСТЬ И КОРРЕКТНОСТЬ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ 4.1. Ошибки и последствия: принципиальный вопрос разработки ПООсновные понятия надежности программ. Экспоненциальная модель распределения ошибокЗащитное программирование и использование различных видов избыточности для повышения надежности ПООтладка программТестирование (испытание) программФормальная корректность программДетерминированная, стохастическая и динамическая корректность программВопросы к гл. 4ПРИМЕНЕНИЕ МЕТРИЧЕСКОЙ ТЕОРИИ ПРОГРАММ 5.1. Измерение производительности труда в программированииРасчет метрических характеристик ПО и трудоемкости его разработки (на основе постановок задач)Трансляторы и операционные системыПрограммометрический расчет некоторых статистических характеристик ПООценка эффективности специализированных языков программированияПроблема языка программирования, близкого к естественномуКонструкторская компоновка логических схемОценка эффективности экономических ИС на стадии их проектированияЗадачи к гл. 5МЕТРОЛОГИЯ КАЧЕСТВА ПРОГРАММ (методологический аспект)Основные сведения из теории шкал и измерений качестваНоминальные шкалыПорядковые шкалыИнтервальные шкалыПреобразование шкалФасетная классификация мер качества программИнтенсивность использования мер качества программ по категориямВопросы к гл. 6ЗАКЛЮЧЕНИЕДополнительные сведения об энтропииА. Определение и свойства.В. Количество информации.С. Принцип экстремума энтропии.Дополнительные сведения об алгоритмической сложности А. Определение.В. Свойства.С. Закономерность и случайность.БИБЛИОГРАФИЧЕСКИЙ СПИСОК
