Übersicht über Inhalte zum Thema Qualität in der Fahrzeugtechnik. Dieser Themenbereich umfasst sowohl Verifikations- wie Validationstechniken.
Verifikation (formal) Durch eine (formale) Verifikation im Software- und Hardwareengineering wird die Übereinstimmung der Eigenschaften der erstellten Artefakte (z.B. Dokumente, Modelle, Implementierungen) einer (Entwicklungs-)Phase gegenüber einer anderen (i.d.R. direkt anschließenden) sichergestellt (...)
Automatisches Beweisen im Bereich der Softwareentwicklung Automatisches Beweisen (engl. Automated Theorem Proving) ist eine Technik zur vollständigen, automatischen Verifikation. Das Forschungsgebiet des Automatischen Beweisens ist bereits relativ alt. Mitte der 50er Jahre wurden erste Automatische Beweiser entwickelt (...)
Einstieg zum Thema Testen Systematisches Testen von Software stellt, neben verifizierenden Aktivitäten wie z.B. Inspektionen und Reviews, einen wichtigen Beitrag zur Qualitätssicherung in der Software-Entwicklung dar (...)
Architektur von Testsystemen Es gibt unterschiedliche Anforderungen an Testsysteme, wenn man die Lebensphasen Entwicklung, Produktion und Betrieb des zu testenden Systems betrachtet (...)
Leistungsmessung Über Messungen an realen Systemen kann man einen Einblick in das Systemverhalten erlangen, sofern man mit der Messung bzw. der Instrumentierung das Systemverhalten nicht verändert (...)
Software Inspektionen Sowohl Software Inspektionen, (Peer) Reviews als auch Walkthroughs sind statische Methoden zur Softwarequalitätsverbesserung und Fehlerkostenreduktion (...)
Sicherheitsanalyse (Überblick) Unter der Sicherheitsanalyse eines komplexen sicherheitskritischen Systems versteht man eine systematische, nachvollziehbare Überprüfung des implementierten Systems daraufhin, dass dieses System die relevanten Sicherheitsanforderungen erfüllt (...)
Werkzeuge
Statemate Verifikation Mit Hilfe der vom OFFIS und der Universität Oldenburg entwickelten Verifikationsumgebung für Statemate kann die Erfüllung der Anforderungen einer in Symbolic Timing Diagrams vorliegenden Spezifikation durch ein als State-Chart vorliegendes Modellbildung nachgewiesen werden (...)
AutoFocus AutoFocus unterstützt die Entwicklung verteilter, eingebetteter Systeme auf der Grundlage formaler Techniken (SSD, STD, EET) durch den Einsatz integrierter, im wesentlichen graphischer, Beschreibungstechniken, mit deren Hilfe sowohl unterschiedliche Sichten (siehe Struktursicht, Verhaltenssicht und Interaktionssicht) als auch verschiedene Abstraktionsebenen eines Systems beschrieben werden (...)
Testautomatisierung in der Automobilbranche (Artikel-Überblick) Der Anteil der Elektronik im Auto steigt rapide an. Zur Absicherung der Qualität von Soft-und Hardware sind regressionsfähige Testprozesse erforderlich. Nur dadurch ist es Herstellen und Zulieferern möglich, die Funktionsfähigkeit ihrer Produkte zu gewährleisten. Die folgenden Bausteine beleuchtet diese Ausgangssituation und zeigen auf, wie UML-basierte Ansätze in der Testautomatisierung bei Audi verwendet werden (...)