Оглавление
Введение
1. Основные определения
1.1. Конечные автоматы.
1.2. Расширенные автоматы
1.3. Построение эквивалентного конечного автомата
1.4. Модели неисправности и тесты
1.4.1 Модели неисправности и тесты для конечных автоматов
1.4.2. Проверяющие тесты.
1.5. Обзор методов по синтезу тестов для расширенных автоматов.
1.6. Выводы по главе 1.
2. Модели неисправности на основе мутационного расширенного автомата
2.1. Модель неисправности на основе мутационного расширенного автомата
2.2. Ошибки в расширенном автомате.
2.2.1 Выходные неисправности.
2.2.2. Ошибки переходов
2.2.3. Предикатные ошибки
2.2.4. Ошибки присвоения.
2.3. Тестирование на основе мутационного автомата
2.4. Основные результата главы 2.
3. Синтез тестов для расширенного автомата на основе срезов
3.1. Построение среза расширенного автомата с сохранением достижимости состояний.
3.2. Построение РБМсреза расширенного автомата
3.3. Построение различающего автомата для двух контекстносвободных расширенных автоматов.
3.4. Алгори тм построения проверяющего теста для проверки ошибок переходоввыходов на выделенных переходах расширенного автомата
3.5. Экспериментальные результаты.
3.6. Построение проверяющего теста на основе эквивалентного конечного автомата с ограничением на число состояний
3.7. Основные результаты главы 3
4. Соответствие между ошибками в программных реализациях и ошибками в расширенных автоматах.
4.1. Соответствие между программными ошибками и ошибками в расширенном автомате
4.1.1. Тесты, построенные по расширенному автома ту для проверки ошибок переходов
4.1.2. Тесты, построенные но расширенному автомагу для проверки ошибок выходов
4.1.3. Тесты, построенные по расширенному автомату для проверки предикатных ошибок
4.1.4. Тесты, построенные по расширенному автомату для проверки ошибок присвоения.
4.1.5. Более сложные ошибки
4.2. Генерация программных реализаций на основе модели расширенного автомата...
4.3. Экспериментальные результаты.
4.4. Основные результаты главы 4
Заключение
Литература
- Київ+380960830922