Тестирование софта - статьи


Процесс разработки тестового сценария - часть 4


На данный момент в инструментах UniTesK есть пять видов обходчиков:
  1. базовый обходчик;
  2. обходчик детерминированных автоматов;
  3. обходчик детерминированных автоматов с функцией сброса;
  4. обходчик автоматов, имеющих детерминированный, сильно связный покрывающий подавтомат;
  5. обходчик сильно дельта-связных автоматов.

Во всех этих обходчиках требуется, чтобы число состояний и переходов было конечно. В базовом обходчике не используется обобщенное состояние; считается, что у автомата имеется одно единственное состояние, и, таким образом, не накладываются какие-либо дополнительные ограничения. В обходчике детерминированных автоматов требуется, чтобы автомат, описываемый сценарием, был детерминированным и сильно связным. В обходчике детерминированных автоматов с функцией сброса требуется детерминированность автомата, а сильная связность обеспечивается с помощью функции сброса, задаваемой разработчиком сценария. Четвертый обходчик может работать с недетерминированными автоматами, однако в нем требуется, чтобы существовал детерминированный сильно связный подавтомат, который содержит все состояния исходного автомата. В последнем обходчике требуется, чтобы для любых двух состояний автомата существовала адаптивная тестовая последовательность, ведущая из одного состояния в другое. Заметим, что этому требованию заведомо удовлетворяют автоматы, содержащие детерминированный сильно связный покрывающий подавтомат.

Для удовлетворения требований обходчиков можно использовать следующие методы:

  1. дробление состояний;
  2. введение связующих переходов;
  3. обобщение переходов.

Метод дробления состояний описан в [] (в статье ему соответствуют алгоритмы 1 и 2 построения дельта детерминированного и вполне определенного фактор-графа). Здесь он называется методом дробления, так как его применение для заданного начального обобщения состояний и переходов приводит к разбиению состояний, принадлежащих одному обобщенному состоянию, на несколько непересекающихся групп, которые образуют новые обобщенные состояния ().


Начало  Назад  Вперед



Книжный магазин