A Framework for Observation-Based Modelling in Model-Based Testing
Teemu Kanstrén · 2010
One of the single most important reasons that modeling and model-based testing are not yet common practice in industry is the per-ceived difficulty of making the models up to the level of detail and quality required for their automated processing. Models unleash their full potential only through sufficient formality, and after being processed by tools. However, making sufficiently formal models is regarded by industry as laborious, expensive, and overall daunting. This article presents a solution for circumventing the manual modeling process by bootstrapping and devising the model auto-matically from observations, and using that model for test case gen-eration. It describes a combination of existing techniques and tools, some of which are readily used in industry, to provide an iterative process with which test engineers can create a formal model of a component, use it to generate test stimuli, compare the observed