Детальная информация
| Название | Программная инженерия. Обеспечение качества программных средств методами статического анализа: учебное пособие |
|---|---|
| Авторы | Глухих Михаил Игоревич ; Ицыксон Владимир Михайлович |
| Организация | Санкт-Петербургский государственный политехнический университет |
| Выходные сведения | Санкт-Петербург: Изд-во Политехн. ун-та, 2011 |
| Электронная публикация | Санкт-Петербург, 2020 |
| Коллекция | Учебная и учебно-методическая литература ; Общая коллекция |
| Тематика | Вычислительные машины электронные персональные — Программы |
| УДК | 004.42.05(075.8) |
| Тип документа | Учебник |
| Тип файла | |
| Язык | Русский |
| Код специальности ФГОС | 09.00.00 |
| Группа специальностей ФГОС | 090000 - Информатика и вычислительная техника |
| DOI | 10.18720/SPBPU/2/si20-939 |
| Права доступа | Доступ по паролю из сети Интернет (чтение, печать, копирование) |
| Ключ записи | RU\SPSTU\edoc\63643 |
| Дата создания записи | 27.10.2020 |
Разрешенные действия
–
Действие 'Прочитать' будет доступно, если вы выполните вход в систему или будете работать с сайтом на компьютере в другой сети
Действие 'Загрузить' будет доступно, если вы выполните вход в систему или будете работать с сайтом на компьютере в другой сети
| Группа | Анонимные пользователи |
|---|---|
| Сеть | Интернет |
В пособии рассматриваются вопросы качества программного обеспечения, дается краткая характеристика современных методов обеспечения качества. Подробно рассматривается один из перспективных методов - обнаружение программных дефектов с помощью статического анализа. Рекомендуется для студентов бакалавриата и магистратуры, обучающихся по направлениям «Информатика и вычислительная техника» и «Программная инженерия». Учебное пособие рекомендуется использовать при изучении дисциплин «Программная инженерия», «Технологии разработки программного обеспечения» и «Методы обеспечения качества программных систем».
| Место доступа | Группа пользователей | Действие |
|---|---|---|
| Локальная сеть ИБК СПбПУ | Все |
|
| Интернет | Авторизованные пользователи СПбПУ |
|
| Интернет | Анонимные пользователи |
|
- СОДЕРЖАНИЕ
- ВВЕДЕНИЕ
- 1. КАЧЕСТВО ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ
- 2. МЕТОДЫ ОБЕСПЕЧЕНИЯ КАЧЕСТВА ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ
- 3. СТАТИЧЕСКИЙ АНАЛИЗ КАК МЕТОД ОБЕСПЕЧЕНИЯ КАЧЕСТВА
- 4. МОДЕЛИ ПРОГРАММНЫХ СИСТЕМ
- 5. АЛГОРИТМЫ СТАТИЧЕСКОГО АНАЛИЗА
- 6. СЕМАНТИЧЕСКИЕ ОПИСАНИЯ
- ЗАКЛЮЧЕНИЕ
- СПИСОК ИСПОЛЬЗОВАННЫХ ИСТОЧНИКОВ
Количество обращений: 28
За последние 30 дней: 0
