Ivannikov Institute for System Programming of the RAS


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

Authors

V.Kuliamin.

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.

Full text of the paper in pdf

Edition

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

Research Group

Software Engineering

All publications during 2004 All publications