Sökning: "Model-based testing tool"
Visar resultat 11 - 15 av 56 uppsatser innehållade orden Model-based testing tool.
11. Validation of an implementation of MBSE and the possibility of Simulating System Models
Master-uppsats, KTH/Matematik (Avd.)Sammanfattning : Model-Based Systems Engineering (MBSE) is the process of developing a set of system models that help define, design and document a system under development. These models provide an efficient way to explore, update, and communicate system perspectives to stakeholders, while eliminating dependence on traditional documents. LÄS MER
12. Psykiatrins park : en hälsofrämjande gestaltning som grundar sig i evidensbaserad design
Kandidat-uppsats, SLU/Dept. of Urban and Rural DevelopmentSammanfattning : 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
13. Validating Side Channel models in RISC-V using Model-Based Testing
Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)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
14. Bounded exhaustive generation of tests in model-based testing
Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)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
15. 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)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