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

Категория: Программирование, Учебные пособия | автор: Gunpowder | Просмотров: +317
Основы тестирования и верификации программного обеспечения

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




Добавление комментария


Имя:*
Текст комментария:
Введите два слова, показанных на изображении: *



Меню сайта:
Книги
Остросюжетные
Фантастика,Фентази
Любовный роман
Исусство и культура
Гуманитарные науки
Здоровье, спорт
Детские книги
Поэзия, стихи
Естественные науки
Кулинария
Компьютерная лит-ра
Программирование
Web-мастеру
Фотография и видео
Дизайн и графика
Живопись и рисование
Профессии
Бизнес
Научно-популярные
Техника
Аппаратура
Транспорт
История
Военная тематика
Психология
Строительство, ремонт
Дом и семья
Умелые руки
Шитьё и вязание
Сад ,огород ,хозяйство
Животные
Охота и рыбалка
Хобби и развлечения
Учебные пособия
Эзотерика
Разное

Журналы
Кулинарные
Детям и родителям
Развлекательные
Женские журналы
Мужские журналы
Автомобили
Охота и рыбалка
Спортивные
О здоровье
Фотография
Компьютеры
Технические
Научно-популярные
Строительство, дизайн
Рукоделие, сделай сам
Сад и дом
Военные
Бизнес
Гуманитарные
Животные
Разные

Аудиокниги
Развлечение и юмор
Детские аудиокниги
Художественные
Психология, люди
Изучение языков
Обучающие аудиокниги
Разное

Топ 10
Статистика

Copyright ©2009 All Rights Reserved
Перепечатка разрешена только при активной гиперссылке на weekbook.ru. Файлов для скачивания на сайте нет, здесь можно только купить литературу через партнёрские интернет-магазины. Мы не храним на сервере никаких нелегальных и охраняемых авторским правом материалов.
Все издания для скачивания предоставлены официальными партнёрами и администрация сайта не несет ответственность за их использование! Вы можете скачать, если такое предусмотренно, или купить книги у них.