СОДЕРЖАНИЕ
ПЕРЕЧЕНЬ УСЛОВНЫХ СОКРАЩЕНИЙ
ВВЕДЕНИЕ
РАЗДЕЛ 1. АНАЛИЗ методОв И СРЕДСТВ ВЕРИФИКАЦИИ програМмного ОБЕСПЕЧЕНИЯ
ИНФОРМАЦИОННО-УПРАВЛЯЮЩИХ СИСТЕМ
1.1. Сложность современного программного обеспечения
1.2. Основные характеристики качества программного обеспечения
1.3. Методы обеспечения качества программного обеспечения
1.4. Верификация программного обеспечения информационно-управляющих систем как
методология обеспечения надежности программного обеспечения
1.5. Средства верификации программного обеспечения
1.6. Средства статического анализа программного обеспечения
1.7. Постановка общей и частных задач диссертационного исследования и
обоснование методики их проведения
Выводы по первому
разделу
РАЗДЕЛ 2. ДЕСКРИПТОРНАЯ МОДЕЛЬ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ
ИНФОРМАЦИОННО-УПРАВЛЯЮЩИХ СИСТЕМ
2.1. Сжимающее семантическое отображение
2.2. Дескрипторное семантическое пространство и алгебра
2.3. Целочисленное семантическое отображение
2.4. Целочисленное дескрипторное пространство и алгебра
2.5. Анализ систем единиц
2.6. Оценка полноты дескрипторного семантического контроля программного
обеспечения информационно-управляющих систем
2.7. Модель дефектов программного обеспечения
2.8. Анализ достоверности дескрипторного семантического контроля
Выводы по второму
разделу
РАЗДЕЛ 3. МЕТОД ВЕРИФИКАЦИИ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ ИНФОРМАЦИОННО-УПРАВЛЯЮЩИХ
СИСТЕМ
3.1. Независимая верификация программного обеспечения в условиях ресурсных
ограничений и неполноты проектной документации
3.2. Восстановление семантического контекста
3.3. Формирование целочисленного семантического дескриптора и восстановление
семантического вектора
3.4. Метод декрипторного контроля семантической корректности вычислительных
процессов
3.5. Спецификация процедур независимой верификации программного обеспечения
информационно-управляющих систем
Выводы по третьему
разделу
РАЗДЕЛ 4. Информационная технология ВЕРИФИКАЦИИ программного обеспечения
ИНФОРМАЦИОННО-УПРАВЛЯЮЩИХ СИСТЕМ
4.1. Информационная технология динамической верификации программного
обеспечения
4.2. Интегрированная инструментальная среда поддержки экспертизы и независимой
верификации программного обеспечения информационно-управляющих систем в
условиях ресурсных ограничений и неполноты проектной документации
4.3. Измерение параметров программного обеспечения
4.3.1. Обнаружение нарушений семантических инвариантов
4.3.2. Обработка выражений языка С/С++
4.4. Результаты калибровки дескрипторного семантического контроля программного
обеспечения информационно-управляющих систем
4.5. Апробация информационной технологии верификации программного обеспечения
информационно-управляющих систем на основе дескрипторной модели
Выводы по четвертому
разделу
ВЫВОДЫ
ПРИЛОЖЕНИЕ А. Акты внедрения
ПРИЛОЖЕНИЕ Б. Программная реализация дескрипторного контроля семантической
корректности вычислительных процессов
Б.1. Универсальный класс данных
Б.2. Класс семантического дескриптора
Б.3. Класс узлов программных выражений
Б.4. Шаблоны операторов потокового ввода-вывода
Б.5. Шаблоны математических функций
Б.6. Файл установки порядка базовых физических единиц
СПИСОК
- Київ+380960830922