Deriving complete finite tests based on state machines.


Deriving complete finite tests based on state machines.

Авторы

I.Burdonov, A. Kossachev, N. Yevtushenko.

Аннотация

Many state machine based strategies return complete but infinite test suites. One solution for getting complete finite tests is to limit the number of faults, i.e., to consider a finite fault domain. In this paper, we summarize some results on deriving complete test suites w.r.t. infinite fault domains against proper types of the specification machines.

Полный текст статьи в формате pdf (на английском)

Ключевые слова

input/output automata, Finite State Machine, fault model, complete test suite.

Издание

Proceedings of 12-th IEEE East-West Design& Tests Symposium (EWDTS 2014), Kharkov National University of Radioelectronics, 2014, pp. 100-103.

Научная группа

Технологии программирования

Все публикации за 2014 год Все публикации