Ivannikov Institute for System Programming of the RAS


Applying Model Based Testing in Different Contexts.

Authors

V.Kuliamin, A.K.Petrenko.

Abstract

We describe ISP RAS experience in applications of model based testing in various areas. The two different examples are considered - UniTesK test development technology aimed at software component testing and OTK tool intended to be used in test development for complex structured text processors, the main example of which is compilers. The surprising fact is that the two methods used in the tools have different prerequisites for successful applications in industrial software
development. This demonstrates possibility to change those prerequisites by changing the technical aspects of the method applied. Both techniques were developed in RedVerst group of ISP RAS.

Full text of the paper in pdf

Keywords

software component testing, compiler testing, testing based on software contracts, testing based on finite automata, test data generation.

Edition

Proc. of Seminar on Perspectives on Model Based Testing, Dagstuhl, Germany, September 2004.

Research Group

Software Engineering

All publications during 2004 All publications