Ўзбекистон республикаси ахборот технологиялари ва коммуникацияларини ривожлантириш вазирлиги муҳаммад ал-хоразмий номидаги

1.1.5. Конечные автоматы 
Форма подготововки тест-планов в виде описания конечных автоматов удобна при 
тестировании программных модулей или систем, поведение которых также может быть 
описано в виде конечного автомата. В этом случае процесс тестирования представляет собой 
обмен сообщениями между двумя конечными автоматами, изменяющими свое состояние в 
процессе обмена. Критерием полноты такого тестирования будет достижимость всех 
состояний тестируемой системы всеми возможными способами. 
Описание тест-планов в виде конечного автомата обычно состоит из двух частей – 
определения самого тестирующего конечного автомата и определения сценариев перехода 
между состояниями – тестовых примеров. 
Рассмотрим такой тест-план на следующем примере. Пусть тестируемый модуль 
представляет собой простой конечный автомат с тремя состояниями - «Начальное», «Прием 
данных» и «Ошибка». Автомат начинает свою работу в начальном состоянии, из которого 
может быть переведен в состояние «Прием данных» по получению сообщения «Начало 
данных». Он может переходить из этого состояния в него же по получению каждого 
следующего правильного блока данных, в состояние «Ошибка» по получению неверного 
блока данных или в начальное состояние по получению сообщения «Конец данных». При 
переходе в состояние «Ошибка» он передает сообщение «Возникла ошибка». Из состояния 
«Ошибка» он может переходить в начальное состояние по получению сообщения «Ошибка 
обработана». Структурная схема такого автомата показана на Рис. 13. 
Начальное
Прием данных
Ошибка
Начало данных
Неверные данные
Блок данных
Конец данных
Ошибка обработана
Возникла ошибка
Рис. 13 Структурная схема тестируемого конечного автомата 
Тестирующий конечный автомат должен уметь посылать все воспринимаемые 
тестируемым автоматом сообщения и воспринимать все посылаемые им сообщения. При 
этом целью тестирования будет проведение тестируемого автомата по всем состояниям 
всеми возможными способами. Один из возможных вариантов построения тестирующего 
автомата заключается в построении автомата с эквивалентными состояниями. Управление 
таким автоматом в-основном будет проводиться при помощи описаний тестовых примеров, а 
не при помощи сообщений извне. 

---

121 
Так, такой тестирующий автомат будет иметь три состояния – «Начальное», «Передача 
данных» и «Обработка ошибки». При переходе из начального состояния в состояние 
«Передача данных» он передает сообщение «Начало данных», в состоянии «Передача 
данных» он будет передавать блоки данных, описанные в тестовом примере, в т.ч. возможно, 
ошибочные. При получении сообщения «Возникла ошибка» автомат перейдет в состояние 
«Обработка ошибки» из которого перейдет в начальное состояние передав сообщение 
«Ошибка обработана». В начальное состояние тестирующий автомат может перейти и в 
случае завершения последовательности блоков данных, описанных в тестовом примере, в 
этом случае при переходе он пошлет сообщение «Конец данных». Структурная схема такого 
автомата показана на Рис. 14. 
Начальное
Передача 
данных
Обработка 
ошибки
Возникла ошибка
Ошибка обработана
Начало данных
Блок данных
Неверный блок
Конец данных