Search for dissertations about: "thesis on real time testing"

Showing result 1 - 5 of 145 swedish dissertations containing the words thesis on real time testing.

  2. 1. Structural System-Level Testing of Embedded Real-Time Systems

    Author : Daniel Sundmark; Henrik Thane; Hans Hansson; Andreas Ermedahl; Insup Lee; Mälardalens högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; real-time systems; testing; monitoring; Computer science; Datavetenskap; Datavetenskap;

    Abstract : People make mistakes. Software engineers are no exception to this fact. When software engineers make mistakes, these manifest in the form of buggy software - a major problem in today's industry. READ MORE

  4. 2. Testability of Dynamic Real-Time Systems

    Author : Birgitta Lindström; Sten F. Andler; Jeff Offutt; Paul Pettersson; Zebo Peng; Lionel Briand; Linköpings universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Testability; Software testing; Real-time systems; Timeliness; Model-based testing; Computer science; Datalogi; Teknik;

    Abstract : This dissertation concerns testability of event-triggered real-time systems. Real-time systems are known to be hard to test because they are required to function correct both with respect to what the system does and when it does it. READ MORE

  5. 3. Efficient real-time visibility testing

    Author : Erik Sintorn; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; soft shadows; volumetric shadows; deep shadow-maps; order-independent transparency; hair; shadows; rendering; visibility;

    Abstract : Visibility testing is an integral part of many computer graphics algorithms. For example, algorithms that generate images with shadows, ambient occlusion, environment lighting or transparency all require an efficient means of establishing the visibility between two or more points in a virtual scene. 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. 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