Пусто
05.12.2009
 
| Главная | Информация о сайте | Гостевая книга | Правила сайта | Правила добавления |
Нажми!!!
Реклама
Главная » Файлы » Картинки/Иконки/разное

  Основы тестирования и верификации программного обеспечения
  Категория: Картинки/Иконки/разное   |  Добавил: Гость  
  [ ]

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









 
 
Просмотров: 84
  |  12.12.2024 | Рейтинг: 0.0/0 | | Теги: тестирования, основы, 2018, обеспечения, программного, верификации
 
Всего комментариев: 0

Комментарии

Добавлять комментарии могут только зарегистрированные пользователи.
[ Регистрация | Вход ]
DarkOrbit US
Что ищем?
Профиль
Четверг
12.12.2024
21:25

[ Управление профилем ]
Наш опрос
Каков Ваш возраст?
javascript:; javascript:;
Всего ответов: 16
Кнопка сайта
Скачать софт бесплатно | Скачать новый софт | Варезный софт | Варез портал GIGABYT

Статистика
Graffiti Decorations(R) Studio (TM) Site Promoter


TAK.RU
Все материалы размещенные на сайте //gigabyt.at.ua/ пренадлежат их владельцам и предоставляются исключительно в ознакомительных целях.
Администрация ответственности за содержание материала не несет и убытки не возмещает.
По истечении 24 часов материал должен быть удален с вашего компьютера.
Незаконная реализация карается законами РФ и Украины: "Об авторском и смежном праве".
При копировании материала, ссылка на сайт обязательна!