Details
| Title | Введение в технологии верификации: учебно-методическое пособие |
|---|---|
| Creators | Дробинцев Павел Дмитриевич |
| Organization | Санкт-Петербургский политехнический университет Петра Великого |
| Imprint | Санкт-Петербург: Изд-во Политехн. ун-та, 2016 |
| Electronic publication | Санкт-Петербург, 2017 |
| Collection | Учебная и учебно-методическая литература ; Общая коллекция |
| Subjects | Вычислительные системы — Математическое обеспечение ; Вычислительные системы — Программирование ; верификация |
| UDC | 004.415.5(075.8) |
| Document type | Tutorial |
| File type | |
| Language | Russian |
| DOI | 10.18720/SPBPU/2/i17-32 |
| Rights | Доступ по паролю из сети Интернет (чтение, печать) |
| Record key | RU\SPSTU\edoc\38689 |
| Record create date | 4/20/2017 |
Allowed Actions
–
Action 'Read' will be available if you login or access site from another network
| Group | Anonymous |
|---|---|
| Network | Internet |
Рассмотрены основы процессов обеспечения качества программного обеспечения с использованием методов верификации и тестирования. Представлены наиболее распространенные на текущий момент математические модели, применяемые для формального описания требований и функционала разрабатываемых комплексов программ. Приведены примеры использования различных математических моделей и нотаций для построения формального описания программных систем. Предназначено для студентов высших технических учебных заведений, обучающихся по направлениям подготовки 09.03.01 «Информатика и вычислительная техника», 09.03.04 «Программная инженерия», для студентов других специальностей, изучающих дисциплину «Технологии программирования» и «Технологии верификации программ».
| Network | User group | Action |
|---|---|---|
| ILC SPbPU Local Network | All |
|
| Internet | Authorized users SPbPU |
|
| Internet | Anonymous |
|
Access count: 52
Last 30 days: 0
