Электронные книги

Жанры
Реклама
Последние комментарии
От партнёров
Облако тегов

ПрограммированиеВерификация автоматных программ

'Верификация

Название: Верификация автоматных программ

Автор: С.Э.Вельдер, М.А.Лукин, А.А.Шалыто, Б.Р.Яминов

Издательство: СПбГУ ИТМО

Год: 2011

Формат: pdf

Размер: 3,27 mb



В учебном пособии рассматриваются вопросы верификации программного обеспечения на основе проверки моделей с использованием различных языков спецификации. Особое внимание уделяется верификации автоматных программ, которые моделируются в виде системы автоматизированных объектов управления и могут быть весьма эффективно верифицированы указанным методом. Математический аппарат и прикладные инструменты данной области позволяют создавать качественное программное обеспечение для ответственных систем и получать надежные подтверждения их правильности. Учебное пособие посвящено концепциям, алгоритмам и инструментам для проверки моделей программ. В нем излагаются теоретические вопросы проверки моделей, вводятся различные спецификационные формализмы и описываются алгоритмы проверки моделей для спецификаций, выраженных в этих формализмах. Алгоритмы проверки моделей демонстрируются на примерах конкретных инструментальных средств.



Похожие книги

Информация

Посетители, находящиеся в группе Гости, не могут оставлять комментарии к данной публикации.


  • Valid XHTML 1.0 Transitional