Sökning: "model based testing mbt"

Visar resultat 1 - 5 av 26 uppsatser innehållade orden model based testing mbt.

  1. 1. Model Based Testing for Programmable Data Planes

    Uppsats för yrkesexamina på avancerad nivå, Luleå tekniska universitet/Institutionen för system- och rymdteknik

    Författare :Gustav Rixon; [2023]
    Nyckelord :Model Based Testing; Programmable Data Planes; P4; Software- Defined Networking;

    Sammanfattning : The advent of Software Defined Networking (SDN) and programmable data planes has revolutionized the networking domain, enabling the programming of networking functions down to the silicon level responsible for data packet switching. Unfortunately, while this programmability offers greater flexibility and control, it also increases the likelihood of introducing software bugs. LÄS MER

  3. 2. Minimization of Model-based Tests in Modbat

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

    Författare :Caroline Borg; [2023]
    Nyckelord :Software testing; Model-based testing; Test minimization; Delta debugging; Modbat; modmin; Mjukvarutestning; Modellbaserad testning; Testminimering; Delta debugging; Modbat; modmin;

    Sammanfattning : Model-based testing (MBT) is a promising testing method with advantages like exhaustive exploration and high maintainability. However, one notable downside is that the generated tests usually contain much unnecessary noise. LÄS MER

  4. 3. A SYSTEMATIC MAPPING STUDY ON ONLINE MODEL-BASED TESTING

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

    Författare :Blerta Vuthaj; [2023]
    Nyckelord :;

    Sammanfattning : Background: Testing is an integral component of the software development process. It demands both time and resources. Model-based testing (MBT) is a testing strategy that automates the testing process and generates test cases using formal models. LÄS MER

  5. 4. Automation of the creation and execution of system level hardware-in-loop tests through model-based testing

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

    Författare :Ahmed Almasri; Viktor Aronsson Karlsson; [2022]
    Nyckelord :Automation; GraphWalker; Hardware-in-the-loop HIL ; Model-Based Testing MBT ; MoMuT.;

    Sammanfattning : The automatic creation of test cases has been a well-researched area in recent years. Indeed, the industry’s testing procedure still uses the traditional way of manual practices. However, investigations are continued to deliver new methods, but research results have not been fully adopted. LÄS MER

  7. 5. Validating Side Channel models in RISC-V using Model-Based Testing

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

    Författare :Viktor Vitek; [2021]
    Nyckelord :Observational model · Side-channel analysis and countermeasures · Embedded systems security · Model-based Testing; Observationsmodell · Sidokanal analys och motåtgärder · Inbyggda system säkerhet · Model-Baserad Testning;

    Sammanfattning : Microarchitecture’s optimizations have increased the performance but lowered the security. Speculative execution is one of the optimizations that was thought to be secure, but it is exploitable to leak information. LÄS MER