Понедельник, 28.09.2020, 11:55 Вы вошли как Гость | Группа "Гость" | RSS
 

 
Главная | Форум | Чат | Информация для пользователей
Меню сайта

Категории раздела
Анимация [6]
Документальные [2]
Фильмы [75]
Сериалы [15]
Видеоуроки [0]
ТВ передачи [1]
Музыка [12314]
Игры [2]
Софт [220]
Книги и журналы [10329]
Клипы и концерты [1]
Для мобильного [1]
Графика [0]
Аудио книги [5]
Самоучители [0]
Portable [1]
Флеш [0]
Разное [2]

Интересное

Статистика
 
Зарег. на сайте
Всего: 22429 
Новых за месяц: 105 
Новых за неделю: 13 
Новых вчера: 2 
Новых сегодня: 0 

Из них
Администраторов: 2
Гл. Морераторов: 1
Модераторов: 2
VIP: 2
Файловиков: 3
Журналистов: 2
Релизеров: 0
Постоянных: 0
Пользователей: 14
Новичков: 21123 

Из них
Парней: 22312 
Девушек: 117

Онлайн всего: 1
Гостей: 1
Пользователей: 0



Главная » 2020 » Сентябрь » 12 » Основы тестирования и верификации программного обеспечения (2018) PDF
19:17
Основы тестирования и верификации программного обеспечения (2018) PDF

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

Цитата
Скачать: Основы тестирования и верификации программного обеспечения (2018) PDF

Скачать с turbo.to
Osnovy_testirovaniya_i_verifikacii_programmnogo_obe.rar

Скачать с katfile.com
Osnovy_testirovaniya_i_verifikacii_programmnogo_obe.rar

Скачать с file-up.org
Osnovy_testirovaniya_i_verifikacii_programmnogo_obe.rar
 

Скачать Основы тестирования и верификации программного обеспечения (2018) PDF

Уважаемый посетитель, Вы зашли на сайт как незарегистрированный пользователь. Мы рекомендуем Вам зарегистрироваться либо зайти на сайт под своим именем.


Категория: Книги и журналы | Просмотров: 9 | Добавил: Gunpowder | Теги: верификации, 2018, основы, тестирования, программного, обеспечения | Рейтинг: 0.0/0
Добавлять комментарии могут только зарегистрированные пользователи.
[ Регистрация | Вход ]
Форма входа
"Гость"
0000
0000
Гость, мы рады вас видеть. Пожалуйста зарегистрируйтесь или авторизуйтесь!
E-mail:
Пароль:

Поиск

Интересное
Samsung [CPS] IN
www.7x.net.ua © 2020 Хостинг от uCoz