Детальная информация

Название: Введение в технологии верификации: учебно-методическое пособие
Авторы: Дробинцев Павел Дмитриевич
Организация: Санкт-Петербургский политехнический университет Петра Великого
Выходные сведения: Санкт-Петербург: Изд-во Политехн. ун-та, 2016
Электронная публикация: Санкт-Петербург, 2017
Коллекция: Учебная и учебно-методическая литература; Общая коллекция
Тематика: Вычислительные системы — Математическое обеспечение; Вычислительные системы — Программирование; верификация
УДК: 004.415.5(075.8)
Тип документа: Учебное издание
Тип файла: PDF
Язык: Русский
DOI: 10.18720/SPBPU/2/i17-32
Права доступа: Доступ по паролю из сети Интернет (чтение, печать)

Разрешенные действия:

Действие 'Прочитать' будет доступно, если вы выполните вход в систему или будете работать с сайтом на компьютере в другой сети

Группа: Анонимные пользователи

Сеть: Интернет

Аннотация

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

Права на использование объекта хранения

Место доступа Группа пользователей Действие
Локальная сеть ИБК СПбПУ Все Прочитать Печать
Интернет Авторизованные пользователи Прочитать Печать
-> Интернет Анонимные пользователи

Статистика использования

stat Количество обращений: 32
За последние 30 дней: 0
Подробная статистика