Sökning: "Model-based testing tool"

Visar resultat 16 - 20 av 56 uppsatser innehållade orden Model-based testing tool.

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

  3. 17. Proof-of-concept of Model-based testing based on an UML-model of a water-level measurement system

    Magister-uppsats, Malmö universitet/Fakulteten för teknik och samhälle (TS)

    Författare :Zoubida Alshekhly; Namra Gill; [2020]
    Nyckelord :Model-based testing; Model-based testing tool; software system; UML; automatic test case generation;

    Sammanfattning : Software testing is a very important phase in software development as it minimize risks ina software system, however, it consumes time and can be very expensive. With automatictest case generation time consumption and cost can be reduced. Model-based testing isa method to test a software system with a model of the systems behaviour. LÄS MER

  4. 18. Automatiserade GUI-tester i praktiken : En fallstudie på Triona AB

    Kandidat-uppsats, Högskolan Dalarna/Informatik

    Författare :Eva Dahl Thomas; Robin Borg; [2020]
    Nyckelord :automated GUI-testing; Selenium Webdriver; automated tests; automated regression tests; tools for automating GUI-tests; automatiserad GUI-testning; Selenium Webdriver; automatiserade test; automatiserade regressionstest; verktyg för automatiserade GUI-test;

    Sammanfattning : Testning är en nödvändig men kostsam del av mjukvaruutveckling. Test utförs på olika abstraktionsnivåer och kan vara manuella eller automatiserade. På lägsta abstraktionsnivå, enhetsnivå, är automatiserad testning vanligt och relativt okomplicerat, medan systemtester är svårare att automatisera. LÄS MER

  5. 19. Time Series Anomaly Detection and Uncertainty Estimation using LSTM Autoencoders

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

    Författare :Sarah Berenji Ardestani; [2020]
    Nyckelord :;

    Sammanfattning : The goal of this thesis is to implement an anomaly detection tool using LSTM autoencoder and apply a novel method for uncertainty estimation using Bayesian NeuralNetworks (BNNs) based on a paper from Uber research group [1]. Having a reliable anomaly detection tool and accurate uncertainty estimation is critical in many fields. LÄS MER

  7. 20. Automated Model Generation using Graphwalker Based On Given-When-Then Specifications

    Kandidat-uppsats, Mälardalens högskola/Akademin för innovation, design och teknik

    Författare :Joakim Korhonen; [2020]
    Nyckelord :;

    Sammanfattning : Software testing is often a laborious and costly process, as testers need extensive domain-specific knowledge and engineering experience to manually create test cases for diverse test scenarios. These scenarios in many industrial projects are represented in requirement specification documents. LÄS MER