Essays about: "Modbat"

Found 4 essays containing the word Modbat.

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

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

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

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

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

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

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

    Author : George Rezkalla; [2021]
    Keywords : 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;

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

  5. 4. Model-based Testing for SQL Databases

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

    Author : Dimitrios Tziatzios; [2019]
    Keywords : ;

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