8 (905) 200-03-37 Владивосток
с 09:00 до 19:00
CHN - 1.14 руб. Сайт - 21.13 руб.

Модельный метод тестирования программного ремесленника Paul & Middot; C. Josensen Computer Science Book на основе теории моделей тестирования и практического понимания процесса моделирования и книг приложений для инструментов

Цена: 1 251руб.    (¥59.2)
Артикул: 598913630716

Вес товара: ~0.7 кг. Указан усредненный вес, который может отличаться от фактического. Не включен в цену, оплачивается при получении.

Этот товар на Таобао Описание товара
Продавец:品悦轩图书专营店
Адрес:Пекин
Рейтинг:
Всего отзывов:0
Положительных:0
Добавить в корзину
Другие товары этого продавца
¥ 290 229.14 841руб.
¥ 99 64.31 359руб.
¥581 226руб.
¥ 69 51.71 093руб.
  • Информация о товаре
  • Фотографии

Основная информация.jpg

Название продукта: Тест на основе модели: метод программного ремесленника

Автор: [Красота] Пол·К. Пол С. Джоргенсен

Рыночная цена:  79.00

Номер ISBN:  9787111628989

Издание:  1-1

Дата публикации:  1900-01

Количество страниц:  268

Количество слов:  170

Издательство: Машиностроительная промышленность Пресса

 


Введение. JPG

Эта книга хорошо известна“Craftsman”Новая работа в серии программных тестовых книг в основном обсуждает технологию тестирования на основе моделей (MBT).Одна часть объяснения теоретических знаний и введена 9 различных тестовых моделей.Две части сосредоточены на практических методах, охватывающих 6 коммерческих продуктов MBT и 6 инструментов с открытым исходным кодом.Книга разработала два примера, которые проникают в каждую главу, простую систему вычислительной системы премиум -класса и систему управления гаражными дверями, основанная на событиях, чтобы помочь читателям понять навыки применения процессов моделирования и инструментов.


Каталог.jpg

The Craft of Model-Based Testing

Издатель

Переводчик

Предисловие

Благодарности

Об авторе

Некоторая теория модели на основе модели на основе тестирования модели

Глава 1 Обзор теста на основе модели 2

1.1 Основные термины 2

1.2 Событие 3

1.3 Тестовые случаи 4

1.4 Тестовые случаи Структура выполнения 4

1,5 модели в MBT 4

1,6 Расширение МБТ в ISTQB 5

1,7 Форма МБТ 5

1.8 Набор корпусов 5

1.8.1 Проблема на уровне единицы: Премиум расчет 5

1.8.2 Проблема системы на уровне системы: Система управления дверями гаража 6

1.8.3 Другие случаи 7

1,9 текущий технический статус MBT 8

Ссылка 9

Глава 2 Блок -схема 10

2.1 Определение и обозначения 10

2.2 Технические детали 10

2.3 Анализ.

2.3.1 Функция расчета даты 12

2.3.2 Индекс ветра и холода Таблица 12

2.3.3.

2.3.4 Система управления гаражными затворами 13.

2.4 Тестовые случаи, полученные на основе блок -схемы 15

2.4.1 Тестовые случаи для проблем с расчета премий 15 15

2.4.2 Тестовые случаи системы управления дверью гараж 17 17

2.5 Преимущества и ограничения 18

2.6 Извлеченные уроки 20

Ссылки 20

ГЛАВА 3 РЕШЕНИЕ ТАБЛИЦА 21

3.1 Определение и обозначение 21

3.2 Технические детали 22

3.2.1 Упрощение таблиц решений 22

3.2.2 Таблица решений с взаимоисключающими условиями 22

3.2.3 Избыточное и непоследовательное решение Таблица 24

3.2.4 ТАБЛИЦА ДВИГАТЕЛЯ 24

3.3 Анализ случая 25

3.3.1 Функция расчета даты 25

3.3.2 Контроллер автомобильного стеклоочистителя 26

3.3.3.

3.4 Тестовые случаи, полученные на основе таблиц принятия решений 28

3.4.1 Таблица решений по вопросам расчета премиум -класса 28

3.4.2 Стол принятия решений для системы управления дверями гаража 30

3.4.3 Тестовые примеры для системы управления дверями гаража 31

3.5 Преимущества и ограничения 32

3.6 Извлеченные уроки 32

Ссылки 33

Глава 4 конечно -государственная машина 34

4.1 Определение и обозначения 34

4.1.1 Матричная экспрессия конечных состояний машин 35

4.1.2 Текстовое выражение машины конечного состояния 36

4.1.3 Конвенции и ограничения конечных государственных машин 36

4.2 Технические детали 38

4.2.1 Объяснение конечных государственных машин 38

4.2.2 Практика конечных государственных машин 40

4.2.3.

4.3 Анализ случая 41

4.3.1 Автомобильный контроллер стеклоочистителя 41

4.3.2 Контроллер дверей железной дороги 43

4.4 Тестовые примеры на основе машины конечного состояния 44

4.4.1 Премиальный расчет Вопрос 45

4.4.2 Система управления гаражными затворами 46

4.5 Извлеченные уроки 47

4.6 Преимущества и ограничения 48

Ссылки 49

Глава 5 Petri Net 50

5.1 Определение и обозначения 50

5.1.1 Ограничиваемое и воспламеняемое 51

5.1.2 Практика 51

5.1.3 Нерафическое выражение 52

5.2 Технические детали 53

5.2.1 Последовательность, выбор и петля 54

5.2.2 Доступно, недоступно и активирован 55

5.2.3 Триггер 55

5.2.4 В ожидании, возобновления и приостановки 55

5.2.5 Конфликт и приоритет 56

