Narrow your search

Library

FARO (2)

KU Leuven (2)

LUCA School of Arts (2)

Odisee (2)

Thomas More Kempen (2)

Thomas More Mechelen (2)

UCLL (2)

UGent (2)

ULB (2)

ULiège (2)

More...

Resource type

book (2)


Language

English (1)

German (1)


Year
From To Submit

2017 (1)

2011 (1)

Listing 1 - 2 of 2
Sort by

Book
Eine Technologie für das durchgängige und automatisierte Testen eingebetteter Software
Author:
ISBN: 1000069280 3731506637 Year: 2017 Publisher: KIT Scientific Publishing

Loading...
Export citation

Choose an application

Bookmark

Abstract

Embedded software demands intensive testing of functional and non-functional requirements. Automation of such tests is performed with different technologies. Source-code level tests require specialized unit-testing tools. Tests of the high-level behavior of control systems follow the model-, software- and hardware-in-the-loop approach. This work studies the integration of such system-level and source-code level tests. The focus lies on a new programming language to implement test cases.


Book
View-based textual modelling
Author:
ISBN: 1000022234 386644642X Year: 2011 Publisher: KIT Scientific Publishing

Loading...
Export citation

Choose an application

Bookmark

Abstract

This work introduces the FURCAS approach, a framework for view-based textual modelling. FURCAS includes means that allow software language engineers to define partial and overlapping textual modelling languages. Furthermore, FURCAS provides an incremental update approach that enables modellers to work with multiple views on the same underlying model. The approach is validated against a set of formal requirements, as well as several industrial case studies showing its practical applicability.

Listing 1 - 2 of 2
Sort by