itemis view

Von Wolfgang Neuhaus

Die Embedded World führt Aussteller aus der ganzen Welt kompakt zum Thema "Embedded Systems" zusammen. Dies bietet eine hervorragende Möglichkeit, durch Befragungen Informationen über die Branche zu ermitteln.

Heute hat uns das Fraunhofer Institut Rechnerarchitektur und Softwaretechnik im Rahmen einer Studie zum Thema "Qualitätssicherung in der Embedded Systems Entwicklung" befragt. Für uns natürlich ein ganz zentrales Thema, denn 90% unserer Kunden sehen die Steigerung der Qualität als primäres Ziel bei der Einführung modellbasierter Entwicklungsansätze. Und nicht etwa die Beschleunigung der Entwicklung oder die Kostenreduktion.

Hier gilt der Grundsatz: Qualität proaktiv in jedem Prozessschritt herzustellen ist hilfreicher, als durch umfangreiche Tests mangelnde Qualität am Ende des Prozesses festzustellen. Das bedeutet selbstverständlich nicht, dass Test vollständig überflüssig sind.

Die modellbasierte Entwicklung kann durch die Verwendung geeigneter Modelleditoren, die bereits möglichst viele Fehleingaben verhindern und ergonomisch und intiuitiv zu bedienen sind sehr gut helfen den vorgenannten Grundsatz zu unterstützen. Außerdem stellt sie viele andere wichtige Instrumente zur Verfügung:

- Modellvalidierung zur Überprüfung fachlicher oder technischer Regeln
- Modellverifikation zum formalen Beweis für sicherheitskritische Systeme
- Testabdeckungsmetriken zur Prüfung der Generatoren
- statische Codeanalysen zur Überprüfung manuell erstellter Codeteile

Darüber hinaus kann auch das Erstellen geeigneter Tests durch unterschiedliche Verfahren unterstützt werden:

- Ableitung von Testrahmen aus Modellen, um Systeme zu beschreiben
- Generierung von automatisierten Tests aus modellhaften Testspezifikationen
- Erzeugung von Testkandidaten durch Modellinspektion

Das Fraunhofer Institut selbst verfolgt Black Box Ansätze, um evolutionäre Testfälle für Systeme zu erstellen. Was sich dahinter genau verbirgt, werde ich mir am Donnerstag ansehen und hier wieder darüber berichten.

Und natürlich informieren wir hier im Blog wieder darüber, wenn die Endergebnisse der Studie vorliegen.

Blogged with Flock

Tags: Test, Validierung, Verification, MDSD, eingebettet, Qualitätssicherung, Embedded

itemis AG

... wird es hier im Blog ab morgen geben. Wir sind dieses Jahr als Aussteller und Vortragende erstmalig auf der Embedded World aktiv, die mit 14000 Fachbesuchern und über 600 Ausstellern mittlerweile die größte Messe ihrer Art in Europa ist.

Natürlich sind wir gespannt, wie die Reaktionen der Besucher auf unsere Kernthemen "Modellgetriebene Entwicklung" und "Eclipse" ausfallen. Genauso interessiert uns das Angebot der anderen Aussteller auf der Messe.

Alles weitere ab morgen an dieser Stelle.

Wolfgang Neuhaus

Mehr dazu im Eintrag Embedded Systems Development mit Eclipse

Auf der OOP 2008 finden sich zunehmend auch Angebote für die Entwicklung eingegebtteter Systeme - sowohl im Programm als auch bei den Ausstellern.