Sökning: "Model-based testing"

Visar resultat 1 - 5 av 85 avhandlingar innehållade orden Model-based testing.

  1. 1. Model-Based Protocol Testing in an Erlang Environment

    Författare :Johan Blom; Bengt Jonsson; Sven-Olof Nyström; Bernhard Aichernig; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Testing; Erlang; Model-Based Testing; Symbolic Execution; Communication Protocols; Datavetenskap; Computer Science;

    Sammanfattning : Testing is the dominant technique for quality assurance of software systems. It typically consumes considerable resources in development projects, and is often performed in an ad hoc manner. This thesis is concerned with model-based testing, which is an approach to make testing more systematic and more automated. LÄS MER

  3. 2. Model Based Fault Diagnosis : Methods, Theory, and Automotive Engine Applications

    Författare :Mattias Nyberg; Linköpings universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

    Sammanfattning : Model based fault diagnosis is to perform fault diagnosis by means of models. An important question is how to use the models to construct a diagnosis system. To develop a general theory for this, useful in real applications, is the topic of the first part of this thesis. LÄS MER

  4. 3. Model-Based Test Case Generation for Real-Time Systems

    Författare :Anders Hessel; Paul Pettersson; Bengt Jonsson; Bernhard K. Aichernig; Uppsala universitet; []
    Nyckelord :Model-Based Testing; Model Checking; Coverage Criteria; Real-Time Systems; Black-Box Testing; Timed Automata; Test Case Generation; Conformance Testing;

    Sammanfattning : Testing is the dominant verification technique used in the software industry today. The use of automatic test case execution increases, but the creation of test cases remains manual and thus error prone and expensive. To automate generation and selection of test cases, model-based testing techniques have been suggested. LÄS MER

  5. 4. On model based aero engine diagnostics

    Författare :Mikael Stenfelt; Konstantinos Kyprianidis; Asteris Apostolidis; Mälardalens universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Aero engines; model based diagnostics; gas path analysis; Energy- and Environmental Engineering; energi- och miljöteknik;

    Sammanfattning : Maintenance and diagnostics play a vital role in the aviation sector. This is especially true for the engines, being one of the most vital components. Lack of maintenance, or poor knowledge of the current health status of the engines, may lead to unforeseen disruptions and possibly catastrophic effects. LÄS MER

  7. 5. Model-Based Hypothesis Testing in Biomedicine : How Systems Biology Can Drive the Growth of Scientific Knowledge

    Författare :Rikard Johansson; Gunnar Cedersund; Tomas Strömberg; Peter Strålfors; Marija Cvijovic; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; systems biology; modeling; ODE; hypothesis testing; falsificationism; insulin signaling; yeast; population heterogeneity; cell-to-cell variation; facilitation; pyramidal; synaptic; bootstrapping; personalized medicine; omics;

    Sammanfattning : The utilization of mathematical tools within biology and medicine has traditionally been less widespread compared to other hard sciences, such as physics and chemistry. However, an increased need for tools such as data processing, bioinformatics, statistics, and mathematical modeling, have emerged due to advancements during the last decades. LÄS MER