Sökning: "Modbat"

Visar resultat 1 - 5 av 6 uppsatser innehållade ordet Modbat.

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

  3. 2. Bounded exhaustive generation of tests in model-based testing

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

    Författare :Nour Alhuda Almajni; [2021]
    Nyckelord :Model-based testing; Modbat; Bounded exhaustive search; Random search.; Modellbaserad testning; Modbat; Begränsad uttömmande sökning; Slumpmässig sökning.;

    Sammanfattning : There are some systems (or parts of systems) that are very critical and need especially good test suites to test them. For these critical systems, exhaustive testing may be a good way to test them. Thus, we have implemented two versions of bounded exhaustive search (BES) algorithms in a model-based testing tool called, Modbat. LÄS MER

  4. 3. Model Coverage vs System-under-test Coverage in Model-based testing : Using Edge-pair coverage, Edge coverage, Node coverage and Mutation analysis

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

    Författare :George Rezkalla; [2021]
    Nyckelord :model-based testing; system-under-test; edge-pair coverage; edge coverage; node coverage; black-box testing; white-box testing; mutation analysis; test suite effectiveness; modellbaserad testning; system-under-test; kantparstäckning; kant-täckning; nodtäckning; black-box-testning; white-box-testning; mutationsanalys; testsvitseffektivitet;

    Sammanfattning : Model-based testing (MBT) is a black-box software testing technique that focuses on specification of the system-under-test (SUT) and/or its environment. It uses models to automatically generate a large number of tests. LÄS MER

  5. 4. 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

  7. 5. 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