UniTesK Test Suite Architecture.

UniTesK Test Suite Architecture.


I.Bourdonov, A.Kossatchev, V.Kuliamin, and A.Petrenko.


The article presents the main components of the test suite architecture underlying UniTesK test development technology, an automated specification based test development technology for use in industrial testing of general-purpose software. The architecture presented contains such elements as automatically generated oracles, components to monitor formally defined test coverage criteria, and test scenario specifications for test sequence generation with the help of an automata based
testing mechanism. This work stems from the ISP RAS results of academic research and 7-years experience in industrial application of formal testing techniques.

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

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

specification based testing, partition testing, automata based testing, test suite architecture.


Proc. of FME 2002. LNCS 2391, pp. 77-88, Springer-Verlag, 2002.

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

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

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