Sökning: "modellbaserad testning"
Visar resultat 1 - 5 av 18 uppsatser innehållade orden modellbaserad testning.
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)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
2. Model Based Testing for Programmable Data Planes
Uppsats för yrkesexamina på avancerad nivå, Luleå tekniska universitet/Institutionen för system- och rymdteknikSammanfattning : 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
3. Minimization of Model-based Tests in Modbat
Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)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
4. Modelling and design of PMSM position drivesusing model following control
Master-uppsats, KTH/Skolan för industriell teknik och management (ITM)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
5. 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