Основы тестирования и верификации программного обеспечения
sku: 66005445
1,287.00 руб.
Shipping from: Russia
Description
Настоящее пособие предназначено для будущих программистов, которым необходимо знать основы тестирования программных продуктов, принципы работы в команде с тестировщиками, необходимость и основы верификации и моделирования программного обеспечения. Цель пособия – пересмотреть отношение разработчиков к качеству современного программного обеспечения. В первой части пособия рассматриваются способы тестирования, спецификации программного обеспечения, документирование, модульное тестирование в средах 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. Пособие может быть использовано на специальности «Программная инженерия» и родственных специальностях, для работы с пособием необходимы навыки разработки взаимодействующих с пользователем приложений на одном из объектно-ориентированных языков, знания математической логики и теории автоматов.
Technical Details
abonement: | false |
age: | 0 |
author: | С. М. Старолетов |
genres_list: | 5312 |
ISBN: | 978-5-8114-5239-2 |
lang: | ru |
publisher: | Издательство ЛАНЬ |
Type: | book |
Форматы: |
Price history chart & currency exchange rate
Customers also viewed
33%
~ 1,560.00 руб.
LJYZN 860-960 МГц настольный USB Rfid Uhf считыватель и записывающее устройство с бесплатным образцом тестирования программного обеспечения на англи...
aliexpress.com31%
~ 1,850.00 руб.
Зажим для тестирования на заказ, программирование отладки, зажим для скачивания, сжигание программного обеспечения, аксессуары, контактный...
aliexpress.com-3%
28%
~ 3,240.00 руб.
16AI RS485 аналоговый вход RS485 PT100 RTD датчик температуры коллектор для тестирования литиевой батареи программного обеспечения конфигурации PLC
aliexpress.com16%
~ 1,260.00 руб.
Полный чип 9 в 1, сверхмощный эмулятор повышенной эксплуатационной мощности для эмулятора 9 грузовиков, не требует программного обеспечения
aliexpress.com14%
~ 1,440.00 руб.
Технические данные ECU 2,0, Схемы печатной платы с электронными компонентами ECU и дополнительной информацией для ремонтного программного обеспечения IAW Bosch ECU
aliexpress.com-1%
12%
~ 1,470.00 руб.
Диагностический калькулятор пробега TachoSoft 23,1, диагностический инструмент для автомобиля, диагностическое оборудование для ремонта программного обеспечения tachosoft 23,1
aliexpress.com-1%
10%
~ 745.00 руб.
2023 автомобильные аксессуары инструменты DPF + EGR горячая Распродажа Lambda Remover полная версия 2017,5 программного обеспечения + Разблокировка генератора + установка видео
aliexpress.com-1%
9%
~ 930.00 руб.
Новейшее программное обеспечение для ремонта автомобиля, версия 3,45, программное обеспечение для ремонта автомобиля, данные v3.45, обновление автомобильного программного обеспечения до 2014 года, отправка компакт-диском USB, флэш-накопителем
aliexpress.com-1%
6%
~ 1,410.00 руб.
Обновление программного обеспечения MUCAR CDE900 28 функций сброса и ECM ABS SRS TCM T-CODE
aliexpress.com-1%
4%
~ 1,240.00 руб.
Полный чип 9 в 1, повышенная эксплуатация, обновленный эмулятор повышенной эксплуатационной мощности из АБС-пластика для 9 грузовиков, не требует программного обеспечения
aliexpress.com1%
~ 585.00 руб.
Автомобильные данные 3,45 диаграммы проводки данные с установкой видео Авто данные 3,45 обновление версии программного обеспечения до 2014 года инструмент для ремонта автомобиля данные
aliexpress.com-1%
1%
~ 1,420.00 руб.
Автомобильный диагностический инструмент VAG K + CAN BYOBDII диагностический сканер 1,4 версия программного обеспечения для Seat-Skoda
aliexpress.com-1%
1%
~ 1,080.00 руб.
2024, 93 ГБ, WINOLS Damos, большой архив Damos, карта для программного обеспечения Winols, большой комплект, тюнинг микросхем, карты, все карты данных, файл 93 ГБ
aliexpress.com-1%
1%
~ 1,520.00 руб.
TYPE-C LAN 10 МГц-6 ГГц, усилитель высокой плоскости, усилитель радиосигнала 30 дБ, усилитель радиосигнала для любительского программного обеспечения SDR, радио, FM-радио, простая установка
aliexpress.com-1%
1%
~ 950.00 руб.
Новый набор программного обеспечения 3 ECUSafes 2,0 + IMMO Universal 3,2 + Edc 17 IMMO, инструмент для обслуживания V1.2 ECU safe 2,0 для автомобилей, грузовиков, работающих с KESS
aliexpress.com-1%
1%
~ 2,440.00 руб.
TYPE-C LAN 10 МГц-6 ГГц, усилитель высокой плоскости, усилитель радиосигнала 30 дБ, усилитель радиосигнала для любительского программного обеспечения SDR, радио, FM-радио, простая установка
aliexpress.com1%
~ 467.00 руб.
Последняя версия диагностического программного обеспечения Diagbox V9.91 для ремонта автомобиля, многоязычное, полностью рабочий для диагностики детской версии
aliexpress.com-1%
1%
~ 1,250.00 руб.
Полный чип 9 в 1 для тяжелых условий эксплуатации Улучшенный Сверхмощный Черный ABS эмулятор для 9 грузовиков не требует программного обеспечения
aliexpress.com-1%
1%
~ 1,530.00 руб.
TYPE-C LAN 10 МГц-6 ГГц, усилитель высокой плоскости, усилитель радиосигнала 30 дБ, усилитель радиосигнала для любительского программного обеспечения SDR, радио, FM-радио, простой в использовании
aliexpress.com1%
~ 570.00 руб.
Лидер продаж 2024 года, программное обеспечение для ремонта автомобилей Autodata версии 3,45, программное обеспечение для машин V3.45, обновление программного обеспечения для автомобилей до 2014 года, отправка по электронной почте orCD
aliexpress.com1%
~ 720.00 руб.
2023 автомобильные аксессуары инструменты DPF + EGR горячая Распродажа Lambda Remover полная версия 2017,5 программного обеспечения + Разблокировка генератора + установка видео
aliexpress.com-2%
1%
~ 895.00 руб.
MAX31865 термостат высокой точности изолированный модуль термоколлектора PT100 порт вывода программного обеспечения для компьютера
aliexpress.com+1%
1%
~ 1,010.00 руб.
Полный чип 9 в 1 для тяжелых условий эксплуатации Улучшенный Сверхмощный Черный ABS эмулятор для 9 грузовиков не требует программного обеспечения
aliexpress.com1%
~ 2,080.00 руб.
Полный чип 9 в 1 для тяжелых условий эксплуатации черный эмулятор обновления для 9 грузовиков не требует программного обеспечения
aliexpress.com-1%
1%
~ 740.00 руб.
Популярный товар 2023 года! Обновление программного обеспечения для ремонта автомобиля data версии 3,45 года до 2014 года отправляется компакт-диском USB с флеш-накопителем
aliexpress.com-5%
1%
~ 1,190.00 руб.
Tactrix openport 2.0 Автомобильный сканер кодов диагностический ECUFLASH с полным набором программного обеспечения
aliexpress.com1%
~ 820.00 руб.
Горячая Распродажа 2022, диаграммы проводки AutoData 3,45, программное обеспечение autodata для установки видео, autodata, установка автомобильного программного обеспечения, сбор за установку автомобильных данных
aliexpress.com-1%
1%
~ 3,790.00 руб.
Программатор ECU для Renault, прозрачный, аварийная Подушка, устройство для изготовления ключей ECUS Easy для Renault 6,14 Dacia, редактирование программного обеспечения, очистка UCH
aliexpress.com1%
~ 1,720.00 руб.
Последняя версия диагностического программного обеспечения Diagbox V9.91 для ремонта автомобиля, многоязычное, полностью рабочий для диагностики детской версии
aliexpress.com1%
~ 930.00 руб.
Последняя версия диагностического программного обеспечения Diagbox V9.91 для ремонта автомобиля, многоязычное, полностью рабочий для диагностики детской версии
aliexpress.com1%
~ 2,540.00 руб.
mini portable pump for xiaomi mijia m356 mi scooter skateboard cycling air pump tire inflator for xiaomi ninebot tyres air pump
dhgate.com1%
~ 243.00 руб.
2020 New Brand Romirus stars design Lace-up Baby Moccasins Bebe Soft Sole Non-slip Crib Shoes PU Leather baby shoes first walker
aliexpress.com1%
1,177.45 руб.
stingy brim hats fashion european style womens wool fedora with turquoise leather band wide leopard print jazz felt hat, Blue;gray
dhgate.com