SAST 2020 5th Brazilian Symposium on Systematic and Automated Software Testing

Our colleague Jan Toennemann presented the paper „Asserting Functional Equivalence between C Code and SCADE Models in Code-to-Model Transformations“, written in collaboration with our colleague Adina Aniculaesei, at the SAST 2020 Symposium in Natal, Brasil.

Due to the Corona Pandemic, the symposium was organised as a virtual conference.

Model-based development is on the rise and tool chains employing automated code generation from models using certified code generators are getting increasingly common. The paper introduces an approach which enables the reverse operation and creates an ANSYS SCADE model that is functionally equivalent to the C code. The main motivation behind this development is to enable original equipment manufacturers (OEMs) to further use and maintain legacy code in new model-driven development environments, rather than having to re-develop the respective functionality from scratch.

While the model transformation itself is performed manually, the testing process is fully automated and enabled the transfer of existing test cases for the C function to the SCADE Test Environment. The presented approach enables white-box testing of the model, requiring on one side the original C implementation and its original test cases and on the other side a bi-directional mapping of variable names between the C code and the SCADE model. This is done by extending the original code in a way that generates SCADE test scenarios during runtime, allowing to use these white-box test scenarios to assert functional equivalence of code and model using empirical validation.

Link to Symposium Website:


Link to the Paper: Asserting Functional Equivalence between C Code and SCADE Models in Code-to-Model Transformations

© geralt -