Аннотация:
Рассматриваются свободно распространяемые пакеты для статической верификации кодов, написанных на языке Java. Приведены результаты тестирования и оценка эффективности применения различных верификаторов на примере программной системы ScopeShell, разработанной на кафедре автоматизации научных исследований факультета ВМиК МГУ.
Ключевые слова:статическая верификация; отладка программного обеспечения; автоматизированная отладка; язык программирования Java.
Полный текст:
PDF файл (736 kB)