Inhaltsangabe:Einleitung: Die Abstraktion von Verhaltensmodellen ist die wesentliche Voraussetzung für die Realisierbarkeit der automatischen Testgenerierung für Systeme mit kontinuierlichem Wertebereich, indem durch Anwendung von Abstraktionsoperatoren Verhaltensmodelle mit kontinuierlichem Wertebereich auf Verhaltensmodelle mit finitem Wertebereich abgebildet werden. Man kann beliebig viele Abstraktionen anwenden, wodurch die Verhaltensmodelle immer gröber werden, d.h., sie weisen immer weniger irrelevante Unterscheidungen auf. Testvektoren liefern bei der Fertigung dieser Systeme den Maßstab für Qualitätskontrollen und damit bei Einhaltung dieser eine Gewährleistung, daß kein im Entwurfsprozeß spezifizierter Fehler vorliegt. Unter der „Fault-Model-Completeness-Assumption“ wird sogar ein fehlerfreies System garantiert, d.h., es weist exakt das intendierte Verhalten auf, das im Designprozeß spezifiziert wurde. Testvektoren haben nicht nur unter dem Aspekt der Qualitätssicherung große Bedeutung, sondern auch auf dem Gebiet der Lokalisation aufgetretener Fehler mittels Diagnose, indem durch sie zeit- und kosteneffizient das aktuell vorliegende Verhalten bestimmt werden kann. Testvektoren manuell zu erzeugen, ist bereits bei sehr kleinen technischen Systemen derart komplex, daß es wünschenswert ist, Testgenerierung durch einen Rechner zu automatisieren. Testvektoren werden durch Berechnung beobachtbarer Unterschiede abstrakter relationaler Verhaltensmodelle erzeugt. Man berechnet für jedes Verhalten, das vom zu testenden abweicht, die beobachtbaren Differenzmengen. In dieser Arbeit wird ein neuartiges Konzept für die Generierung von Testvektoren auf der Basis einer abstrakten (z.B. qualitativen) Modellierung technischer Systeme entwickelt und eine Implementierung beschrieben. Dieses Verfahren wurde implementiert, indem die verhaltensbeschreibenden Relationen als Binary Decision Diagrams (BDDs) repräsentiert und manipuliert wurden. Als Anwendungsproblem werden Relaisbaugruppen untersucht, wie sie unter anderem von der Hamburger Hochbahn AG eingesetzt werden (auch die Deutsche Bundesbahn setzt diese Art von Schaltungen in den meisten ihrer Stellwerke ein). Gang der Untersuchung: Im 1. Kapitel wird eine kurze Übersicht über das Gebiet der Testgenerierung und die wichtigsten Algorithmen gegeben. Die Grundlagen, die Testgenerierung in kontinuierlichen Systemen ermöglicht, werden in Kapitel 2 erläutert. Danach folgen im Kapitel 3 die von Struss [...]
Kaufen Sie hier:
Horizontale Tabs
Weitere E-Books zum Thema: Programmiersprachen - Softwareentwicklung
Shortcut-Tipps für ASP.NET-Profis
Die neue .NET-Version der Active Server Pages stellt eine Umgebung zur Entwicklung von Web-Applikationen im .NET-Framework bereit. Viele aus der Desktop-…
Shortcut-Tipps für ASP.NET-Profis
Die neue .NET-Version der Active Server Pages stellt eine Umgebung zur Entwicklung von Web-Applikationen im .NET-Framework bereit. Viele aus der Desktop-…
Shortcut-Tipps für ASP.NET-Profis
Die neue .NET-Version der Active Server Pages stellt eine Umgebung zur Entwicklung von Web-Applikationen im .NET-Framework bereit. Viele aus der Desktop-…
Mit der Version 5 erreicht PHP einen bemerkenswerten Reifegrad, der PHP zu einer festen Größe in der Welt der Webprogrammierung macht. Gerade die leichte Erlernbarkeit macht PHP zur idealen…
Die Informatik entwickelt sich in einer unglaublichen Geschwindigkeit. Häufig ist die Mathematik Grundlage von Neuerungen. Deshalb ist sie unverzichtbares Werkzeug jedes Informatikers und Pflichtfach…
Die Informatik entwickelt sich in einer unglaublichen Geschwindigkeit. Häufig ist die Mathematik Grundlage von Neuerungen. Deshalb ist sie unverzichtbares Werkzeug jedes Informatikers und Pflichtfach…
Die Informatik entwickelt sich in einer unglaublichen Geschwindigkeit. Häufig ist die Mathematik Grundlage von Neuerungen. Deshalb ist sie unverzichtbares Werkzeug jedes Informatikers und Pflichtfach…
3., aktualisierte Auflage. Inkl. kompletter Spiele-Engine.
DAS UMFASSENDE HANDBUCH ZUR 3D-SPIELEPROGRAMMIERUNG
- Behandelt alle wichtigen Techniken der Spieleentwicklung auf Basis von DirectX und C…
3., aktualisierte Auflage. Inkl. kompletter Spiele-Engine.
DAS UMFASSENDE HANDBUCH ZUR 3D-SPIELEPROGRAMMIERUNG
- Behandelt alle wichtigen Techniken der Spieleentwicklung auf Basis von DirectX und C…
3., aktualisierte Auflage. Inkl. kompletter Spiele-Engine.
DAS UMFASSENDE HANDBUCH ZUR 3D-SPIELEPROGRAMMIERUNG
- Behandelt alle wichtigen Techniken der Spieleentwicklung auf Basis von DirectX und C…
MENSCHEN. das magazin informiert über Themen, die das Zusammenleben von Menschen in der Gesellschaft bestimmen -und dies konsequent aus Perspektive der Betroffenen. Die Menschen, um die es geht, ...
Baumarkt enthält eine ausführliche jährliche Konjunkturanalyse des deutschen Baumarktes und stellt die wichtigsten Ergebnisse des abgelaufenen Baujahres in vielen Zahlen und Fakten zusammen. Auf ...
Informationsdienst für die Spielwarenbranche
Seit 1980 ist der „BRANCHENBRIEF INTERNATIONAL - Spielzeugbranche aktuell" der Informationsdienst der Spielwarenbranche, bekannt unter dem Kürzel ...
Das Grundeigentum - Zeitschrift für die gesamte Grundstücks-, Haus- und Wohnungswirtschaft. Für jeden, der sich gründlich und aktuell informieren will. Zu allen Fragen rund um die Immobilie. Mit ...
Technische Fachzeitschrift aus der Praxis für die Praxis in allen Bereichen des Handwerks und der Industrie.
“der praktiker“ ist die Fachzeitschrift für alle Bereiche der fügetechnischen ...
SPORT in BW (Württemberg) ist das offizielle Verbandsorgan des Württembergischen Landessportbund e.V. (WLSB) und Informationsmagazin für alle im Sport organisierten Mitglieder in Württemberg. ...
Zeitschrift für Vollstreckungs-, Zustellungs- und Kostenrecht
Die Deutsche Gerichtsvollzieher Zeitung (DGVZ) ist eine juristische Fachzeitschrift für das Vollstreckungs-, Zustellungs- und ...
Der "DSD – Der Sicherheitsdienst" ist das Magazin der Sicherheitswirtschaft. Es erscheint viermal jährlich und mit einer Auflage von 11.000 Exemplaren.
Der DSD informiert über aktuelle Themen ...
evangelische Beiträge zum Leben in Kirche und Gesellschaft
Die Evangelische Akademikerschaft in Deutschland ist Herausgeberin der Zeitschrift evangelische aspekte Sie erscheint viermal im Jahr. In ...
Die Flugzeuge der Bundeswehr, Die F-40 Reihe behandelt das eingesetzte Fluggerät der Bundeswehr seit dem Aufbau von Luftwaffe, Heer und Marine.
Jede Ausgabe befasst sich mit der genaue Entwicklungs- ...