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


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

Авторы

V.Kuliamin.

Аннотация

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 год Все публикации