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

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