Приборы и системы. Управление, контроль, диагностика Аннотация к статье << Назад Метод и инструментальное средство MEDIS обнаружения и локализации ошибок при работе с памятью в программах, написанных на языках С и С++ ТЕТЕРЕВ М.А. ГУБОНИН Н.С. Для выявления ошибок при работе с оперативной памятью в программах, написанных на языках С+, С++ разработан эффективный метод, используемый на статическом этапе отладки проверяемого программного обеспечения (ПО). Метод отличается тем, что вводится механизм контроля состояний сегментов памяти после построения промежуточного представления данных в режиме статической отладки. Механизм контроля включает в себя внутрипроцедурный анализ, межпроцедурный анализ и этапа выявления ошибок. На основе предложенного метода разработано программно-инструментальное средство MEDIS выявления ошибок работы с памятью на статическом этапе отладки. Приведены результаты сравнительных испытаний MEDIS с широко используемым инструментальным средством Сppcheck v.1.53 по выявлению ошибок работы с памятью в ряде проектов ПО разной степени сложности. Установлено, MEDIS выявляет за меньшее время более разнообразный состав и большее количество ошибок в ПО, чем Сppcheck. Ключевые слова: ошибки работы с памятью, статический анализ, отладка программного обеспечения, системы реального времени, анализаторы, динамическая память, утечка памяти. Контактная информация: E-mail: n.s.gubonin@mail.ru Стр. 12-18.