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.

Full text of the paper in pdf


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


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

Research Group

Software Engineering

All publications during 2002 All publications