Разное




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

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



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

Черникова Любовь - Клятва дракона, или Непокорная невеста (Аудиокнига)
Черникова Любовь - Клятва дракона, или Непокорная невеста (Аудиокнига)

Николаев Михаил - Чуйка (Аудиокнига)
Николаев Михаил - Чуйка (Аудиокнига)

Westside Story (2024)
Westside Story (2024)

Оздоровительное очищение (Данила Сусак) (2023) CAMRip
Оздоровительное очищение (Данила Сусак) (2023) CAMRip

Caso do Acaso (2024)
Caso do Acaso (2024)


Главная » 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
Ищу на сайте

Случайный анекдот
- Девушка, вы сейчас сходите?
- Сходят только с ума.
- Ну тогда вы выходите?
- Выходят только замуж.
- Ну что же вы тогда делаете?
- Вылазию!
- О, извините, я не знал, что у вас сегодня день рождения!

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

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

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