Abstract
According to best practices of model-driven engineering, the implementation of a system should be obtained from its model
through a systematic model-to-code transformation. Following the same approach, model-based testing suggests deriving also
(unit) tests from abstract models. Previously, we have presented \asmtocode \citeasm2cpp_nasafm17 -- a tool that translates
Abstract State Machines (ASMs) to \cpp code. In this paper, we extend the \asmtocode tool such that it can now automatically
produce unit tests for the generated code. Abstract test sequences, either generated randomly or through model checking, are
translated to concrete \cpp unit tests using the BOOST library. We also present some experiments that prove the feasibility
of the proposed approach.
[download the pdf file] [DOI]