NDLTD logo NDLTD Union Catalog and Global ETD Search

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"”.

  1. Model-Based Testing of Smart Home Systems Using EFSM, CEFSM, and FSMApp

    Albahli, Afnan Mohammed

    … 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 …

    denver Repository record

  2. MODEL-BASED TESTING AND EVALUATION OF SORPTION MEDIA FOR REMOVING VOLATILE ORGANIC COMPOUNDS IN INDOOR AIR

    He, Chuan

    … 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 …

    syracuse-diss Repository record

  3. Component-based modeling for Android application testing

    Gao, YatianUniversity of Ontario Institute of Technology2017

    … 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 …

    uoit Repository record

  4. Automated Test Case Generation from Domain-Specific High-Level Requirement Models

    Olajubu, OyindamolaUniversity of Northampton2018

    … 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 …

    northampton Repository record

  5. Supporting interactive system testing with interaction sequences

    Turner, Jessica DawnThe University of Waikato2019

    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, …

    waikato-masters Repository record

  6. Fail-Safe Test Generation of Safety Critical Systems

    Elakeili, Salwa2001

    <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 …

    denver Repository record

  7. Generating Cost-effective Criteria-based Tests from Behavioral Models

    Li, Nan2014

    gmu

  8. NAT2TEST: generating test cases from natural language requirements based on CSP

    CARVALHO, Gustavo Henrique Porto deUniversidade Federal de Pernambuco2016

    … 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 …

    brazil-ufpe Repository record

  9. Verificación y validación de composiciones de servicios web en ws-bpel con prueba metamórfica

    Castro Cabrera, María Carmen2024

    … 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 …

    cadiz Repository record