Модельный метод тестирования технологии технологии программного обеспечения программного обеспечения для тестирования программного обеспечения Craftsman.
Вес товара: ~0.7 кг. Указан усредненный вес, который может отличаться от фактического. Не включен в цену, оплачивается при получении.
Описание товара
Название продукта:  Тестирование на основе моделей: подход техника по программному обеспечению
Автор:  [США] Пол&Middot; C. Jorgensen
Рыночная цена: 79.00
Номер ISBN: 9787111628989
Издание: 1-1
Дата публикации: 1900-01
Количество страниц: 268
Количество слов: 170
Издательство:  Machinery Industry Press
Эта книга хорошо известна“Craftsman&Rdquo; новые работы в серии программных тестовых книг в основном обсуждают технологию тестирования на основе модели (MBT).Одна часть объяснения теоретических знаний и введена 9 различных тестовых моделей.Две части сосредоточены на практических методах, охватывающих 6 коммерческих продуктов MBT и 6 инструментов с открытым исходным кодом.Книга разработала два примера, которые проникают в каждую главу, простую систему вычислительной системы премиум -класса и систему управления гаражными дверями, основанная на событиях, чтобы помочь читателям понять навыки применения процессов моделирования и инструментов.
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 Петри-двигатель Petri Network 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&Ldquo; модельный тест” 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 Проблемы на уровне единицы