UniTesK: Model Based Testing in Industrial Practice.

UniTesK: Model Based Testing in Industrial Practice.


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


The article presents UniTesK technology, an automated model based test construction method for use in industrial testing of general-purpose software. The approach presented includes automatic generation of test oracles from software contracts, coverage driven test sequence generation, test artifacts reuse. This work stems from the ISP RAS results of academic research and 10-years experience in industrial application of formal testing techniques.

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

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

model based testing, formal specifications, finite state machine, FSM based testing.


Proceedings of the 1-st European Conference on Model-Driven Software Engineering, Nurnberg, December 2003, pp. 55-63.

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

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

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