Ivannikov Institute for System Programming of the RAS

UniTESK: Component Model Based Testing


Alexander K. Petrenko, Victor Kuliamin, Andrey Maksimov.


UniTESK is a testing technology based on formal models or formal specifications of requirements to the behavior of software and hardware components. The most significant applications of UniTESK in industrial projects are described, the experience is summarized, and the prospective directions to the Component Model Based Testing development are estimated.

Full text of the paper in pdf


Specification, verification, model-based testing, automated test generation


ICT in Education, Research and Industrial Applications: Integration, Harmonization and Knowledge Transfer (ICTERI-2013), Part II, 2nd International Workshop on Algebraic, Logical, and Algorithmic Methods of System Modeling, Specification and Verifica, 2013, p.573-589.

Research Group

All publications during 2013 All publications