Метод выявления недекларированных возможностей программ с использованием структурированных метрик сложности

ВВЕДЕНИЕ
1 СИСТЕМНЫЙ АНАЛИЗ ПРОБЛЕМЫ ПОДТВЕРЖДЕНИЯ
СООТВЕТСТВИЯ ПРОГРАММНЫХ СРЕДСТВ ПО ТРЕБОВАНИЯМ
БЕЗОПАСНОСТИ ИНФОРМАЦИИ НА ЖЕЛЕЗНОДОРОЖНОМ
ТРАНСПОРТЕ.
1.1 Тенденции развития системы подтверждения соответствия программных средств по требованиям качества и безопасности на железнодорожном транспорте.
1.2 Анализ стандартов критериального аппарата и проблемных вопросов подтверждения соответствия программных средств по требованиям безопасности информации
1.3 Общая характеристика методов исследования программ, верификации
и выявления недекларированных возможностей программных средств
1.4 Анализ возможностей использования метрик сложности для задач формальной верификации и выявления недекларированных возможностей программ
1.5 Постановка научной задачи исследования.
2 ОБОСНОВАНИЕ ПОДХОДА К СТРУКТУРИРОВАНИЮ
МОДЕЛЕЙ ПРЕДСТАВЛЕНИЯ ПРОГРАММ И МЕТРИК
СЛОЖНОСТИ НА ОСНОВЕ АНАЛИЗА СЕМАНТИК.
2.1 Анализ трактовок и подходов к формальному описанию семантики языков программирования
2.2 Выбор моделей представления программ на основе структурированных семантик
2.3 Построение логической модели программы с использованием графориентированных схем Янова.
2.4 Построение метрической модели на основе требований к контролю отсутствия недекларированных возможностей
Выводы по главе 2
3 МЕТОД ВЫЯВЛЕНИЯ НЕДЕКЛАРИРОВАННЫХ
ВОЗМОЖНОСТЕЙ ПРОГРАММ С ИСПОЛЬЗОВАНИЕМ
СТРУКТУРИРОВАННЫХ МЕТРИК СЛОЖНОСТИ.
3.1 Общая характеристика метода выявления недеклариронанных возможностей программ на основе структурированных метрик сложности
3.2 Построение метрического базиса как совокупности структурированных метрик топологической и информационной сложности
3.3 Приведение программы к продуктивной структуре на основе канонического представления схем Янова
3.4 Формирование системы критериев для классификации выявленных дефектов как подобных НДВ.
Выводы по главе 3.
4 МЕТОДИКА ВЫЯВЛЕНИЯ НЕДЕКЛАРИРОВАННЫХ
ВОЗМОЖНОСТЕЙ ПРОГРАММ И ПРАКТИЧЕСКИЕ
РЕКОМЕНДАЦИИ ПО ИСПОЛЬЗОВАНИЮ
СТРУКТУРИРОВАННЫХ МЕТРИК СЛОЖНОСТИ.
4.1 Место и роль метрических оценок в системе статического анализа программных средств.
4.2 Методика выявления недекларированных возможностей программ с использованием структурированных метрик топологической и информационной сложности
Выводы по главе 4.
ЗАКЛЮЧЕНИЕ
СПИСОК ИСПОЛЬЗОВАННЫХ ИСТОЧНИКОВ