Sökning: "Athanasios Stratis"

Hittade 1 uppsats innehållade orden Athanasios Stratis.

  1. 1. Model-based Testing on Generated C Code

    Magister-uppsats, Mälardalens högskola/Akademin för innovation, design och teknik

    Författare :Athanasios Stratis; [2015]
    Nyckelord :model-checker; cpachecker; testing;

    Sammanfattning : 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