- Профессиональная
- Научно-популярная
- Художественная
- Публицистика
- Детская
- Искусство
- Хобби, семья, дом
- Спорт
- Путеводители
- Блокноты, тетради, открытки
Основы тестирования и верификации программного обеспечения
Отсутствует
Местонахождение: Москва | Состояние экземпляра: новый |
Бумажная
версия
версия
Автор: Старолетов С.М.
ISBN: 978-5-8114-5239-2
Год издания: 2020
Формат книги: 70×100/16 (170×240 мм)
Количество страниц: 344
Издательство: СПб.: Лань
Вид издания: Учебное пособие
Для кого: Для вузов
Издание: 2-е, стер.
Нет в наличии
Узнать о поступлении
Позиции в рубрикаторе
Отрасли знаний:Код товара: 526654
Способы доставки в город Москва * комплектация (срок до отгрузки) не более 2 рабочих дней | Возможность оплаты при получении заказа |
Самовывоз из Москвы (собственные пункты самовывоза) | Нет, только предоплата |
Самовывоз из города Москва (пункты самовывоза партнёра CDEK) | Есть, наличными и банковской картой |
Курьерская доставка CDEK из города Москва | Есть, наличными и банковской картой |
Доставка Почтой России из города Москва | Есть, наличными |
Экспресс-доставка EMS из города Москва | Нет, только предоплата |
Аннотация: Настоящее пособие предназначено для будущих программистов, которым необходимо знать основы тестирования программных продуктов, принципы работы в команде с тестировщиками, необходимость и основы верификации и моделирования программного обеспечения. Цель пособия — пересмотреть отношение разработчиков к качеству современного программного обеспечения. В первой части пособия рассматриваются способы тестирования, спецификации программного обеспечения, документирование, модульное тестирование в средах 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.
Пособие может быть использовано на специальности «Программная инженерия» и родственных специальностях, для работы с пособием необходимы навыки разработки взаимодействующих с пользователем приложений на одном из объектно-ориентированных языков, знания математической логики и теории автоматов.
Пособие может быть использовано на специальности «Программная инженерия» и родственных специальностях, для работы с пособием необходимы навыки разработки взаимодействующих с пользователем приложений на одном из объектно-ориентированных языков, знания математической логики и теории автоматов.
Похожие издания
Старолетов С. М. Основы тестирования и верификации программного обеспечения. для вузов. 2023 г., 344 стр., твердый переплет Настоящее пособие предназначено для будущих программистов, которым необходимо знать основы тестирования программных продуктов, принципы работы в команде с тестировщиками, необходимость и... | 3462 руб. |