Sökning: "Model-Based Testing"

Visar resultat 1 - 5 av 67 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 :NATURAL SCIENCES; NATURVETENSKAP; 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

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

    Författare :Mattias Nyberg; Linköpings universitet; []
    Nyckelord :ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; 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

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

  4. 4. 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 :NATURAL SCIENCES; NATURVETENSKAP; 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

  5. 5. A Mutation-based Framework for Automated Testing of Timeliness

    Författare :Robert Nilsson; Sten F. Andler; Michael G. Hinchey; Linköpings universitet; []
    Nyckelord :NATURAL SCIENCES; NATURVETENSKAP; NATURVETENSKAP; NATURAL SCIENCES; Automated Testing; Timeliness; Real-time systems; Time constraints; Model-based; Mutation testing; Computer science; Datalogi;

    Sammanfattning : A problem when testing timeliness of event-triggered real-time systems is that response times depend on the execution order of concurrent tasks. Conventional testing methods ignore task interleaving and timing and thus do not help determine which execution orders need to be exercised to gain confidence in temporal correctness. LÄS MER