Основы тестирования и верификации программного обеспечения (Старолетов Сергей Михайлович) ; Лань, 2023
от 1357 р. до 14424 р.
Автор(ы): Старолетов Сергей Михайлович;
Издатель: Лань
ISBN: 978-5-8114-3041-3, 978-5-8114-5239-2
ID: SKU94154
Добавлено: 15.08.2021
Сравнить цены
Цена от 1357 р. до 14424 р. в 3 магазинах
Магазин | Цена | Наличие |
---|---|---|
Лабиринт 5/5 | 3173 р. 4533 р. | |
ЛитРес 5/5 | 1357 р. 1697 р. электронная книга | скачать фрагмент | |
Яндекс.Маркет 5/5 | 14424 р. | |
Читай-город 5/5 | ||
МАЙШОП 5/5 | Один из первых книжных интернет-магазинов, работающий с 2002 года | |
Описание
Настоящее пособие предназначено для будущих программистов, которым необходимо знать основы тестирования программных продуктов, принципы работы в команде с тестировщиками, необходимость и основы верификации и моделирования программного обеспечения. Цель пособия - пересмотреть отношение разработчиков к качеству современного программного обеспечения. В первой части пособия рассматриваются способы тестирования, спецификации программного обеспечения, документирование, модульное тестирование в средах IntelliJ IDEA, MS Visual Studio, изучаются методы разработки программного обеспечения, исходя от тестирования (TDD) и поведения (BDD) в среде IDEA на языке Java, рассматривается функциональное автоматизированное тестирование в среде IBM Rational Tester, тестирование Web-приложений с помощью Selenium. Вторую часть пособия занимают перспективные методы, связанные с верификацией и моделированием ПО. Рассматривается технология разработки и проектирования - контрактное программирование и язык Eiffel, .NET Code Contracts, технология Model Based Testing и средство MS Spec Explorer, Model Based Checking и средство Spin в среде iSpin, платформа Frama-C.
Пособие может быть использовано на специальности "Программная инженерия" и родственных специальностях, для работы с пособием необходимы навыки разработки взаимодействующих с пользователем приложений на одном из объектно-ориентированных языков, знания математической логики и теории автоматов.
3-е издание, стереотипное.
Пособие может быть использовано на специальности "Программная инженерия" и родственных специальностях, для работы с пособием необходимы навыки разработки взаимодействующих с пользователем приложений на одном из объектно-ориентированных языков, знания математической логики и теории автоматов.
3-е издание, стереотипное.
Смотри также Характеристики.
Яндекс.Маркет
Видео обзоры (2)
О книге
Автор(ы) | Старолетов Сергей Михайлович |
Серия | Учебники для вузов. Специальная литература |
Раздел | Пользование программами |
Издатель | Лань |
ISBN | 978-5-507-46773-0 |
Год издания | 2023 |
Количество страниц | 344 |
Формат | 170x241мм |
Вес | 0.58кг |
Возрастные ограничения | 12 |
Кол-во страниц | 344 |
Отзывы (1)
-
angelic
- 26 декабря 20185/5
Добавляю несколько изображений книги для ознакомления:
0 0
Добавить отзыв
Книги с похожим названием
Книги где автор: Старолетов Сергей Михайлович
Программирование - издательство "Лань"
Категория 1085 р. - 1628 р.
Программирование - издательство "Лань" »
Программирование
Категория 1085 р. - 1628 р.