Modell-basierter Test eingebetteter Software im Automobil: by Mirko Conrad

By Mirko Conrad

Eingebettete software program bestimmt zunehmend Funktionalität und Eigenschaften moderner Kraftfahrzeuge. Umfang und Komplexität dieser software program erfordern ständig neue Entwicklungs- und Testmethoden. Während entwicklungsseitig durch den Einsatz Modell-basierter Techniken bereits erfolgreich auf die Herausforderungen reagiert wird, stehen zufrieden stellende Antworten im Bereich des assessments noch aus. Insbesondere bei der systematischen Auswahl und Beschreibung von Testszenarien bestehen erhebliche Verbesserungspotenziale.

Mirko Conrad ergänzt mit der Klassifikationsbaum-Methode für eingebettete Systeme (CTM/ES) die Modell-basierte Entwicklung eingebetteter Fahrzeugsoftware durch einen neuartigen Ansatz zur systematischen Auswahl und Beschreibung von Testszenarien. Seine Methode ermöglicht die testmethodisch fundierte Ermittlung und grafische Beschreibung zeitvarianter Testszenarien auf unterschiedlichen Abstraktionsstufen und beantwortet damit aktuelle Fragestellungen der Qualitätssicherung eingebetteter software program im Automobil.

Das Werk wurde mit dem Hermann-Appel-Preis 2004 im Bereich Automobilelektronik ausgezeichnet.

Show description

Read or Download Modell-basierter Test eingebetteter Software im Automobil: Auswahl und Beschreibung von Testszenarien PDF

Similar software books

Agile Software Development, Principles, Patterns, and Practices

Written through a software program developer for software program builders, this booklet is a distinct choice of the most recent software program improvement equipment. the writer contains OOD, UML, layout styles, Agile and XP tools with a close description of an entire software program layout for reusable courses in C++ and Java. utilizing a pragmatic, problem-solving technique, it indicates easy methods to enhance an object-oriented application—from the early phases of study, throughout the low-level layout and into the implementation. Walks readers throughout the designer's options — displaying the blunders, blind alleys, and artistic insights that happen during the software program layout procedure. The booklet covers: Statics and Dynamics; rules of sophistication layout; Complexity administration; rules of package deal layout; research and layout; styles and Paradigm Crossings. Explains the foundations of OOD, one after the other, after which demonstrates them with a number of examples, thoroughly worked-through designs, and case reports. Covers traps, pitfalls, and paintings arounds within the program of C++ and OOD after which exhibits how Agile tools can be utilized. Discusses the tools for designing and constructing large software program intimately. includes a three-chapter, in-depth, unmarried case research of a development safety method. For software program Engineers, Programmers, and Analysts who are looking to know how to layout item orientated software program with state-of-the-art tools.

Models in Software Engineering: Workshops and Symposia at MODELS 2011, Wellington, New Zealand, October 16-21, 2011, Reports and Revised Selected Papers

This booklet offers a accomplished documentation of the clinical final result of satellite tv for pc occasions held on the 14th foreign convention on Model-Driven Engineering, Languages and platforms, types 2011, held in Wellington, New Zealand, in October 2011. as well as three contributions all the doctoral symposium and the educators' symposium, papers from the next workshops are integrated: variability for you; multi-paradigm modeling; reviews and empirical reports in software program modelling; models@run.

Search Based Software Engineering: 8th International Symposium, SSBSE 2016, Raleigh, NC, USA, October 8-10, 2016, Proceedings

This ebook constitutes the refereed complaints of the eighth overseas Symposium on Search-Based software program Engineering, SSBSE 2016, held in Raleigh, NC, united states, in October 2016. The thirteen revised complete papers and four brief papers awarded including 7 problem tune and four graduate scholar song papers have been rigorously reviewed and chosen from forty eight submissions.

Extra info for Modell-basierter Test eingebetteter Software im Automobil: Auswahl und Beschreibung von Testszenarien

Example text

Nken. Voraussetzung fur den Einsatz einer closed loop Signalgenerierung ist die Bereitstellung von Konvertem, die neben den eigentlichen Stimulibeschreibungen auch die Kommandosprache der Ablaufsteuerung auf die jeweiligen Zielsysteme umsetzen konnen /SWM99/. 5 Uberdeckungskriterien Urn zu Aussagen tiber Testiiberdeckung und Testtiefe zu gelangen, bedarf es geeigueter Uberdeckungskriterien. Das Vorhandensein solcher Kriterien oder MaBe zur Bewertung der Testiiberdeckung (insbesondere auch fur die abstrakten Beschreibungen) fUr das jeweilige Beschreibungsmittel wird deshalb als fiinftes Kriterium in das Klassifizierungsschema einbezogen.

Die Darstellungsmittel sind standardisiert und haben eine groJ3e Verbreitung. Die Erstellung entsprechender Diagramme wird dUTCh eine Vielzahl von Werkzeugen unterstiltzt. Ausdrucksmittel flir die sequenzielle Komposition und die Programmierung von Testszenarien sind vorhanden. Zeitliche Abfolgen innerhalb der Testszenarien sind darstellbar. Eine Modellierung abgetasteter oder zeitkontinuierlicher SignalverHiufe ist jedoch nur sehr umstiindlich moglich. Der Fokus der modellierten Interaktionen liegt auf der kompakten graphischen Darstellung von Reihenfolge, Sender und Empfanger der verschiedenen Nachrichten.

Formalisierungsgrad Der Formalisierungsgrad der einzelnen Darstellungsmittel wird einer der folgenden Klassen zugeordnet: • mathematisch-formal, • semi-formal • informel! (natiirlichsprachlich). Erfolgt die Beschreibung der Testszenarien auf mehreren Abstraktionsebenen (vgl. 2), kann der Formalisierungsgrad der einzelnen Ebenen unterschiedlich sein. Fiir eine werkzeuggestiitzte Ausftihrung der Testszenarien ist eine mathematische Formalisierung (zumindest der niedrigsten angebotenen Abstraktionsebene) empfehlenswert16 leonOI/, IHarO 11.

Download PDF sample

Rated 4.49 of 5 – based on 3 votes