Model Based Testing of Large-scale Software: How Can Simple Models Help to Test Complex System.
Authors
Abstract
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.
Edition
Proc of ISOLA 2004, Cyprus, October 2004, pp. 311-316.