Mock Generation for Communicating Systems

Companion site

Companion site of the Mock Generation Approach

Mock generation overview
Mock generation overview

An approach and tool chain for helping developers in:

  • the analysis of a communicating system to classify its components;
  • the choice of mockable components;
  • and the mock generation.

Our approach combines model learning, quality metrics evaluation and mock generation. Model learning is used to infer models, which encodes the behaviours of every component of a communicating system SUT and its architecture. On these models, we evaluate 6 quality metrics mostly related to Auditability, Testability and Dependability. These are defined with respect to the learned models so that they can be automatically evaluated. These metrics allow to classify components into 4 categories: \enquote{Mock}, \enquote{Test}, \enquote{Test in Isolation} and \enquote{Code Review}. We finally propose model-based algorithms to help generate mock models

These mock models are executed by Mock Runners. We provide two implemtations of Mock Runners :

  • a Java Web service, which can be deployed on Web servers (TomEE+)
  • a C++ service as a firmware for ESP82666 boards (Wifi lost cost and small board, Arduino compatible !)

Paper: link



Quality metric measurements

Mock generation

Use-cases :