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.

• Type: Conference
• Year: 2004
• Where: ISOLA
• Authors: Victor V. Kuliamin
• Keywords: ISOLA 2004, Large Software Systems, Test Development, UniTesK Test Development