Институт системного программирования им. В.П. Иванникова РАН

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.

Полный текст статьи в формате pdf (на английском)


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

Научная группа

Технологии программирования

Все публикации за 2004 год Все публикации