Essays about: "Model-Based Testing MBT"

Showing result 1 - 5 of 23 essays containing the words Model-Based Testing MBT.

  1. 1. Model Based Testing for Programmable Data Planes

    University essay from Luleå tekniska universitet/Institutionen för system- och rymdteknik

    Author : Gustav Rixon; [2023]
    Keywords : Model Based Testing; Programmable Data Planes; P4; Software- Defined Networking;

    Abstract : 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. READ MORE

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

    University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Author : Caroline Borg; [2023]
    Keywords : Software testing; Model-based testing; Test minimization; Delta debugging; Modbat; modmin; Mjukvarutestning; Modellbaserad testning; Testminimering; Delta debugging; Modbat; modmin;

    Abstract : 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. READ MORE

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

    University essay from Mälardalens universitet/Akademin för innovation, design och teknik

    Author : Blerta Vuthaj; [2023]
    Keywords : ;

    Abstract : 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. READ MORE

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

    University essay from Mälardalens universitet/Akademin för innovation, design och teknik

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

    Abstract : 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. READ MORE

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

    University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Author : Viktor Vitek; [2021]
    Keywords : 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;

    Abstract : 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. READ MORE