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

Extended Design-by-Contract Approach to Specification and Conformance Testing of Distributed Software.


V.Kuliamin, A.Petrenko, N.Pakoulin.


Increasing effort in development of high quality distributed systems requires ground methodological base. Design by Contract approach looks very promising as a candidate since it helps to obtain component-wise specification and design, to separate concerns between developers, and makes development of high quality complex systems a manageable process. Unfortunately, in its classic form it can hardly be applied to distributed network applications because of lack of adequate means to describe asynchronous events. We extend Design by Contract with capabilities to describe callbacks and asynchronous communication between components and apply it to specify distributed software and to develop conformance test suites in automated manner. Specifications are developed in extensions of programming languages that makes them clear for industrial developers and decreases test construction effort. Practical results of numerous successful applications
of the method are described.

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

Ключевые слова

Design by Contract, asynchronous events specification, distributed software specification, model based testing, automated test construction, specification extension of programming language, automatic test oracle generation.


Proc. of 9-th WMSCI, Orlando, USA, July 2005, v. VII. Model Based Development and Testing, pp. 65-70.

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

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

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