Flip van Spaendonck: (Semi-)Automate Extraction of Behavioral Models from C++ Code

Event Details

Accurate behavioral models of software systems can be incredibly useful thanks to the vast array of model based techniques that exist, e.g. automated testing through model based testing, verification of requirements using modal formulas, or providing visual insight using state space visualization techniques. However, acquiring such models can be quite difficult. We propose a set of transformation rules for the C++ language that allows for the generation of an equivalent behavioral model and showcase our current progress on a tool that allows for the automatic transformation of c++ code into behavioral models using these transformation rules. We note that, whilst the given transformation rules are specific to C++, they should be able to be easily transferred to other object oriented languages as well.