Sökning: "Model based testing"

Visar resultat 1 - 5 av 607 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 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

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

  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. Improved pharmacometric model building techniques

    Författare :Radojka Savic; Mats Karlsson; Siv Jönsson; Matt Hutmacher; Uppsala universitet; []
    Nyckelord :Model building; Absorption model; Transit compartment model; Nonparametric method; Extended grid method; Semiparametric; Distribution transformation; Shrinkage; Model diagnostics;

    Sammanfattning : Pharmacometric modelling is an increasingly used method for analysing the outcome from clinical trials in drug development. The model building process is complex and involves testing, evaluating and diagnosing a range of plausible models aiming to make an adequate inference from the observed data and predictions for future studies and therapy. LÄS MER