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