Search for dissertations about: "Model based testing"

Showing result 1 - 5 of 633 swedish dissertations containing the words Model based testing.

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

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

   Abstract : 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. READ MORE

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

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

   Abstract : 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. READ MORE

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

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

   Abstract : 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. READ MORE

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

   Author : Rikard Johansson; Gunnar Cedersund; Tomas Strömberg; Peter Strålfors; Marija Cvijovic; Linköpings universitet; []
   Keywords : 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;

   Abstract : 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. READ MORE

7. 5. Improved pharmacometric model building techniques

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

   Abstract : 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. READ MORE