Вид документа : Однотомное издание Шифр издания : 86194 Автор(ы) : Синицын С. В., Налютин Н. Ю. Заглавие : Верификация программного обеспечения : Учебное пособие для СПО Выходные данные : Саратов: Профобразование, 2019 Колич.характеристики :368 с Примечания : Книга находится в Премиум-версии ЭБС IPRbooks. ISBN, Цена 978-5-4488-0357-4: Б.ц. УДК : 004.052 ББК : 32.973 Ключевые слова (''Своб.индексиров.''): верификация по--интеграционное тестирование--конфигурационное управление--менеджмент качества--модульное тестирование--пользовательский интерфейс--программное обеспечение--системное тестирование--устойчивый код--формальная инспекция Аннотация: В учебном пособии представлены современные технологии верификации программного обеспечения, применяемые при промышленной разработке сложных и отказоустойчивых программных систем. Материал издания рассчитан на читателей, заинтересованных в изучении основных подходов и путей решения проблем, которые связаны с современными технологиями верификации программного обеспечения. Учебное пособие предназначено для изучения дисциплины «Программное обеспечение компьютерных сетей» по специальности среднего профессионального образования 09.02.01 «Компьютерные системы и комплексы» и др. Доп.точки доступа: Налютин, Н. Ю.