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: Доступ по паролю из сети Интернет (чтение, печать, копирование)

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

Annotation

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

Document access rights

Network User group Action
ILC SPbPU Local Network All Read Print Download
Internet Authorized users Read Print Download
-> Internet Anonymous

Table of Contents

  • СОДЕРЖАНИЕ
  • ВВЕДЕНИЕ
  • 1. КАЧЕСТВО ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ
  • 2. МЕТОДЫ ОБЕСПЕЧЕНИЯ КАЧЕСТВА ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ
  • 3. СТАТИЧЕСКИЙ АНАЛИЗ КАК МЕТОД ОБЕСПЕЧЕНИЯ КАЧЕСТВА
  • 4. МОДЕЛИ ПРОГРАММНЫХ СИСТЕМ
  • 5. АЛГОРИТМЫ СТАТИЧЕСКОГО АНАЛИЗА
  • 6. СЕМАНТИЧЕСКИЕ ОПИСАНИЯ
  • ЗАКЛЮЧЕНИЕ
  • СПИСОК ИСПОЛЬЗОВАННЫХ ИСТОЧНИКОВ

Usage statistics

stat Access count: 4
Last 30 days: 0
Detailed usage statistics