Старолетов Сергей Михайлович Основы тестирования и верификации программного обеспечения

Продавец: Интернет-магазин labirint.ru

Наш сервис сравнения цен ShopLiga.Ru - подбирает для вас самые лучшие и актуальные цены на товары от проверенных продавцов из различных регионов России. Предлагаемая продукция отличается высоким качеством, и пользуются большой популярностью. Мы стараемся поддерживать самые актуальные цены на товары, размещаем детальные технические характеристики, статьи с рекомендациями и отзывами покупателей о продукции и размещенных магазинах.

Старолетов Сергей Михайлович Основы тестирования и верификации программного обеспечения - можно купить на официальном сайте нашего партнера labirint.ru. Также, на сайте доступно подробное описание и существует возможность ознакомиться с полным каталогом товаров. В интернет-магазине labirint.ru помогут оформить заказ и обсудят возможную доставку на дом.

Лучшая цена в магазине:

2 982 руб.

ПОСМОТРЕТЬ

Наличие на складеТоропитесь, товар заканчивается на складе!
Сегодня его купили 3 раза
Доставка Россия Самовывоз, курьерская доставка, почта России, EMS, ТК
Способы оплаты наличный расчет, безналичный расчет, Webmoney, Яндекс.Деньги

Настоящее пособие предназначено для будущих программистов, которым необходимо знать основы тестирования программных продуктов, принципы работы в команде с тестировщиками, необходимость и основы верификации и моделирования программного обеспечения. Цель пособия - пересмотреть отношение разработчиков к качеству современного программного обеспечения. В первой части пособия рассматриваются способы тестирования, спецификации программного обеспечения, документирование, модульное тестирование в средах 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. Пособие может быть использовано на специальности "Программная инженерия" и родственных специальностях, для работы с пособием необходимы навыки разработки взаимодействующих с пользователем приложений на одном из объектно-ориентированных языков, знания математической логики и теории автоматов.