Информационная система "Конференции"

Тезисы докладов

Информационные технологии

Статический анализатор ошибок Wasp базируется на мощном и сложном потоковом анализе исходной программы. Генерируемые им сообщения об ошибках могут оказаться достаточно сложными для пользователя. В связи с этим назрела необходимость в разработке инструмента нового вида - статического отладчика, который в диалоговом взаимодействии с пользователем обеспечивает адекватную визуализацию разнообразной информации о программе, полученной ранее в результате потокового анализа программы. Предметом настоящей работы является обзор статических и динамических отладчиков в следующих аспектах: виды используемых анализов программы, а также особенности отображения информации о программе, ее визуализации и средств навигации по ней.

Для традиционных динамических отладчиков приводится обзор средств пошагового исполнения программы. Отладка происходит во время исполнения программы, поэтому такие отладчики также называют отладчиками периода исполнения. Статические отладчики для работы используют информацию, накопленную в результате статического анализа, и не требуют выполнения программы. В настоящей статье рассматриваются принципы построения статического отладчика MrSpidey для языка Scheme (расширения языка Lisp). Статический отладчик MrSpidey базируется на компонентном статическом анализе, определяющем отношения на множествах значений объектов анализируемой программы. MrSpidey обеспечивает развитые средства графического отображения программных инвариантов с детальной информацией о их происхождении. Инварианты используются в MrSpidey для обнаружения потенциальных ошибочных ситуаций в программе, часть из которых является достоверными ошибками.

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

Дополнительные материалы:

HTML

Примечание. Тезисы докладов публикуются в авторской редакции

Ваши комментарии Обратная связь

[Головная страница] [Конференции]

© 1996-2000, Институт вычислительных технологий СО РАН, Новосибирск
© 1996-2000, Сибирское отделение Российской академии наук, Новосибирск
    Дата последней модификации: 06-Jul-2012 (11:47:01)