1. Книги
  2. Учебная литература
  3. Абитуриентам и студентам
Код товара: 147955735

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

Оставить отзыв
  • Нет в продаже 1 671
Автор
Серия
Издательство
Год выпуска
2018
Тип обложки
Твердый переплет
Перейти к описанию

О книге

Настоящее пособие предназначено для будущих программистов, которым необходимо знать основы тестирования программных продуктов, принципы работы в команде с тестировщиками, необходимость и основы верификации и моделирования программного обеспечения. Це
Товар закончился
Продавец:
OZON
  • Безопасная оплата: Банковской картой и ещe несколько способов оплаты
  • Возврат 7 дней
Гарантия легкого возврата
До 7 дней на возврат, полная гарантия

Описание

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

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

Характеристики

Автор на обложке
С. М. Старолетов
Автор
Серия
Тип издания
Отдельное издание
Тип
Книга
Формат издания
170x245
Издательство
Год выпуска
2018
Количество страниц
336
Язык издания
Русский
ISBN
978-5-8114-3041-3
Тип обложки
Твердый переплет
Вес в упаковке, г
585
Информация о технических характеристиках, комплекте поставки, стране изготовления, внешнем виде и цвете товара носит справочный характер и основывается на последних доступных к моменту публикации сведениях

Персона

Издательство

Отзывы
Помогите другим пользователям с выбором — будьте первым, кто поделится своим мнением об этом товаре.