Введение
Глава 1. Обзор уязвимостей программных продуктов технологии промышленного проектирования 6
1.1 Современное состояние рынка функционального программного обеспечения. 6
1.2 Развитие программной инженерии 7
1.3 Уязвимости CASE-проектирования 13
1.4 Применение комплексных методологий для снижения уязвимости программного продукта на примере Rational Unified Process 16
Глава 2. Модель обнаружения неисполняемых путей на начальных этапах проектирования программного продукта 38
2.1 Проблема «мертвого кода» в логической структуре требований 38
2.2 Использование графо-аналитической модели структуры артефакта для построения комплексного кубического покрытия 47
2.3 Результаты функционирования модели 53
Глава 3. Метод обнаружения предпосылок к возникновению «мертвого кода» 55
3.1 Метод выделения логической структуры артефакта RUP 56
3.2 Преобразование логической структуры артефакта RUP в ГАМ 60
3.3 Выявление основных показателей наличия «мертвого кода» в проектируемом программном продукте 63
Глава 4. Методика снижения количества уязвимостеи в конечном программном продукте 75
4.1 Область применения метода обнаружения уязвимостей 75
4.2 Обнаружение недекларируемых возможностей на начальных этапах проектирования программного продукта 80
4.3 Динамика роста уязвимостей в сложных программных продуктах 86
Заключение 92
Литература 93
Приложение 98
