2010 | OriginalPaper | Buchkapitel
Software-Verifikation
verfasst von : Christian Haubelt, Jürgen Teich
Erschienen in: Digitale Hardware/Software-Systeme
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
In diesem Kapitel werden wichtige Methoden zur Verifikation von Software beschrieben. Zunächst werden Verfahren zur Äquivalenzprüfung auf Blockebene präsentiert. Dabei wird die Verifikation sowohl von Assembler- als auch von CProgrammen, die typischen Einschränkungen für eingebettete Software unterliegen, betrachtet. Danach werden Verfahren zur Testfallgenerierung für simulative Verifikationsmethoden für Software zusammen mit den zugehörigen überdeckungsmaßen vorgestellt. Anschließend werden formale Methoden zur funktionalen Eigenschaftspr üfung von Software präsentiert. Schließlich folgen Verfahren zur Verifikation des Zeitverhaltens eingebetteter Software. Dabei wird zunächst die Abschätzung des Zeitverhaltens auf Blockebene und anschließend der Einfluss dynamischer Ablaufplanungsverfahren auf die Antwortzeit von Prozessen betrachtet.