Среда, 09.07.2025, 10:51
Среда, 09.07.2025, 10:51
Главная
Регистрация
Вход
SKIFUS
Приветствую Вас Гость | RSS
Меню сайта
Календарь
«  Сентябрь 2020  »
Пн Вт Ср Чт Пт Сб Вс
 123456
78910111213
14151617181920
21222324252627
282930
Катологи сайтов
регистрация сайта в каталогах ремонт квартиры своими руками
Главная » 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
Категория: Книги | Просмотров: 102 | Добавил: pmojka | Теги: обеспечения, тестирования, программного, основы, 2018, верификации | Рейтинг: 0.0/0
Всего комментариев: 0
Добавлять комментарии могут только зарегистрированные пользователи.
[ Регистрация | Вход ]
ПОИСК
Статистика

Онлайн всего: 1
Гостей: 1
Пользователей: 0
 
Уважаемый пользователь, все файлы на этом сайте предоставлены исключительно для ознакомления, после просмотра файла Вы обязуетесь удалить его со своего компьютера и приобрести лицензионную версию. Владельцы и создатели данного сайта не претендуют на авторские права того или иного файла, и по требованию автора, файл может быть удален с сайта.
| Copyright MyCorp © 2025 | Сайт создан в системе uCoz |