Sökning: "modellbaserad testning"

Visar resultat 11 - 15 av 18 uppsatser innehållade orden modellbaserad testning.

  1. 11. 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

  3. 12. Design and analysis of a learning-based testing system for certification of vehicle systems

    Master-uppsats, KTH/Fordonsdynamik

    Författare :Adam Markros; [2019]
    Nyckelord :;

    Sammanfattning : In this work, a learning-based testing system is designed and evaluated in terms of its perfor-mance and feasibility of use in testing of safety-critical vehicle systems; the objective is to reduce testing time and costs. A literature study was conducted on the AMASS project, model-based testing and machine learning; based on which a design of the testing system was developed. LÄS MER

  4. 13. Energy Management Strategy of a Hybrid Electric Vehicle for Shell Eco-marathon

    Master-uppsats, KTH/Maskinkonstruktion (Inst.)

    Författare :Tong Liu; [2017]
    Nyckelord :;

    Sammanfattning : Senaste åren har elhybridfordon visat enorm potential gällande energibesparning och reducering av utsläpp. Genom lämplig energistyrningsstrategi kan en märkbar förbättring uppnås avseende energieffektiviteten med bevarad autonomi. LÄS MER

  5. 14. Development of a Directional Definite-Time Overcurrent and Earth Fault Protection based on COTS Components

    Master-uppsats, KTH/Industriella informations- och styrsystem

    Författare :Fabian Hohn; [2015]
    Nyckelord :;

    Sammanfattning : Manufactures of power system products face an increased pressure to reduce the time to market of their development process without compromising quality. Moreover the operationof power systems needs to be performed in a secure and reliable manner. One ofthe key systems to guarantee those stringent requirements is the protection system. LÄS MER

  7. 15. Learning-Based Testing of Microservices : An Exploratory Case Study Using LBTest

    Master-uppsats, KTH/Skolan för datavetenskap och kommunikation (CSC)

    Författare :Peter Nycander; [2015]
    Nyckelord :microservices lbtest learning-based testing lbt trioptima;

    Sammanfattning : Learning-based testing (LBT) is a relatively new testing paradigm which automatically generates test cases for black-box testing of a system under test (SUT). LBT uses machine learning to model a SUT, and combines this with model-based testing. LÄS MER