Теория и практика защиты программ


         

Для контроля безопасности инструментальных средств


Для контроля безопасности инструментальных средств разработки программ предусмотрено:

·          выявление случаев генерации избыточного кода для прикладных программ,

·          составление спецификаций с учетом целевого применения этих средств,

·          построение функциональных диаграмм и таблиц решений,

·          определение дефектных участков в структуре программных средств,

·          выявление отклонений от документированных штатных функций,

·          дублирование и сверка объектного кода путем итерационных трансляций программ,

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

Средства локализации дефектов, осуществляют их идентификацию в соответствии с принятой на момент тестирования классификацией и определение характеристик программных дефектов, к которым относятся:

·          одноразовость и многоразовость (саморепродуцирование) применения;

·          самоликвидируемость;

·          базируемость (на любых программах, только прикладных, использование комбинаций системных команд);

·          изменяемость (неизменяемость) объема программ;

·          модифицируемость информационных структур;

·          самомодифицируемость.

Рассматриваемые средства имеют возможность выявления факта внесения дефекта на основе детального анализа характеристик программ и сверки их со спецификацией. Кроме того, на этапе локализации дефектов предусматривается, в случае необходимости, дешифрования элементов ПО и информационных структур.

Содержание  Назад  Вперед