Ваш любимый книжный интернет-магазин
Ваш город: Москва
Ваше местоположение – Москва
 Да 
От вашего выбора зависит время и стоимость доставки
Корзина: пуста
Авторизация 
  Логин
  
  Пароль
  
Регистрация  Забыли пароль?

Яндекс-Поиск по сайту
(морфологический)

Поиск по каталогу 
(строгое соответствие)
ISBN
Фраза в названии или аннотации
Автор
Язык книги
Год издания
с по
Электронный носитель
Тип издания
Вид издания
Отрасли экономики
Отрасли знаний
Сферы деятельности
Надотраслевые технологии
Разделы каталога
худ. литературы
Читайте отзывы покупателей и оценивайте качество магазина на Яндекс.Маркете

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

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