Computer science and software
In the Model-Based Testing (MBT) approach, the models serve as a reference for studying the correctness of the systems under test. However, in practice, these models are often of high level, however they may include components in the form of programs. Most of them are not analyzable by MBT techniques based on symbolic execution. A possible approach to circumvent this problem is to define heuristics to find concrete executions of these programs in order to follow the different paths of the behaviors tree (computed by symbolically executing of the model). The idea is to use the constraints induced by the different conditionals manipulated in the model to drive a solver in order to dynamically construct couples of input value/output value for each program covering a specific behavior to be tested. The objective of this post-doc is to set up a framework based on the Diversity symbolic execution platform which allow the analysis models containing programs using the technique mentioned above and to evaluate its scalability.
Département Ingénierie Logiciels et Systèmes (LIST)
Laboratoire d'Ingénierie dirigée par les modèles pour les Systèmes Embarqués
Phone number: 01 69 08 34 82
As soon as possible
« The age limit is 26 years for PhD offers and 30 years old for post-doc offers. »