Ivannikov Institute for System Programming of the RAS

Model Based Testing of Large-scale Software: How Can Simple Models Help to Test Complex System.




The article is concerned with an approach to model based test development for large software systems. The approach presented is a part of UniTesK test development technology, which is developed on the background of 10-year experience of ISP RAS in verification and test development for complex industrial software [1]. The article states that the well-known software engineering principles underlying the approach and aimed at coping with complexity makes possible its application in
software projects of real-life size and complexity.

Full text of the paper in pdf


Proc of ISOLA 2004, Cyprus, October 2004, pp. 311-316.

Research Group

Software Engineering

All publications during 2004 All publications