Applying Model Based Testing in Different Contexts.
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.
Proc. of Seminar on Perspectives on Model Based Testing, Dagstuhl, Germany, September 2004.