- Руководства по пользованию программами
- Операционные системы и утилиты для ПК
- Интернет
- Графика. Дизайн. Проектирование
- Программы и утилиты для цифровых устройств
- Железо ПК
- Информатика
- Сети и коммуникации
- Бухгалтерия
- Базы данных
- Анализ данных
- Электронная бухгалтерия
- Машинное обучение. Анализ данных
- Менеджмент в IT
Основы тестирования и верификации программного обеспечения. Уч.ебное пособие (Старолетов Сергей Михайлович); Лань, 2023
Издатель: Лань
ISBN: 9785811430413
EAN: 9785811430413
Книги: Программирование
ID: 2686049
Добавлено: 11.11.2018
Описание
Настоящее пособие предназначено для будущих программистов, которым необходимо знать основы тестирования программных продуктов, принципы работы в команде с тестировщиками, необходимость и основы верификации и моделирования программного обеспечения. Цель пособия – пересмотреть отношение разработчиков к качеству современного программного обеспечения. В первой части пособия рассматриваются способы тестирования, спецификации программного обеспечения, документирование, модульное тестирование в средах 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.
.Пособие может быть использовано на специальности «Программная инженерия» и родственных специальностях, для работы с пособием необходимы навыки разработки взаимодействующих с пользователем приложений на одном из объектно-ориентированных языков, знания математической логики и теории автоматов.
Смотри также о книге.
СкидкаГИД инфо +
Сервис сравнения цен СкидкаГИД предлагает сравнить цены на товар «Книга: Основы тестирования и верификации программного обеспечения. Уч.ебное пособие (Старолетов Сергей Михайлович); Лань, 2023»
По данным нашего сервиса товар предлагался к продаже в 3 магазинах. В данный момент у нас нет информации о наличии данного товара в магазинах. Цена на данный товар варьировалась от 2886 р. до 14424 р. Вы можете поискать его на других площадках ниже, а также ознакомиться с ценами на Яндекс.Маркет. Также вы можете подписаться на сообщение о наличии товара используя сервис «Сообщить о поступлении» - мы оповестим вас как только товар появится в продаже. Если товар снят с производства, сервис «История цены» поможет соориентироваться на вторичном рынке.
Кроме сервиса сравнеция цен, наш сайт также позволяет экономить еще двумя способами: промокодный сервис (информация о промокодах, а также скидки и акции на товары), а также собственный кэшбэк сервис.
О книге
Параметр | Значение |
---|---|
ISBN | 978-5-507-46773-0,978-5-8114-3041-3,978-5-8114-5239-2 |
Автор(ы) | Старолетов Сергей Михайлович |
Вес | 0.58кг |
Возрастные ограничения | 12 |
Год издания | 2023 |
Издатель | Лань |
Кол-во страниц | 344 |
Количество страниц | 344 |
Переплет | Твердая глянцевая |
Раздел | Пользование программами |
Размеры | 17,00 см × 24,10 см × 1,90 см |
Серия | Учебники для вузов. Специальная литература |
Тематика | Текстовые редакторы |
Формат | 170x241мм |
Где купить
Последняя известная цена от 2886 руб до 14424 руб в 5 магазинах
В данный момент у нас нет информации о наличии данного товара в магазинах. Вы можете поискать его на других площадках ниже, а также ознакомиться с ценами на Яндекс.Маркет.
Также вы можете ознакомиться с нашей подборкой:
Книги: Информационные технологии, Программирование - издательство "Лань"
Книги: Информационные технологии, Программирование с ценой 2308 р. - 3463 р.
сообщить о поступлении
Магазин | Цена | Наличие |
---|---|---|
Нет предложений на товар. |
Магазин | Последняя известная цена | Обновлено |
---|---|---|
Лабиринт | 4533 | 21.11.2024 |
book24 | 2886 | 01.10.2023 |
Яндекс.Маркет | 14424 | 17.06.2024 |
Кэшбэк сервис СкидкаГИД
Кэшбэк – это возврат части денег, потраченных Вами в интернет-магазинах. Всего на нашем сайте более 500 магазинов, с многими из которых Вы наверняка уже знакомы. У каждого магазина свои условия. Кто-то возвращает процент от покупки, а кто-то фиксированную сумму.
Заказывайте он-лайн и получайте часть денег обратно, подробнее..
Нет предложений на товар.
Книги: Информационные технологии, Программирование - издательство "Лань"
Категория 2308 р. - 3463 р.
Программирование - издательство "Лань" »
Книги: Информационные технологии, Программирование
Категория 2308 р. - 3463 р.