World Of Life Х
Приветствую Вас Гость | RSS

Форма входа
Логин:
Пароль:
МЕНЮ САЙТА
Поиск
Зарабатывай на AliExpress
e-Commerce Partners Network
Интересное в Inete
TOP Журналистов
Gunpowder

Публикаций:
29294
didl3

Публикаций:
12507
zyzy

Публикаций:
11008
zenj68

Публикаций:
4566
MuzonVam

Публикаций:
4431
trigall

Публикаций:
3276
igoro

Публикаций:
3034
19Anton98

Публикаций:
2363
fiace

Публикаций:
2321
Alexey84

Публикаций:
1634
Главная » 2020 » Сентябрь » 12 » Основы тестирования и верификации программного обеспечения
19:14
Основы тестирования и верификации программного обеспечения

Основы тестирования и верификации программного обеспечения — Настоящее пособие предназначено для будущих программистов, которым необходимо знать основы тестирования программных продуктов, принципы работы в команде с тестировщиками, необходимость и основы верификации и моделирования программного обеспечения. Цель пособия – пересмотреть отношение разработчиков к качеству современного программного обеспечения. В первой части пособия рассматриваются способы тестирования, спецификации программного обеспечения, документирование, модульное тестирование в средах 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
Категория: ЛИТЕРАТУРА | Просмотров: 10 | Добавил: Gunpowder | Теги: обеспечения, основы, программного, верификации, 2018, тестирования | Рейтинг: 0.0/0
Всего комментариев: 0
Добавлять комментарии могут только зарегистрированные пользователи.
[ Регистрация | Вход ]

Профиль
Гость

Гость, мы рады вас видеть. Пожалуйста зарегистрируйтесь или авторизуйтесь!
Календарь
Кто с нами
Онлайн всего: 1
Гостей: 1
Пользователей: 0


Locations of visitors to this page
Наш опрос
Сколько вам лет?
Всего ответов: 116
ТЕГИ
Интересное в Inete
Зарабатываем Вместе
WMmail.ru - сервис почтовых рассылок
the Faus © 01.10.2009
Все материалы размещенные на сайте пренадлежат их владельцам и предоставляются исключительно в ознакомительных целях. Администрация ответственности за содержание материала не несет.