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

...
Ещё от "ЛитРес":

Рекомендательный сервис

  • Общий рейтинг 4.14
  • Рейтинг покупателей 3.47
  • Рейтинг экспертов 4.71
  • Качество материалов 4.40
  • Надежность 4.11
  • Простота в использовании 4.07
  • Ремонтопригодность 4.09
  • Эффективность выполнения своих функций 4.04
  • Коэффициент удивления "Вау!" 4.14
  • Безопасность для пользователя4.71
  • Внешний вид 4.97
  • Удобство в уходе и чистке 4.00
  • Экологическая безопасность 4.71
  • Гарантия на товар 4.00
  • Соответствие стандартам качества 4.17
  • Инновационные технологии 4.00
  • Хит продаж 4.14
  • Скорость морального устаревания 4.40
  • Энергоэффективность 4.07
  • Универсальность использования 4.40
  • Наличие дополнительных функций 4.01
  • Соотношение цена-качество 3.70
  • Практичность и удобство хранения 4.41
  • Стабильность работы в различных условиях 4.17
  • Возможность персонализации 4.00
  • Ликвидность 4.01
  • Индекс рекомендаций 3.00
Настоящее пособие предназначено для будущих программистов, которым необходимо знать основы тестирования программных продуктов, принципы работы в команде с тестировщиками, необходимость и основы верификации и моделирования программного обеспечения. Цель пособия – пересмотреть отношение разработчиков к качеству современного программного обеспечения. В первой части пособия рассматриваются способы тестирования, спецификации программного обеспечения, документирование, модульное тестирование в средах 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. Пособие может быть использовано на специальности «Программная инженерия» и родственных специальностях, для работы с пособием необходимы навыки разработки взаимодействующих с пользователем приложений на одном из объектно-ориентированных языков, знания математической логики и теории автоматов.
Информация о характеристиках, комплекте поставки, стране изготовления, внешнем виде и цвете товара носит справочный характер и взятая из открытых источников.
Основы тестирования и верификации программного обеспечения продается в интернет-магазине ЛитРес
Эксперт: Аркадий И., E-commerce аналитик
Дата рецензии: 20 июля 2025 года
Рекомендация к покупке нейтральная

Отзывы о товаре

Спасибо Ваш отзыв будет опубликован после проверки модераторами.
Добавить отзыв

Доставка покупки

    • В электронном виде;
    • Читать онлайн;
    • Скачать на компьютер или мобильные устройства.

Оплата заказа

    • Банковской картой;
    • электронными деньгами Яндекс-Деньги; WebMoney, Qiwi Кошелек, PayPal;
    • Наличными через терминалы;
    • Банковским переводом.
  • Наименование: ООО «ЛитРес»
  • ИНН: 7719571260

Рекомендуем аналогичные товары

Дополнительно из категории