Введение
1. Основные понятия и краткий обзор литературы
1.1. Конечные автоматы
1.2. Конечные автоматы с временными задержками
1.3. Отношения между временными автоматами
1.4. Модели неисправности и проверяющие тесты с гарантированной полнотой
1.4.1. Полные проверяющие тесты
1.4.2. Построение теста перечислением неисправностей
1.4.3. Модель черного ящика для классических конечных автоматов
1.4.4. Синтез проверяющего теста для конечного автомата на основе обхода графа переходов
1.4.5. Модель серого ящика мутационный автомат для классических конечных автоматов
1.5. Синтез полных проверяющих тестов для временных автоматов
1.5.1. Автоматная модель Алюра и Дилла
1.5.2. Автоматная модель с задержками на переходах и выходах
1.6. Выводы по главе 1
2. Построение проверяющих тестов для временных автоматов на основе классического конечного автомата
2.1. Построение соответствующего конечного автомата
2.1.1. Метод построения конечного автомата для удаления переходов по задержке
2.1.2. Соответствие между временным автоматом и построенным конечным автоматом
2.2. Построение проверяющих тестов для временного автомата на основе соответствующего конечного автомата
2.2.1. Алгоритм построения проверяющего теста на основе соответствующего конечного автомата
2.2.2. Построение проверяющих тестов на основе явного перечисления неисправностей
2.2.3. Построение полных проверяющих тестов относительно выходных неисправностей
2.2.4. Построение проверяющих тестов для проверки переходов
временного автомата
2.3. Пример проверки доступных реализаций телекоммуникационного протокола ТТТР проверяющим тестом, построенным на основе обхода графа переходов временного автомата
2.3.1. Временной автомат, описывающий поведение протокола ТРТР, и построение проверяющего теста по временному автомату
2.3.2. Экспериментальные результаты
2.4. Экспериментальные результаты по построению полных проверяющих тестов для случайно сгенерированных автоматов
2.5. Результаты главы 2
3. Метод синтеза проверяющих тестов для временных автоматов относительно модели черного ящика
3.1. Модель черного ящика для временных автоматов
3.2. Необходимые и достаточные условия эквивалентности временных автоматов
3.3. Синтез полного проверяющего теста для временных автоматов относительно модели черного ящика
3.3.1. Множества различимости и достижимости для временного автомата
3.3.2. Построение проверяющего теста при тп
3.3.3. Построение полного проверяющего теста при т п
3.4. Оценка сложности проверяющих тестов относительно модели черного ящика
3.5. Экспериментальные результаты построения полных проверяющих тестов относительно модели черного ящика
3.6. Результаты главы 3
4. Адаптация метода синтеза тестов для различных моделей неисправности
4.1. Построение проверяющего теста для временных автоматов с фиксированным набором задержек
4.2. Построение проверяющего теста для временных автоматов в случае, когда неисправность может только увеличить длину задержки
4.3. Отношения между временными автоматами в зависимости от времени обработки входных воздействий
4.4. Синтез тестов для проверки времени обработки входных воздействий
4.5. Результаты главы 4
Заключение
Литература
- Київ+380960830922