• Dominion, the January 2010 template release from RocketTheme.
  • 6 stunning preset styles, in a mix of light and dark, each with 3 visual intensity levels.
  • RTL support from module structure, to the Fusion menu to the template elements.
Главная » Статьи » Библиотека » Книги

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

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

Название: Основы тестирования и верификации программного обеспечения
Автор: Старолетов С. М.
Издательство: Лань
Год: 2018
Страниц: 344
Формат: PDF
Размер: 115,57 МБ
Качество: отличное
Язык: русский

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

Скачать с turbo.to
Скачать с katfile.com
Скачать с file-up.org



Категория: Книги | Добавил: pmojka (12.09.2020)
Просмотров: 155 | Теги: тестирования, программного, основы, верификации, 2018, обеспечения | Рейтинг: 0.0/0


Похожие новости:

Всего комментариев: 0
Добавлять комментарии могут только зарегистрированные пользователи.
[ Регистрация | Вход ]

Меню сайта

Категории раздела

Форма входа

Наш опрос

Как вы попали на сайт?

Hosting

Это интересно

Статистика


Онлайн всего: 53
Гостей: 53
Пользователей: 0

Новости

Tak.ru

LiveInternet

Яндекс.Метрика Яндекс цитирования

Рекламный блок

Рекламный блок

Рекламный блок