Использование средств статической отладки для верификации программной среды ScopeShell
Степанов С.В., Шишкин А.Г.

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

Ключевые слова: статическая верификация, отладка программного обеспечения, автоматизированная отладка, язык программирования Java

С.В. Степанов, студент, e-mail: sergey.v.stepanov@gmail.com; А.Г. Шишкин, старш. научн. сотр., e-mail: shishkin@cs.msu.su - Московский государственный университет им. М.В. Ломоносова, факультет вычислительной математики и кибернетики, Ленинские горы, 119992, Москва