Меню
Главная
Авторизация/Регистрация
 
Главная arrow Информатика arrow Введение в курс метрической теории и метрологии программ

Введение в курс метрической теории и метрологии программ

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