Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 9 of 9 for “"Model based testing"”.
-
Model-Based Testing of Smart Home Systems Using EFSM, CEFSM, and FSMApp
… and FSMApp [10] to generate reusable test-ready models of smart home systems. We present an approach to create reusable test-ready models of smart home systems using EFSMs to model device components (Sensor, Controller and Actuator), EFSMs to model single devices in the SHS and the interaction …
-
MODEL-BASED TESTING AND EVALUATION OF SORPTION MEDIA FOR REMOVING VOLATILE ORGANIC COMPOUNDS IN INDOOR AIR
… difficult to perform. Currently, no mathematical model can be effectively used for sorbent media performance simulation at ppb level. </p> <p>The main objective of the presented research is to investigate the adsorption mechanism, address the existing problems through a model-based testing and …
-
Component-based modeling for Android application testing
… rising popularity of Android and the component-based structure of its apps have motivated the need for automated model-based testing techniques on Android plat- form. Prior researches have primarily focused on the GUI-based model of Android apps. GUI-based model only includes Activity targeting …
-
Automated Test Case Generation from Domain-Specific High-Level Requirement Models
… link the requirements gathering and software testing phases of development.<br/><br/>This thesis presents a framework that bridges the gap between requirement specification and testing of software using domain-specific modelling concepts. The proposed modelling notation, High-Level Requirement …
-
Supporting interactive system testing with interaction sequences
Despite extensive research into the modelling and testing of interactive systems, existing strategies do not adequately cover all parts of an interactive system. These existing strategies model and test either the functional or interactive components of an interactive system separately, however, …
-
Fail-Safe Test Generation of Safety Critical Systems
<p>This dissertation introduces a technique for testing proper failure mitigation in safety critical systems. Unlike other approaches which integrate behavioral and failure models, and then generate tests from the integrated model, we build safety mitigation tests from an existing behavioral test …
-
NAT2TEST: generating test cases from natural language requirements based on CSP
… required when developing critical systems, and model based testing (MBT) techniques play an important role generating test cases from specification models. Concerning critical systems, these models are usually created using formal or semi-formal notations. Moreover, it is also desired to clearly …
-
Verificación y validación de composiciones de servicios web en ws-bpel con prueba metamórfica
… años ha sido la prueba metamórfica (Metamorphic Testing en inglés, MT en adelante). Esta técnica se basa en relaciones metamórficas (Metamorphic Relations en inglés, MR en adelante) entre los casos de prueba. De manera que, dado un caso de prueba (al que se le suele denominar caso de prueba …