Search for dissertations about: "Bernhard Aichernig"
Found 3 swedish dissertations containing the words Bernhard Aichernig.
-
1. Model-Based Protocol Testing in an Erlang Environment
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
-
2. Model-Based Test Case Generation for Real-Time Systems
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
-
3. Model-checking and Model-based Testing of Automotive Embedded Systems : Starting from the System Architecture
Abstract : Nowadays, modern vehicles are equipped with electrical and electronic systems that implement highly complex functions such as anti-lock braking or cruise control. The use of such embedded systems in the automotive domain requires a revised development process that addresses their particular features. READ MORE