Справка
x
Поиск
Закладки
Озвучить книгу
Изменить режим чтения
Изменить размер шрифта
Оглавление
Для озвучивания и цитирования книги перейдите в режим постраничного просмотра.
Введение в курс метрической теории и метрологии программ
Глава 4. Надежность и корректность программного обеспечения
Предыдущая страница
Следующая страница
Table of contents
Предисловие
Введение
Глава 1. Необходимые сведения из алгоритмической теории сложности и инженерной психологии
+
Глава 2. Программная сложность задач (объемные характеристики программ)
+
Глава 3. Вычислительная и информационная сложность задач (временные характеристики программ)
+
Глава 4. Надежность и корректность программного обеспечения
-
4.1. Ошибки и последствия: принципиальный вопрос разработки ПО
4.2. Основные понятия надежности программ. Экспоненциальная модель распределения ошибок
4.3. Защитное программирование и использование различных видов избыточности для повышения надежности ПО
4.4. Отладка программ
4.5. Тестирование (испытание) программ
4.6. Формальная корректность программ
4.7. Детерминированная, стохастическая и динамическая корректность программ
Глава 5. Применение метрической теории программ
+
Глава 6. Метрология качества программ (методологический аспект)
+
Заключение
Приложения
+
Библиографический список
Данный блок поддерживает скрол*