Санкт-Петербургский национальный исследовательский университет информационных технологий, механики и оптики

Учебные издания

Методы верификации вычислительных процессов. [Часть 1]: Учебно-методическое пособие.

Донецкая Ю.В., Зыков А.Г., Поляков В.И. Методы верификации вычислительных процессов. [Часть 1]: Учебно-методическое пособие. - Санкт-Петербург: Университет ИТМО, 2019. - 142 с. - экз.

Аннотация :

Учебное пособие охватывает различные аспекты верификации вычислительных процессов, реализованных аппаратно, на уровне логических схем (часть 1) и программно (часть 2). В данной части приведено обоснование важности верификации проектов, даны определения формальной и функциональной верификаций вычислительных процессов, их валидации. Представлены теоретические основы методов верификации, таких, как основные положения теории множеств, булевой алгебры, теории графов и теории конечных автоматов. Подробно рассмотрены методы синтеза контролирующих тестов для функциональной верификации цифровых схем, включая формальные модели схем, построение комплексных покрытий и графов переходов, решение установочной задачи, синтез тестовых последовательностей и устранение статического риска сбоя. Рассмотрен вопрос формальной верификации моделей разного уровня представления. Для закрепления теоретического материала предложены контрольные вопросы. Приведёны пример выполнения домашнего задания на синтез теста для последовательностной схемы и варианты заданий. Работа выполнена при частичной поддержке РФФИ, грант 17-07-00700. Учебное пособие предназначено для бакалавров широкого круга инженерных специальностей (проектирование вычислительных систем, программирование и др.), а также оно будет полезно для магистрантов, специализирующихся в области вычислительной техники.

Описание :

Рекомендовано к использованию в Университете ИТМО по направлениям подготовки 09.03.01 «Информатика и вычислительная техника», 09.03.04 «Программная инженерия», 10.03.01 «Информационная безопасность» в качестве учебно-методического пособия для реализации основных профессиональных образовательных программ высшего образования бакалавриата.

PDF :

Название : Методы верификации вычислительных процессов. [Часть 1] Скачать PDF (4138.50 Кб)