Details
Title | Программная инженерия. Обеспечение качества программных средств методами статического анализа: учебное пособие |
---|---|
Creators | Глухих Михаил Игоревич ; Ицыксон Владимир Михайлович |
Organization | Санкт-Петербургский государственный политехнический университет |
Imprint | Санкт-Петербург: Изд-во Политехн. ун-та, 2011 |
Electronic publication | Санкт-Петербург, 2020 |
Collection | Учебная и учебно-методическая литература ; Общая коллекция |
Subjects | Вычислительные машины электронные персональные — Программы |
UDC | 004.42.05(075.8) |
Document type | Tutorial |
File type | |
Language | Russian |
Speciality code (FGOS) | 09.00.00 |
Speciality group (FGOS) | 090000 - Информатика и вычислительная техника |
DOI | 10.18720/SPBPU/2/si20-939 |
Rights | Доступ по паролю из сети Интернет (чтение, печать, копирование) |
Record key | RU\SPSTU\edoc\63643 |
Record create date | 10/27/2020 |
Allowed Actions
–
Action 'Read' will be available if you login or access site from another network
Action 'Download' will be available if you login or access site from another network
Group | Anonymous |
---|---|
Network | Internet |
В пособии рассматриваются вопросы качества программного обеспечения, дается краткая характеристика современных методов обеспечения качества. Подробно рассматривается один из перспективных методов - обнаружение программных дефектов с помощью статического анализа. Рекомендуется для студентов бакалавриата и магистратуры, обучающихся по направлениям «Информатика и вычислительная техника» и «Программная инженерия». Учебное пособие рекомендуется использовать при изучении дисциплин «Программная инженерия», «Технологии разработки программного обеспечения» и «Методы обеспечения качества программных систем».
Network | User group | Action |
---|---|---|
ILC SPbPU Local Network | All |
|
Internet | Authorized users SPbPU |
|
Internet | Anonymous |
|
- СОДЕРЖАНИЕ
- ВВЕДЕНИЕ
- 1. КАЧЕСТВО ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ
- 2. МЕТОДЫ ОБЕСПЕЧЕНИЯ КАЧЕСТВА ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ
- 3. СТАТИЧЕСКИЙ АНАЛИЗ КАК МЕТОД ОБЕСПЕЧЕНИЯ КАЧЕСТВА
- 4. МОДЕЛИ ПРОГРАММНЫХ СИСТЕМ
- 5. АЛГОРИТМЫ СТАТИЧЕСКОГО АНАЛИЗА
- 6. СЕМАНТИЧЕСКИЕ ОПИСАНИЯ
- ЗАКЛЮЧЕНИЕ
- СПИСОК ИСПОЛЬЗОВАННЫХ ИСТОЧНИКОВ
Access count: 27
Last 30 days: 0