Ivannikov Institute for System Programming of the RAS


UniTESK: Component Model Based Testing

Authors

Alexander K. Petrenko, Victor Kuliamin, Andrey Maksimov.

Abstract

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

Keywords

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

Edition

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