Sökning: "Model-based testing tool"

Visar resultat 1 - 5 av 45 uppsatser innehållade orden Model-based testing tool.

  1. 1. Psykiatrins park : en hälsofrämjande gestaltning som grundar sig i evidensbaserad design

    Kandidat-uppsats, SLU/Dept. of Urban and Rural Development

    Författare :Stina K. Jernbäcker; [2021]
    Nyckelord :Evidensbaserad design; miljöpsykologi; restorativa miljöer; vårdmiljö; rehabiliteringsträdgård; forskning genom design; hälsofrämjande natur; trädgårdsterapi;

    Sammanfattning : I slutet av förra århundradet gjordes stora framsteg inom miljöpsykologin där forskningen visade att kontakten med natur har en rehabiliterande och hälsofrämjande roll i vårdsammanhang. I början av det här århundradet har det uppstått ett nytt forskningsområde, evidensbaserad design, EBD. LÄS MER

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

  3. 3. 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. 4. Model-Based Testing of Dosing System : An Introductory Review on Model-Based Automatic Test Case Generation with Matlab Simulink Proof-of-concept

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

    Författare :Albertus Adrian Setyawan; [2021]
    Nyckelord :model-based testing; requirement modelling; automated test case generation; cause-effect graph; Matlab Simulink; modellbaserad testning; kravmodellering; automatisk generering av testfall; cause-effect graph; Matlab Simulink;

    Sammanfattning : A modern truck contains a large number of functionalities implemented in its electronics system. Thus, testing all of these functions employs a considerable effort. The execution of tests against the system has been automated for a long time. Unfortunately, most of the test is still designed manually these days. LÄS MER

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