User: Guest  Login
Original title:
Advances in Model-Based Testing of Programmable Controllers: Automatic Test Generation using Design-to-Test and Plant Features 
Translated title:
Fortschritte im modellbasierten Testen von programmierbaren Steuergeräten: Automatische Testgenerierung mithilfe von Design-to-Test und Plant Features 
Year:
2019 
Document type:
Dissertation 
Institution:
Fakultät für Maschinenwesen 
Advisor:
Provost, Julien (Prof. Dr.) 
Referee:
Provost, Julien (Prof. Dr.); Frey, Georg (Prof. Dr.) 
Language:
en 
Subject group:
MAS Maschinenbau 
TUM classification:
MSR 000d; DAT 000d 
Abstract:
In this thesis, two novel approaches aiming at increasing the effectiveness and efficiency during the model-based testing of programmable controllers in automation systems are presented: design-to-test (DTT) and plant features (PFs). These two approaches deal with black-box conformance testing, where the specifications and implementations can be modeled as finite state machines (FSMs). Given an automation system, the testing objective is to validate whether the implemented controller confor...    »
 
Translated abstract:
In dieser Arbeit werden zwei innovative Ansätze vorgestellt, die die Effektivität und Effizienz modellbasierten Testens für programmierbare Steuergeräte in Automatisierungssystemen erhöhen sollen: Design-to-Test (DTT, dt. Entwurf-für-Testen) und Plant Features (PFs, dt. Anlageneigenschaften). Die beiden Ansätze befassen sich mit Black-Box-Konformitätstests für programmierbare Steuergeräte, wobei die Spezifikationen und Implementierungen als endliche Automaten modelliert werden können. Bei e...    »
 
Oral examination:
30.07.2019 
File size:
1471025 bytes 
Pages:
141 
Last change:
22.08.2019