A representation of Model-based Testing on top of the Essence standard kernel
Carlos Mario Zapata Jaramillo · Ingenierías USBmed · 2025
Models are useful for representing the domain of a software system. Some conceptual models can be used for generating the test cases of a future software system originating what we know as model-based testing. This practice is commonly represented and explained by using informal drawings and semiformal schemas. However, such drawings and schemas commonly lack an entire description of the practice, and they use isolated notations difficult to integrate, since they refer to the same elements in some different terms. In this paper we solve such problems by representing the main elements of model-based testing with the usage of Essence, the Object Management Group standard for the software engineering method and theory. We guarantee our representation exhibit the same elements of other practices related to software engineering and we unify the terminology related to model-based testing in a complete and consistent way.