Search for dissertations about: "concurrent testing"

Showing result 1 - 5 of 44 swedish dissertations containing the words concurrent testing.

2. 1. Distributed vehicle testing : dynamic simulation for automotive winter testing

   Author : Mikael Nybacka; Luleå University of Technology; []
   Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

   Abstract : Today, rather than provide parts similar to their competitors and rely on one or two automakers, successful automotive component suppliers focus heavily on innovation and collaboration with several manufacturers in a global market. In this thesis, an as-is scenario for automotive winter testing is presented. READ MORE

4. 2. Distributed vehicle testing : dynamic simulation for automotive winter testing

   Author : Mikael Nybacka; Luleå tekniska universitet; []
   Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Funktionella produkter; Functional Product Development;

   Abstract : Today, rather than provide parts similar to their competitors and rely on one or two automakers, successful automotive component suppliers focus heavily on innovation and collaboration with several manufacturers in a global market. In this thesis, an as-is scenario for automotive winter testing is presented. READ MORE

5. 3. Effective Techniques for Stateless Model Checking

   Author : Stavros Aronis; Konstantinos Sagonas; Bengt Jonsson; Patrice Godefroid; Uppsala universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Concurrent; Parallel; Model Checking; Partial Order Reduction; Dynamic Partial Order Reduction; DPOR; Sleep Set Blocking; Source Sets; Source DPOR; Wakeup Trees; Optimal DPOR; Observers; Verification; Bounding; Exploration Tree Bounding; Testing; Erlang; Concuerror; Protocol; Chain Replication; CORFU; Computer Science; Datavetenskap;

   Abstract : Stateless model checking is a technique for testing and verifying concurrent programs, based on exploring the different ways in which operations executed by the processes of a concurrent program can be scheduled. The goal of the technique is to expose all behaviours that can be a result of scheduling non-determinism. READ MORE

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

7. 5. Programming Model and Protocols for Reconfigurable Distributed Systems

   Author : Cosmin Ionel Arad; Seif Haridi; Gregory Chockler; KTH; []
   Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; distributed systems; programming model; message-passing concurrency; nested hierarchical composition; reactive components; software architecture; dynamic reconfiguration; multi-core; discrete-event simulation; peer-to-peer; testing; debugging; distributed key-value stores; data replication; consistency; linearizability; network partition tolerance; consistent hashing; self-organization; scalability; elasticity; fault tolerance; consistent quorums;

   Abstract : Distributed systems are everywhere. From large datacenters to mobile devices, an ever richer assortment of applications and services relies on distributed systems, infrastructure, and protocols. Despite their ubiquity, testing and debugging distributed systems remains notoriously hard. READ MORE