Sökning: "Athanasios Stratis"
Hittade 1 uppsats innehållade orden Athanasios Stratis.
1. Model-based Testing on Generated C Code
Magister-uppsats, Mälardalens högskola/Akademin för innovation, design och teknikSammanfattning : In this master thesis we investigated whether it is possible to use automatically generated C code from Function Block Diagram models as an input to the CPAchecker model checker in order to generate automated test cases. Function Block Diagram is a non-executable programming and modeling language. LÄS MER
Resultatsidor:
1