Разное




РазДЕЛЫ САЙТА

Боевики, детективы
Документалка
Драмы, триллеры
Исторические
Классическая эротика
Комедии
Мелодрамы
Мультяшки
Обучающее, познание
Приключения
Сказки, фэнтези
Старое, доброе
Ужасы
Фантастика
х х х х х х х х х
Блюз, джаз, соул
Инструментальная
Классическая
Клипы
Минусовки
Музыка игр и кино
Поп
Разная
Ретро
Рок, метал
Рэп, хип-хоп
Шансон
х х х х х х х х х
Автософт и навигация
Аудиокниги
Книги и журналы
Фото и видео, приколы



СЛучайные материалы

Раймонд Тафрейт - Управление гневом. Как не выходить из себя, спокойно реагировать на все
Раймонд Тафрейт - Управление гневом. Как не выходить из себя, спокойно реагировать на все

Конструируем роботов на Lego Mindstorms Education EV3. Крутое пике
Конструируем роботов на Lego Mindstorms Education EV3. Крутое пике

Музыка из сериала Страна Лавкрафта / OST Lovecraft Country
Музыка из сериала Страна Лавкрафта / OST Lovecraft Country

В.Ф. Корсун и др. - Фитотерапия при заболеваниях сердца. Травы жизни (2020)
В.Ф. Корсун и др. - Фитотерапия при заболеваниях сердца. Травы жизни (2020)

Swedish Erotica  - Roll Away The Stone (Compilation) (2020)
Swedish Erotica - Roll Away The Stone (Compilation) (2020)


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

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

19:08

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

Скачать: Книги и журналы | Теги: Основы, 2018, верификации, тестирования, программного, ОБЕСПЕЧЕНИЯ

Похожие материалы скачать бесплатно и без регистрации


К "Основы тестирования и верификации программного обеспечения" пока нет комментариев, но Вы можете стать первым, кто его оставит!

Всего мнений: 0
Ищу на сайте

Случайный анекдот
- Доктор, спасибо, боль в спине прошла. Что это было - радикулит?
- Нет, просто подтяжки были перекручены!

Новое на сайте
Пока, к сожалению, ничего нет

Наша статистика

Присутствуют: 3
Неизвестных: 3
Знакомых: 0
Copyright by Anonimus © 2021