+38 044 223 9060, 095 820 7848, 098 702 5697, order@bookshop.ua Пн-Пт: 10-18.

Доставка:
по Киеву и Украине от 35 грн
подробнее

Скидки:
до 15% на товар и до 50% на доставку
подробнее

Оплата:
при получении или предоплата
подробнее

Книжный калейдоскоп 2 / Образование, учебная литература) / ВУЗовская литература) / Информатика. Электроника. Связь)

Учебники: доп. пособия)

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

ID: 15201085

Старолетов С.М.

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

  2088.00 грн. -15%

1774.80 грн.
59.16 USD

Купить

Срок формирования заказа: 11-15 дней 
+ время доставки

Издательство: Лань
c. 344
2018 г.
ISBN: 978-5-8114-3041-3



Все издания этой книги
 

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

Вы посмотрели следующие позиции: 
Время генерации страницы : 0