Durch Beachtung strenger Richtlinien und durch Verwendung von Werkzeugen koennen Softwarefehler vor der Inbetriebnahme der Software erkannt und behoben werden. Anforderungen an Entwurfswerkzeuge zur Verifikation eines Softwareentwurfs werden beschrieben und Beispiele gegeben.
Werkzeuggestuetzte Verifikation des Entwurfs von Software
Tool-based verification of software design
Regelungstechnische Praxis ; 26 , 12 ; 540-544
1984
5 Seiten, 6 Bilder
Aufsatz (Zeitschrift)
Deutsch
Ein Verfahren zur Software-Verifikation
Tema Archiv | 1984
|Verifikation von AUTOSAR Software Architekturen
Kraftfahrwesen | 2010
|BESCHLEUNIGTE VERIFIKATION DER KRAFTFAHRZEUG-SOFTWARE IN FAHRZEUGEN
Europäisches Patentamt | 2022
|ASIC-Verifikation: Schnellere Verifikation bei mehr Debug-Transparenz
British Library Online Contents | 2007