Details

Title Программная инженерия. Обеспечение качества программных средств методами статического анализа: учебное пособие
Creators Глухих Михаил Игоревич ; Ицыксон Владимир Михайлович
Organization Санкт-Петербургский государственный политехнический университет
Imprint Санкт-Петербург: Изд-во Политехн. ун-та, 2011
Electronic publication Санкт-Петербург, 2020
Collection Учебная и учебно-методическая литература ; Общая коллекция
Subjects Вычислительные машины электронные персональные — Программы
UDC 004.42.05(075.8)
Document type Tutorial
File type PDF
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
Read Print Download
Internet Authorized users SPbPU
Read Print Download
Internet Anonymous
  • СОДЕРЖАНИЕ
  • ВВЕДЕНИЕ
  • 1. КАЧЕСТВО ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ
  • 2. МЕТОДЫ ОБЕСПЕЧЕНИЯ КАЧЕСТВА ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ
  • 3. СТАТИЧЕСКИЙ АНАЛИЗ КАК МЕТОД ОБЕСПЕЧЕНИЯ КАЧЕСТВА
  • 4. МОДЕЛИ ПРОГРАММНЫХ СИСТЕМ
  • 5. АЛГОРИТМЫ СТАТИЧЕСКОГО АНАЛИЗА
  • 6. СЕМАНТИЧЕСКИЕ ОПИСАНИЯ
  • ЗАКЛЮЧЕНИЕ
  • СПИСОК ИСПОЛЬЗОВАННЫХ ИСТОЧНИКОВ

Access count: 27 
Last 30 days: 0

Detailed usage statistics