Search for dissertations about: "model testing"

Showing result 1 - 5 of 1104 swedish dissertations containing the words model 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. 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

5. 3. Case studies in omniparametric simulation

   Author : Fredrik Lundin; Göteborgs universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; growth model; Ising model; Markov chain; omnithermal simulation; omniparametric simulationpercolatiion; Potts model; parameter estimation; partial observations; random cluster model; Richardson model; simulation driven parameter estimation; two-type Richardson model; omnithermal simulation;

   Abstract : In the eld of particle systems and growths models simulation is an important tool. When explicit calculations are too complex or impossible to perform we may use simulations instead. We adapt a new technique here denoted omniparametric simulation, to the two-type Richardson, Ising and Potts models. READ MORE

6. 4. 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

7. 5. The Onset of Ethnic War as a Bargaining Process : Testing a Signaling Model

   Author : Magnus Öberg; Han Dorussen; Uppsala universitet; []
   Keywords : SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Peace and conflict research; ethnic conflict; civil war; escalation; bargaining; game theory; signaling; selection bias; Freds- och konfliktforskning; Peace and conflict research; Freds- och konfliktforskning; Peace and Conflict Research; Freds- och konfliktforskning;

   Abstract : Most theories of ethnic conflict explain ethnic war by reference to the factors that motivate and enable ethnic groups to rebel. To rebel is to rise up against or challenge government authority; but for war to be the outcome of a challenge the government must attempt to forcefully reassert its authority. READ MORE