Sökning: "Modellbaserad testning"

Visar resultat 1 - 5 av 18 uppsatser innehållade orden Modellbaserad testning.

1. 1. Context-aware security testing of Android applications : Detecting exploitable vulnerabilities through Android model-based security testing

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

   Författare :Ivan Baheux; [2023]
   Nyckelord :Android Application Security; Vulnerability Detection; Context-Awareness; Model-Based Security Testing; Domain Specific Language; Sécurité des Applications Android; Détection de Vulnérabilités; Sensibilité au Contexte; Tests de Sécurité Basés sur les Modèles; Langage Dédiés; Android-applikationssäkerhet; Upptäckt av sårbarheter; Kontextmedvetenhet; Modellbaserad säkerhetstestning; Domänspecifikt språk;

   Sammanfattning : This master’s thesis explores ways to uncover and exploit vulnerabilities in Android applications by introducing a novel approach to security testing. The research question focuses on discovering an effective method for detecting vulnerabilities related to the context of an application. LÄS MER

3. 2. Model Based Testing for Programmable Data Planes

   Uppsats för yrkesexamina på avancerad nivå, Luleå tekniska universitet/Institutionen för system- och rymdteknik

   Författare :Gustav Rixon; [2023]
   Nyckelord :Model Based Testing; Programmable Data Planes; P4; Software- Defined Networking;

   Sammanfattning : The advent of Software Defined Networking (SDN) and programmable data planes has revolutionized the networking domain, enabling the programming of networking functions down to the silicon level responsible for data packet switching. Unfortunately, while this programmability offers greater flexibility and control, it also increases the likelihood of introducing software bugs. LÄS MER

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

5. 4. Modelling and design of PMSM position drivesusing model following control

   Master-uppsats, KTH/Skolan för industriell teknik och management (ITM)

   Författare :JACOB RÖING; CARL JENSEN; [2021]
   Nyckelord :;

   Sammanfattning : Teenage Engineering is a Swedish electronics company that want to automate their quality control process. For this purpose, they want to develop a test jig that can perform tactile testing of their products. The test jig will utilize PMSM motors for position control of the end-effector. LÄS MER

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