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 . 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.
Proc of ISOLA 2004, Cyprus, October 2004, pp. 311-316.