Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Fakult at II --Department f ur Informatik Diplomarbeit
 

Summary: Fakult˜ at II -- Department f˜ ur Informatik
Diplomarbeit
Model­Checking von
Phasen­Event­Automaten bez˜ uglich
Duration Calculus Formeln mittels
Testautomaten
Vorgelegt von: Roland Meyer
Erstpr˜ ufer: Prof. Dr. Ernst­R˜ udiger Olderog
Zweitpr˜ ufer: Dipl.­Inform. Jochen Hoenicke
Oldenburg, den 9. August 2005

ii

Zusammenfassung
Der Nachweis des korrekten Verhaltens von Software­ und Hardwaresystemen ist zu
einem integralen Bestandteil des Entwicklungsprozesses geworden. F˜ ur große Systeme
wird die Methode des Testens exemplarischer Systemabl˜ aufe aufgrund der großen Menge
m˜ oglichen Verhaltens ine#zient. Model­Checking ist der automatisierte Nachweis gefor­
derter Eigenschaften. Dabei wird jedes m˜ ogliche Systemverhalten betrachtet. In dieser
Arbeit wird ein Model­Checking Verfahren entwickelt, das in der Intervall­basierten Lo­

  

Source: Appelrath, Hans-Jürgen - Department für Informatik, Carl von Ossietzky Universität Oldenburg

 

Collections: Computer Technologies and Information Sciences