Детальная информация

Название: Программная инженерия. Обеспечение качества программных средств методами статического анализа: учебное пособие
Авторы: Глухих Михаил Игоревич; Ицыксон Владимир Михайлович
Организация: Санкт-Петербургский государственный политехнический университет
Выходные сведения: Санкт-Петербург: Изд-во Политехн. ун-та, 2011
Электронная публикация: Санкт-Петербург, 2020
Коллекция: Учебная и учебно-методическая литература; Общая коллекция
Тематика: Вычислительные машины электронные персональные — Программы
УДК: 004.42.05(075.8)
Тип документа: Учебное издание
Тип файла: PDF
Язык: Русский
Код специальности ФГОС: 09.00.00
Группа специальностей ФГОС: 090000 - Информатика и вычислительная техника
DOI: 10.18720/SPBPU/2/si20-939
Права доступа: Доступ по паролю из сети Интернет (чтение, печать, копирование)

Разрешенные действия:

Действие 'Прочитать' будет доступно, если вы выполните вход в систему или будете работать с сайтом на компьютере в другой сети Действие 'Загрузить' будет доступно, если вы выполните вход в систему или будете работать с сайтом на компьютере в другой сети

Группа: Анонимные пользователи

Сеть: Интернет

Аннотация

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

Права на использование объекта хранения

Место доступа Группа пользователей Действие
Локальная сеть ИБК СПбПУ Все Прочитать Печать Загрузить
Интернет Авторизованные пользователи Прочитать Печать Загрузить
-> Интернет Анонимные пользователи

Оглавление

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

Статистика использования

stat Количество обращений: 4
За последние 30 дней: 0
Подробная статистика