Sökning: "Model-based testing tool"

Visar resultat 21 - 25 av 56 uppsatser innehållade orden Model-based testing tool.

  1. 21. Tillämpningar av modelbaserad testning i industrin - Exempel på användning och hinder

    Kandidat-uppsats, Malmö universitet/Fakulteten för teknik och samhälle (TS)

    Författare :Karl-Olof Welin; Oscar Norling; [2020]
    Nyckelord :Model-based testing; Test automation;

    Sammanfattning : Det finns en omfattande litteratur kring modellbaserad testning (MBT) men med få tecken på att metoden har fått något större genomslag i industrin. Målet med studien är att identifiera exempel där MBT används som testmetod inom industrin och eventuella hinder som finns i MBT-processen. LÄS MER

  3. 22. Evaluation of Automated Test Generation for Simulink : A Case Study in the Context of Propulsion Control Software

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

    Författare :Anton Roslund; [2020]
    Nyckelord :Automated Test Generation; Simulink; Model Based Design; Comparison; Simulink Design Verifier; SLDV; MIL; SIL; PIL; Model-in-the-Loop; Conformance; Conformance testing; Test Generation; MATLAB; Evaluation;

    Sammanfattning : Automated Test Generation (ATG) has been successfully applied in many domains. For the modeling and simulation language Simulink, there has been research on developing tools for ATG with promising results. LÄS MER

  4. 23. Tillämpningar av modellbaserad testning i industrin - exempel på användning och hinder

    Kandidat-uppsats, Malmö universitet/Fakulteten för teknik och samhälle (TS)

    Författare :Karl-Olof Welin; Oscar Norling; [2020]
    Nyckelord :Model-based testing; test automation;

    Sammanfattning : Det finns en omfattande litteratur kring modellbaserad testning (MBT) men med få tecken på att metoden har fått något större genomslag i industrin. Målet med studien är att identifiera exempel där MBT används som testmetod inom industrin och eventuella hinder som finns i MBT-processen. LÄS MER

  5. 24. Model-based Testing for SQL Databases

    Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Författare :Dimitrios Tziatzios; [2019]
    Nyckelord :;

    Sammanfattning : Database testing is an expensive and time consuming process, often performed with manually written test code. Automating database testing involves test case generation and test oracles which examine and verify the results. LÄS MER

  7. 25. AN EVALUATION OF MODEL-BASED TESTING IN INDUSTRIAL PRACTICE: FROM SYSTEM MODELLING TO TEST GENERATION.

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

    Författare :Aliya Hussain; [2018]
    Nyckelord :;

    Sammanfattning : Vehicular systems have become intensively sophisticated and their software content has increased swiftly in this era. While developing the vehicular software, the requirements which should be satisfied are more complex in comparison to other types of software. LÄS MER