EN | RU    
Издательство научно-технической литературы
Поиск по сайту:

На главную»

Контакты»

Журналы»

Новости»

Оформление статей»

Реклама в журналах»

Обратная связь»

Книги»

О фирме»



 реклама



Приборы и системы. Управление, контроль, диагностика

Аннотация к статье
<< Назад
Метод и инструментальное средство MEDIS обнаружения и локализации ошибок при работе с памятью в программах, написанных на языках С и С++
ТЕТЕРЕВ М.А. ГУБОНИН Н.С.

Для выявления ошибок при работе с оперативной памятью в программах, написанных на языках С+, С++ разработан эффективный метод, используемый на статическом этапе отладки проверяемого программного обеспечения (ПО). Метод
отличается тем, что вводится механизм контроля состояний сегментов памяти после построения промежуточного представления данных в режиме статической отладки. Механизм контроля включает в себя внутрипроцедурный анализ, межпроцедурный анализ и этапа выявления ошибок. На основе предложенного метода разработано программно-инструментальное средство MEDIS выявления ошибок работы с памятью на статическом этапе отладки. Приведены результаты сравнительных испытаний MEDIS с широко используемым инструментальным средством Сppcheck v.1.53 по выявлению ошибок работы с памятью в ряде проектов ПО разной степени
сложности. Установлено, MEDIS выявляет за меньшее время более разнообразный состав и большее количество ошибок в ПО, чем Сppcheck.
Ключевые слова: ошибки работы с памятью, статический анализ, отладка программного обеспечения, системы реального времени, анализаторы, динамическая память, утечка памяти.

Контактная информация: E-mail: n.s.gubonin@mail.ru

Стр. 12-18.

 разделы

«О журнале

«Архив журнала

«Тематическая направленность журнала

«Правила оформления статей

«Этапы рассмотрения и публикации статей

«Правила рецензирования статей

«Редакционная и профессиональная этика

«Обнаружение плагиата

«Редакция и редакционная коллегия

«Новости журнала


 журналы
...................................
Приборы и системы. Управление, контроль, диагностика
...................................
Приборостроение и средства автоматизации. Энциклопедический справочник
...................................
Промышленные АСУ и контроллеры
...................................
Экологические системы и приборы
...................................
Авиакосмическое приборостроение
...................................
Инженерная физика
...................................
История науки и техники
...................................
Музыка и время
...................................
Нотный альбом
...................................
Музыковедение
...................................
Бюллетень Главного ботанического сада
...................................
Всеобщая история
...................................
Справочник инженера
...................................
Прикладная физика и математика
...................................
Известия академии инженерных наук им. А.М. Прохорова
...................................

Последние новости:

Выставки по автоматизации и электронике «ПТА-Урал 2018» и «Электроника-Урал 2018» состоятся в Екатеринбурге

Открыта электронная регистрация на выставку Дефектоскопия / NDT St. Petersburg

Открыта регистрация на 9-ю Международную научно-практическую конференцию «Строительство и ремонт скважин — 2018»

ExpoElectronica и ElectronTechExpo 2018: рост площади экспозиции на 19% и новые формы контент-программы

Тематика и состав экспозиции РЭП на выставке "ChipEXPO - 2018"

   Rambler's Top100 Rambler's Top100         


    Система управления разработана в: ananskikh.ru
© Издательство "НАУЧТЕХЛИТИЗДАТ", 2005-2022