Старолетов С. М. Основы тестирования и верификации программного обеспечения: учебное пособие / Старолетов Сергей Михайлович. - Санкт-Петербург: Лань, 2019. - 344 с.: ил. - (Учебники для вузов. Специальная литература). - Лит.: с. 340. - ISBN 978-5-8114-3041-3.Отраслевые рубрики: вычислительная техника, программное обеспечение, разработка программного обеспечения Ключевые слова: .Net Code Contract, Eiffel, Frama-C, Model Based Testing, автоматизированное тестирование, верификация программного обеспечения, дедуктивная верификация, документирование кода, метод черного ящика, модель черного ящика, модульное тестирование, разработка через тестирование (TDD), разработка, управляемая поведением (BDD), регрессивное тестирование, специфицирование, статистический анализ, тестирование программного продукта, тестировщики, функциональное тестирование
| Сигла хранения | Всего экз. | В наличии | Заказано | | абонемент | 2 | 1 | 0 |
| 
Блог Мишки Б.
