| Найдено документов - 1 | Выборка документов | Версия для печати |
Сортировать по:
1. Книга
Полочный шифр: 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