| Найдено документов - 2 | Найти похожие: "Заглавие" = 'Основы тестирования и верификации программного обеспечения' | Версия для печати |
Сортировать по:
1. Документ
Старолетов, С. М.
Основы тестирования и верификации программного обеспечения : учебное пособие / С. М. Старолетов. — 2-е изд., стер. — Санкт-Петербург : Лань, 2020. — 344 с. : ил. — (Учебники для вузов. Специальная литература). — Лит.: с. 340. — ISBN 978-5-8114-5239-2. — Текст : электронный.
Основы тестирования и верификации программного обеспечения : учебное пособие / С. М. Старолетов. — 2-е изд., стер. — Санкт-Петербург : Лань, 2020. — 344 с. : ил. — (Учебники для вузов. Специальная литература). — Лит.: с. 340. — ISBN 978-5-8114-5239-2. — Текст : электронный.
Внешний ресурс:
ЭБС "Лань". Электронная версия. Доступ по логину и паролю. Доступ до 14.02.2026
Дисциплина из КО: Верификация программного обеспечения, Тестирование программного обеспечения, Технологии тестирования
Подробнее
Авторы: Старолетов С. М.
Отраслевые рубрики: вычислительная техника, программирование, разработка программного обеспечения
Ключевые слова: .Net Code Contract, Eiffel, Frama-C, Model Based Testing, автоматизированное тестирование, верификация программного обеспечения, дедуктивная верификация, документирование кода, метод черного ящика, модель черного ящика, модульное тестирование, разработка через тестирование (TDD), разработка, управляемая поведением (BDD), регрессивное тестирование, специфицирование, статистический анализ, тестирование программного продукта, тестировщики, функциональное тестирование
Индексы ББК: 32.973.45я73
Переиздания: DU/607537403
Представления: Формат MARC21
2. Книга
Полочный шифр: 32.973.45я73 - С 773
Старолетов, С. М.
Основы тестирования и верификации программного обеспечения : учебное пособие / С. М. Старолетов. — Санкт-Петербург : Лань, 2019. — 344 с. : ил. — (Учебники для вузов. Специальная литература). — Лит.: с. 340. — ISBN 978-5-8114-3041-3. — Текст : непосредственный.
Основы тестирования и верификации программного обеспечения : учебное пособие / С. М. Старолетов. — Санкт-Петербург : Лань, 2019. — 344 с. : ил. — (Учебники для вузов. Специальная литература). — Лит.: с. 340. — ISBN 978-5-8114-3041-3. — Текст : непосредственный.
Экземпляры: Всего: 2, из них: аб.-2 в наличии 1
Подробнее
Авторы: Старолетов С. М.
Отраслевые рубрики: вычислительная техника, программирование, разработка программного обеспечения
Ключевые слова: .Net Code Contract, Eiffel, Frama-C, Model Based Testing, автоматизированное тестирование, верификация программного обеспечения, дедуктивная верификация, документирование кода, метод черного ящика, модель черного ящика, модульное тестирование, разработка через тестирование (TDD), разработка, управляемая поведением (BDD), регрессивное тестирование, специфицирование, статистический анализ, тестирование программного продукта, тестировщики, функциональное тестирование
Индексы ББК: 32.973.45я73
Переиздания: UNIDUBNAea39a9c506e6416c9ed851b5f51763d8
Представления: Формат MARC21