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

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

  1. 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 : NATURAL SCIENCES; NATURVETENSKAP; 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

  2. 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 : NATURAL SCIENCES; NATURVETENSKAP; NATURVETENSKAP; NATURAL SCIENCES; Testability; Software testing; Real-time systems; Timeliness; Model-based testing; Computer science; Datalogi; Teknik; Technology;

    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

  3. 3. Efficient real-time visibility testing

    Author : Erik Sintorn; Chalmers University of Technology; []
    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

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

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

    Author : Robert Nilsson; Sten F. Andler; Michael G. Hinchey; Linköpings universitet; []
    Keywords : NATURAL SCIENCES; NATURVETENSKAP; 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