Open Daily: 10am - 10pm | Alley door pickup 10am - 7pm 3038 Hennepin Ave Minneapolis, MN
612-822-4611

  • Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Automatische Testgenerierung auf der Basis einer qualitativen Modellierung physikalischer Systeme

Automatische Testgenerierung auf der Basis einer qualitativen Modellierung physikalischer Systeme

Inderst, Reiner

Paperback

ApplicationsProgramming

ISBN10: 3838606841
ISBN13: 9783838606842
Publisher: Diplom.de
Published: Feb 20 1998
Pages: 96
Weight: 0.30
Height: 0.23 Width: 5.83 Depth: 8.27
Language: German
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 Rel

Also in

Applications

View All