Вторник, 29.09.2020, 15:49
Приветствую Вас Гость | RSS

Радио сайт

Меню сайта
Форма входа
Статистика

Онлайн всего: 1
Гостей: 1
Пользователей: 0
Ввод/Вывод WM
Обменный пункт
Главная » 2020 » Сентябрь » 12 » Основы тестирования и верификации программного обеспечения
19:16
Основы тестирования и верификации программного обеспечения

Основы тестирования и верификации программного обеспечения — Настоящее пособие предназначено для будущих программистов, которым необходимо знать основы тестирования программных продуктов, принципы работы в команде с тестировщиками, необходимость и основы верификации и моделирования программного обеспечения. Цель пособия – пересмотреть отношение разработчиков к качеству современного программного обеспечения. В первой части пособия рассматриваются способы тестирования, спецификации программного обеспечения, документирование, модульное тестирование в средах 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
Категория: Компьютер | Просмотров: 25 | Добавил: Admin | Теги: верификации, программного, основы, обеспечения, 2018, тестирования | Рейтинг: 0.0/0
Всего комментариев: 0
Добавлять комментарии могут только зарегистрированные пользователи.
[ Регистрация | Вход ]
Поиск
Календарь
«  Сентябрь 2020  »
ПнВтСрЧтПтСбВс
 123456
78910111213
14151617181920
21222324252627
282930
Красото, здоровье
Архив записей
Реклама на сайте