Технология программирования
Информатика и вычислительная техника
Статья
  • формат pdf
  • размер 213,60 КБ
  • добавлен 31 октября 2012 г.
Кулямин В.В. Перспективы интеграции методов верификации программного обеспечения
М.: Институт системного программирования РАН, 2008. — 12 с.
В статье предлагается подход к построению расширяемой среды верификации программных систем, которая, по мнению автора, поможет решить проблемы практической применимости современных строгих методов верификации к практически значимым программам, сложность которых все время растет. Она же может стать аналогом испытательного стенда для апробации и отладки большого числа новых предлагаемых техник формальных верификации и статического анализа на разнообразном промышленном программном обеспечении.
Синтетические методы верификации ПО.
Подход к построению расширяемой среды верификации ПО.
Анализ требований.
Поддержка различных языков и нотаций.
Архитектурная основа среды верификации.
Организация разработки среды верификации.
Похожие разделы