|
Документ взят из кэша поисковой машины. Адрес
оригинального документа
: http://num-meth.srcc.msu.ru/zhurnal/tom_2009/v10r203.html
Дата изменения: Thu Jan 29 15:03:00 2009 Дата индексирования: Mon Oct 1 21:08:39 2012 Кодировка: Windows-1251 |
|
Использование средств статической отладки для верификации
программной среды ScopeShell
Степанов С.В., Шишкин А.Г. |
|
Рассматриваются свободно распространяемые пакеты для статической верификации кодов, написанных на языке Java. Приведены результаты тестирования и оценка эффективности применения различных верификаторов на примере программной системы ScopeShell, разработанной на кафедре автоматизации научных исследований факультета ВМиК МГУ. Ключевые слова: статическая верификация, отладка программного обеспечения, автоматизированная отладка, язык программирования Java |
| С.В. Степанов, студент, e-mail: sergey.v.stepanov@gmail.com; А.Г. Шишкин, старш. научн. сотр., e-mail: shishkin@cs.msu.su - Московский государственный университет им. М.В. Ломоносова, факультет вычислительной математики и кибернетики, Ленинские горы, 119992, Москва |