Silvia Bonfanti, Angelo Gargantini, Atif Mashkoor,
"Validation of Transformation from Abstract State Machine Models to C++ Code"
, in Inmaculada Medina-Bulo and Mercedes G. Merayo and Robert M. Hierons: Testing Software and Systems - 30th IFIP WG 6.1 International Conference, ICTSS 2018, C\'adiz, Spain, October 1-3, 2018, Proceedings, Springer, Seite(n) 17-32, 9-2018
Original Titel:
Validation of Transformation from Abstract State Machine Models to C++ Code
Sprache des Titels:
Englisch
Original Buchtitel:
Testing Software and Systems - 30th IFIP WG 6.1 International Conference, ICTSS 2018, C\'adiz, Spain, October 1-3, 2018, Proceedings
Original Kurzfassung:
The automatic transformation of models to code is one of the most important cornerstones in the model-driven engineering paradigm. Starting from system models, users are able to automatically generate machine code in a seamless manner with an assurance of potential bug freeness of the generated code. Asm2C++ [4] is the tool that transforms Abstract State Machine models to Open image in new window code. However, no validation activities have been performed in the past to guarantee the correctness of the transformation process. In this paper, we define a mechanism to test the correctness of the model-to-code transformation with respect to two main criteria: syntactical correctness and semantic correctness, which is based on the definition of conformance between the specification and the code. Using this approach, we have devised a process able to test the generated code by reusing unit tests. Coverage measures give a user the confidence that the generated code has the same behavior as specified by the ASM model.