Benutzer: Gast  Login
Originaltitel:
Advances in Model-Based Testing of Programmable Controllers: Automatic Test Generation using Design-to-Test and Plant Features
Übersetzter Titel:
Fortschritte im modellbasierten Testen von programmierbaren Steuergeräten: Automatische Testgenerierung mithilfe von Design-to-Test und Plant Features
Autor:
Ma, Canlong
Jahr:
2019
Dokumenttyp:
Dissertation
Fakultät/School:
Fakultät für Maschinenwesen
Betreuer:
Provost, Julien (Prof. Dr.)
Gutachter:
Provost, Julien (Prof. Dr.); Frey, Georg (Prof. Dr.)
Sprache:
en
Fachgebiet:
MAS Maschinenbau
TU-Systematik:
MSR 000d; DAT 000d
Kurzfassung:
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 conforms...     »
Übersetzte Kurzfassung:
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 ein...     »
WWW:
https://mediatum.ub.tum.de/?id=1464547
Eingereicht am:
06.12.2018
Mündliche Prüfung:
30.07.2019
Dateigröße:
1471025 bytes
Seiten:
141
Urn (Zitierfähige URL):
https://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:91-diss-20190730-1464547-1-2
Letzte Änderung:
22.08.2019
 BibTeX