Вычислительные методы и программирование
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Архив

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS


Выч. мет. программирование:
Год:
Том:
Выпуск:
Страница:
Найти




Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация

Вычислительные методы и программирование, 2009, том 10, выпуск 1, страницы 22–33 (Mi vmp400)  
Программирование

Использование средств статической отладки для верификации программной среды ScopeShell

С. В. Степанов, А. Г. Шишкин

Московский государственный университет имени М. В. Ломоносова, факультет вычислительной математики и кибернетики
PDF полного текста (736 kB)
Аннотация: Рассматриваются свободно распространяемые пакеты для статической верификации кодов, написанных на языке Java. Приведены результаты тестирования и оценка эффективности применения различных верификаторов на примере программной системы ScopeShell, разработанной на кафедре автоматизации научных исследований факультета ВМиК МГУ.
Ключевые слова: статическая верификация; отладка программного обеспечения; автоматизированная отладка; язык программирования Java.
Тип публикации: Статья
УДК: 004.415.53
Образец цитирования: С. В. Степанов, А. Г. Шишкин, “Использование средств статической отладки для верификации программной среды ScopeShell”, Выч. мет. программирование, 10:1 (2009), 22–33
Цитирование в формате AMSBIB
\RBibitem{SteShi09}
\by С.~В.~Степанов, А.~Г.~Шишкин
\paper Использование средств статической отладки для верификации программной среды ScopeShell
\jour Выч. мет. программирование
\yr 2009
\vol 10
\issue 1
\pages 22--33
\mathnet{http://mi.mathnet.ru/vmp400}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/vmp400
  • https://www.mathnet.ru/rus/vmp/v10/i1/p22
    • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Вычислительные методы и программирование
    Статистика просмотров:
    Страница аннотации:68
    PDF полного текста:23
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024