5.2.6 взаимное исключение 56

5.2.7 Синхронизация 56

5.2.8 Теги и доступные последовательности 57

5.2.9 Петри сети и конечные государственные машины 58

5.2.10 Petri Network Engine 58

5.3 Анализ случаев 59

5.3.1 Производитель-потребитель Вопрос 59

5.3.2 Автомобильный контроллер стеклоочистителя 61

5.4 Тестовые примеры на основе Petri Net 62

5.4.1 Вопросы на расчет премиум -класса 63

5.4.2 Система управления гаражными затворами 65

5.5 Извлеченные уроки 69

5.6 Преимущества и ограничения 70

Ссылки 71

Глава 6 Петри, управляемая Петри, 72

6.1 Определение и обозначения 73

6.1.1 Ограничиваемое и воспламеняемое 74

6.1.2 Практика 76

6.1.3 Нерафическое выражение 76

6.2 Технические детали 77

6.2.1 Контекстно-чувствительные события ввода 78

6.2.2 Multi Cause Output Event 78

6.2.3 Silence 78

6.2.4 Петри-сетевой двигатель 78, управляемый событиями 78

6.2.5 Преимущества и ограничения управляемой событиями Network 79

6.3 Анализ случая 79

6.3.1 Контроллер дверей железной дороги 79

6.3.2 Автомобильный контроллер стеклоочистителя 80

6.4 Тестовые примеры, полученные из сети Петри, управляемой событиями 82

6.4.1 Премиальный расчет Вопрос 83

6.4.2 Система управления гаражными затворами 83

6.5 Извлеченные уроки 89

6.6 Преимущества и ограничения 91

Ссылка 92

Глава 7 Статусная диаграмма 93

7.1 Определение и обозначения 93

7.2 Технические детали 95

7.2.1 Взаимодействие на основе механизма вещания 96

7.2.2 Двигатель диаграммы состояния 96

7.2.3 Тестовые случаи, полученные на основе графиков состояния 97

7.3 Анализ случая 98

7.3.1.

7.3.2. Контроллер автомобильного стеклоочистителя 98

7.4 последующие вопросы 99

7.4.1 Премиальный расчет Вопрос 99

7.4.2 Система управления гаражными затворами 99

7.5 Извлеченные уроки 104

7.6 Преимущества и ограничения 105

Ссылки 105

Глава 8: Петри.

8.1 Определение и обозначения 106

8.1.1 Ограничиваемое и воспламеняемое 106

8.1.2 События в Petri Net, управляемое событием 107 Type Type Type.

8.2 Технические детали 107

8.2.1 Использование модели 107 плавания 107

8.2.2“Модельный тест” 109

8.2.3 Тестовые примеры, полученные из NET Petri Net, на основе управляемого события типа полосы 110

8.3 Последующие вопросы 112

8.3.1 Вопросы на расчет премиум -класса 112

8.3.2 Система управления гаражом 112

8.4 Тестовые примеры Petri-полученные из типа полосы движения Петри.

8.5 Извлеченные уроки 120

Ссылки 121

Глава 9, ориентированная на объект модель 122

9.1 Определение и обозначения 123

9.1.1. Краткий вариант использования Рисунок 124

9.1.2 Диаграмма активности 125

9.1.3 Диаграмма статуса 126

9.1.4 Диаграмма последовательности 126

9.2 Анализ случая 127

9.3 Последующие вопросы 127

9.3.1. Вопросы на расчет премиум -класса 127

9.3.2 Система управления гаражными затворами 128

9.4 Тестовые случаи, полученные из модели UML 138

9.4.1 Тестовые случаи на основе графиков активности 138

9.4.2 ИСПОЛЬЗОВАНИЕ ИСПОЛЬЗОВАНИЯ Тестовые случаи 138

9.4.3 Тестовые случаи на основе диаграммы вариантов использования 139

9.4.4 Тестовые случаи на основе диаграммы последовательности 139

9.4.5 Тестовые случаи на основе графика состояния 139

9.5 Преимущества и ограничения 139

Ссылки 141

Глава 10 Моделирование и идентификация бизнес -процессов 142

10.1 Определение и обозначения 142

10.2 Технические детали 143

10.3 Анализ случая 143

10.4 Определение производных тестовых случаев на основе моделирования и идентификации бизнес -процессов 143

10.4.1 Вопросы по расчетам премиум -класса 143

10.4.2 Система управления гаражными затворами 144

10.5 Преимущества и ограничения 144

Часть 2: практика на основе тестирования моделей

Глава 11 Международного комитета по оценке тестирования программного обеспечения 148

11.1 Организация ISTQB 148

11.2 Уровень сертификации 148

11.3 ISTQB MBT Hupline 149

11.3.1 Введение в тестирование на основе моделей 149

11.3.2 Моделирование на основе тестирования модели 149

11.3.3 Критерии отбора для тестового дизайна примера 150

11.3.4 Реализация и реализация тестов MBT 150

11.3.5 Методы оценки и развертывания MBT 151

Ссылка 152

Глава 12 Реализация MBT в рамках организации 153

12.1 Начало 154

12.1.1 Определите необходимость изменения 154

12.1.2 Технологический защитник 155

12.2 Начало 155

12.2.1 Кандидат MBT Products 155

12.2.2 Критерии успеха 156

12.2.3 Пилотный проект 156

12.3 Обучение и образование 156

12.4 Извлеченные уроки 157

12.4.1 Материал 157

12.4.2 Инструменты 159

12.4.3 Возможность использовать инструменты 159

Ссылки 159

Глава 13 Информация о поставщике тестовых инструментов MBT 160

13.1 Шаблон 160

13.2 Проблемы на уровне единицы