RUSSIAN

Перспективы интеграции методов верификации программного обеспечения

By Кулямин В.В.

Book information

Language
russian
Format
PDF
Filesize
214 kB (218729 bytes)
Pages
\12
Library
twirpx
Time added
2017-08-07 07:01:42
Информатика и вычислительная техника;Технология пр

Description

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

Similar books