Полное описание
>
Синицын, С. В. Верификация программного обеспечения : учебное пособие для СПО / Синицын С. В. - Саратов : Профобразование, 2019. - 368 с. - URL: https://www.iprbookshop.ru/86194.html (дата обращения: 11.04.2023) . - Режим доступа: ЭБС IPR SMART. - ISBN 978-5-4488-0357-4. - Текст : электронный.Книга находится в Премиум-версии IPR SMART.
УДК | |
004.052 |
ББК | |
32.973 |
Кл.слова (ненормированные): ВЕРИФИКАЦИЯ ПО -- ИНТЕГРАЦИОННОЕ ТЕСТИРОВАНИЕ -- КОНФИГУРАЦИОННОЕ УПРАВЛЕНИЕ -- МЕНЕДЖМЕНТ КАЧЕСТВА -- МОДУЛЬНОЕ ТЕСТИРОВАНИЕ -- ПОЛЬЗОВАТЕЛЬСКИЙ ИНТЕРФЕЙС -- ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ -- СИСТЕМНОЕ ТЕСТИРОВАНИЕ -- УСТОЙЧИВЫЙ КОД -- ФОРМАЛЬНАЯ ИНСПЕКЦИЯ
Аннотация: В учебном пособии представлены современные технологии верификации программного обеспечения, применяемые при промышленной разработке сложных и отказоустойчивых программных систем. Материал издания рассчитан на читателей, заинтересованных в изучении основных подходов и путей решения проблем, которые связаны с современными технологиями верификации программного обеспечения. Учебное пособие предназначено для изучения дисциплины «Программное обеспечение компьютерных сетей» по специальности среднего профессионального образования 09.02.01 «Компьютерные системы и комплексы» и др.
Доп. точки доступа:
Налютин, Н. Ю.
Держатели документа:
Цифровой образовательный ресурс IPR SMART : 143405, Московская область, г. Красногорск, ш. Ильинское, д. 1А, помещ. 17,6/ком. 5 (Шифр в БД-источнике (IPRBOOKS): 86194)>
Шифр в сводном ЭК: ca2c3729e05f14a9122b14cccfab1580
Просмотр издания ЭБС IPR SMART