Benutzer: Gast  Login
Originaltitel:
Inkrementelle Entwicklung von Verhaltensmodellen zum Test von reaktiven Systemen 
Übersetzter Titel:
Incremental Development of Behaviour Models for Testing Reactive Systems 
Jahr:
2005 
Dokumenttyp:
Dissertation 
Institution:
Fakultät für Informatik 
Betreuer:
Broy, Manfred (Prof. Dr. Dr. h.c.) 
Gutachter:
Broy, Manfred (Prof. Dr. Dr. h.c.); Veith, Helmut (Prof. Dr.) 
Format:
Text 
Sprache:
de 
Fachgebiet:
DAT Datenverarbeitung, Informatik 
Stichworte:
modellbasiertes Testen; inkrementelle Entwicklung; Verhaltensmodelle; Refactoring 
Übersetzte Stichworte:
model-based testing; incremental development; behaviour models; refactoring 
Kurzfassung:
Testen bezeichnet Aktivitäten mit dem Ziel, die Übereinstimmung oder die Abweichung des Soll- und Istverhaltens eines Systems nachzuweisen. Das Sollverhalten wird durch Testfälle codiert, die neben den Eingaben für das zu testende System auch die erwarteten Ausgaben spezifizieren. Nach Applikation der Eingaben an das zu testende System werden die Ausgaben des Systems mit den erwarteten Ausgaben des Testfalls verglichen. Eine viel versprechende Testmethodik ist das modellbasierte Testen, das Nach...    »
 
Übersetzte Kurzfassung:
Testing denotes activities that aim at proving the conformance or the deviation of a system’s intended and actual behaviour. The intended behaviour is coded by test cases which specify in addition to the inputs the expected outputs of the system under test. After applying the inputs to the system under test the actual outputs of the system are compared with the expected outputs of the test case. Model-based testing is a promising method for testing which overcomes the drawbacks defining test cas...    »
 
Veröffentlichung:
Universitätsbibliothek der Technischen Universität München 
Mündliche Prüfung:
30.06.2005 
Dateigröße:
1754646 bytes 
Seiten:
226 
Letzte Änderung:
09.07.2007