Campusleben_HAW_Hamburg_37

Lehrende_HAW_Hamburg_8

Studierende_HAW_Hamburg_4

Informationen für:

 
| zurück... |

Prof. Dr. Zhen Ru Dai

Fakultät Technik und Informatik
Department Informatik
Professorin für Software Engineering und System Engineering

Raum 786b
T +49.40.428 75-8153
dai(@)informatik.haw-hamburg.de

Ämter/Gremien

Öffentlichkeitsbeauftragte des Department Informatik

Lehrgebiete/Lehrfächer

     

  • Software Engineering in der TI und Mechatronik
  • Programmierung C bei Mechatronik
  • Certified Tester Wahlpflichtfach
  • Certified TTCN-3 Wahlpflichtfach
  • Projekt Testen von Mobilen Anwendungen
  • Master Seminare
  • div. Seminare
  •  

Schwerpunktthemen/Kernkompetenzen

     

  • Software and System Engineering
  • Modell-basierte System- und Test- Entwicklung
  • Test-Driven Development
  • Qualitätsmanagement und Testen
  • Prozessmanagement
  • Tool Collaboration
  •  

Forschungsprojekte/-gebiete

Konsortium Mitglied der OMG: Standardisierung von UML Testing Profile

Betreute Bachelor- und Diplomarbeitsthemen

     

  • Traceability von Use cases -> Design -> Implementierung -> Tests
  • Realisierung und Anwendung eines UML Profiles mit Eclipse
  • Web Tests, Mobile App Tests, Protokoll Tests etc.
  • Transformationen von System Model zu Test Model
  • Code Generierung aus Modellen
  • Realisierung eines Work-Flow Engines
  • Heuristiken in Qualitätssicherung
  • Prozess Optimierungs Methoden
  • etc.
  •  

Bei Interesse bitte nachfragen

Publikationen

Books and Journals:
Paul Baker, Zhen Ru Dai, Jens Grabowski, Oystein Haugen, Ina Schieferdecker, Clay Williams. Model-Driven Testing, Using the UML Testing Profile. ISBN -9783-5407-2562-6, Springer Verlag, 2007.
 
Zhen Ru Dai. An Approach to Model-Driven Testing - Functional and Real-Time Testing with UML 2.0, U2TP and TTCN-3. PhD Thesis, Fraunhofer Verlag IRB ISBN: 3-8167-7237-4, 2006.
 
Zhen Ru Dai. UML 2.0 Testing Profile In Book Model-Based Testing of Reactive Systems: Advanced Lectures. Editors: Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner. Lecture Notes in Computer Science, Publisher: Springer-Verlag GmbH. ISBN: 3-540-26278-4, Chapter 17. 2005.
 
Zhen Ru Dai, Jens Grabowski, Helmut Neukirchen, Holger Pals. Model-based testing with UML applied to a roaming algorithm for Bluetooth devices. Published in Journal of Zhejiang University SCIENCE, ISSN 1009-3095, China, November 2004.
 
Zhen Ru Dai. TTCN Test Suite Generation - Applied to a 3rd Generation Mobile Network Protocol. University of Luebeck, Diploma Thesis, 2000.
 
Zhen Ru Dai. Eine Formale Spezifikation des Schweizer Telefonnetzes. University of Luebeck, Semester Work, 1998.

Invited Talks and Tutorials:
Zhen Ru Dai. The Role of Models for Verification and Validation (V&V) with UML Testing Profile. CSTEP 2013, Coimbra, Portugal, 2013
 
Zhen Ru Dai. Domain-Specific Languages and their Impact on Testing Technologies. Keynote Presentation on DOSTA Workshop of ESEC/FSE 2007, Dubrovnik Croatia, 2007.
 
Zhen Ru Dai. Improving Software Quality with Model-Based Testing: From Design to Test Execution with Models. Invited talk by Microsoft Research Redmond, March 2007.
 
Ina Schieferdecker, Zhen Ru Dai. The UML Testing Profile Tutorial. Tutorial on 11th SDL Forum 2003: System Design, Stuttgart, July 2003.

Conference and Workshop Papers:
Marc-Florian Wendland, Andreas Ho mann, Alessandra Bagnato, Etienne Brosse, Markus Schacher, Tao Yue, Shaukat Ali, and Zhen Ru Dai. How the UML Testing Pro le Supports Risk-Based Testing. In Proceedings of ISREE 2014, The 25th IEEE International Symposium of Software Reliability Engineering, Naples, November 2014
 
Shaukat Ali, Alessandra Bagnato, Etienne Brosse, Zhen Ru Dai, Jon Hagar, Andreas Ho mann, Markus Schacher, Ina Schieferdecker, Marc- Florian Wendland, and Tao Yue. Towards UML Testing Pro le 2. In Proceedings ETSI User Conference on Advanced Automated Testing (UCAAT), Munich, September 2014.
 
S. Alekseev, M. Koeleman, Z. R. Dai, A. Hoffmann, A. Rennoch. Priority-Based Test-Modeling, The 20th International Conference on Software and Systems Engineering and Their Applications, DOSTA’07, Paris, 2007.
 
Z.R. Dai, J. Zander-Nowicka, I. Schieferdecker, A. Vouffo. Test Design Patterns for Embedded Systems. The 10th International Conference on Quality Engineering in Software Technology, CONQUEST’07, Potsdam, Germany, 2007.
 
S. Alekseev, P. Tollkühn, P. Palaga, Z.R. Dai, A. Hoffmann, A. Rennoch, I. Schieferdecker. Reuse of Classification Tree Models for Complex Software Projects. The 10th International Conference on Quality Engineering in Software Technology, QONQUEST’07, Potsdam, Germany, 2007.
 
S. Alekseev, P. Tollkühn, Z.R. Dai, A. Hoffmann, A. Rennoch, I. Schieferdecker. Testing Customizable Software for Telecommunication Services. The 11th International Conference on Intelligence in service delivery Networks, Bordeaux, France, 2007.
 
Zhen Ru Dai. Harmonizing System Development and Test Development with MDA. OMG’s First Software Assurance Workshop: Working Together for Confidence. Washington DC, USA, March 2007.
 
M. Busch, Z. R. Dai, R. Chaparadza, A. Hoffmann, L. Lacmene, T. Ngwangwen, G. C. Ndem, H. Ogawa, D. Serbanescu, I. Schieferdecker, J. Zander-Nowicka. Model Transformer for Test Generation from Test Models, CONQUEST’06, 9th International Conference on Quality Engineering in Software Technology, September 2006.
 
R.Chaparadza, M. Busch, Z.R. Dai, A. Hoffman, L. Lacmene, T. Ngwangwen, G. C. Ndem, D. Serbanescu, I. Schieferdecker, J. Zander-Nowicka. Transformations: UML2 System Models to U2TP models, U2TP models TTCN-3 models and, TTCN-3 Code Generation and Execution. ECMDA workshop on Integration of Model Driven Development and Model Driven Testing, Spain, 2006.
 
Zhen Ru Dai, Peter Deussen, Maik Busch, Laurette Lacmene Pianta, Titus Ngwengwen, Jens Herrmann, Michael Schmidt. Automatic Test Data Generation for TTCN-3 with CTE. Proceedings of ICSSEA, Paris, November 2005.
 
Justyna Zander-Nowicka, Zhen Ru Dai, Ina Schieferdecker. Model Driven Testing of Real-Time Embedded Systems - From Object Oriented towards Function Oriented Development. Presentation at OMER3, Paderborn, October 2005.
 
Zhen Ru Dai. UML 2.0 Testing Profile. In Book Model-Based Testing of Reactive Systems: Advanced Lectures. Editors: Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner. Lecture Notes in Computer Science, Publisher: Springer-Verlag GmbH. ISBN: 3-540-26278-4, Chapter 17. 2005.
 
Ina Schieferdecker, Hajo Eichler, Zhen Ru Dai, Mang Li, Wolfram Kroll. The TTCN-3 Metamodel - A Basis for Tool Integration. Proceedings of TTCN-3 User Conference, T3UC2005, June 2005.
 
Justyna Zander, Zhen Ru Dai, Ina Schieferdecker, George Din. From U2TP Models to Executable Tests with TTCN-3 - An Approach to Model Driven Testing. Proceedings of TestCom2005, Montreal May 2005.
 
Zhen Ru Dai, Jens Grabowski, Helmut Neukirchen, Holger Pals. Model-based testing with UML applied to a roaming algorithm for Bluetooth devices. Journal of Zhejiang University SCIENCE, ISSN 1009-3095, China, November 2004.
 
Paul Baker, Zhen Ru Dai, Jens Grabowski, Oystein Haugen, Eric Samuelsson, Ina Schieferdecker, Clay E. Williams. The UML 2.0 Testing Profile. Proceedings of the ’8th Conference on Quality Engineering in Software Technology 2004’ (CONQUEST 2004) in Nuremberg (Germany), September 22-24, 2004 , ASQF e.V., Erlangen, September 2004, 181-189 (ISBN 3-9809145-1-8).
 
Zhen Ru Dai. Model-Driven Testing with UML 2.0. Proceedings of Second European Workshop on Model Driven Architecture (MDA) EWMDA, September 2004, Canterbury, England.
 
Zhen Ru Dai, Ina Schieferdecker. Time Concepts For UML 2.0 Based Testing. Proceedings of Workshop on the usage of the UML profile for Scheduling, Performance and Time, SIVOES, May 2004, Toronto, Canada.
 
Helmut Neukirchen, Zhen Ru Dai, Jens Grabowski. Communication Patterns for Expressing Real-Time Requirements Using MSC and their Application to Testing. Proceedings of Testing of Communicating Systems. Proceedings of the 16th IFIP International Conference on Testing of Communicating Systems (TestCom2004), Oxford, United Kingdom, March 2004. Lecture Notes in Computer Science (LNCS) 2978, Springer, March 2004
 
Zhen Ru Dai, Jens Grabowski, Helmut Neukirchen, Holger Pals. From Design to Test – Applied to a Roaming Algorithm for Bluetooth Devices. Next Generation Testing for Next Generation Networks. The 16th IFIP International Conference on Testing of Communicating Systems St Anne’s College, Oxford, United Kingdom. TestCom 2004, March 2004.
 
Holger Pals, Zhen Ru Dai, Jens Grabowski, Helmut Neukirchen. UML-Based Modeling of Roaming with Bluetooth Devices. First Hangzhou-Luebeck Workshop on Software Engineering HL’03, November 2003.
 
Zhen Ru Dai, Jens Grabowski, Helmut Neukirchen Holger Pals. UML-Based Testing of Roaming with Bluetooth Devices. First Hangzhou-Luebeck Workshop on Software Engineering HL’03, November 2003.
 
Ina Schieferdecker, Zhen Ru Dai. The UML Testing Profile Tutorial. Tutorial on 11th SDL Forum 2003: System Design, Stuttgart, July 2003.
 
Ina Schieferdecker, Zhen Ru Dai, Jens Grabowski, Axel Rennoch. The UML 2.0 Testing Profile and its Relation to TTCN-3. Proceedings of Testcom 2003: Next Generation Testing for Next Generation Networks – The IFIP 15th InternationalConference on Testing of Communicating Systems, Lecture Notes in Computer Science (LNCS), Springer, May 2003.
 
Zhen Ru Dai, Jens Grabowski, Helmut Neukirchen. TIMEDTTCN-3 Based Graphical Real-Time Test Specification. Proceedings of Testcom 2003: Next Generation Testing for Next Generation Networks – The IFIP 15th International Conference on Testing of Communicating Systems, Lecture Notes in Computer Science (LNCS), Springer, May 2003.
 
Zhen Ru Dai, Jens Grabowski, and Helmut Neukirchen. Timed TTCN-3 – A Real-Time Extension for TTCN-3. Proceeding of TestCom 2002: Testing Internet Technologies and Services – The IFIP 14th International Conference on Testing of Communicating Systems March, 19th - 22nd, 2002, Berlin, Kluwer Academic Publishers, 2002.
 
Zhen Ru Dai, Jens Grabowski, Helmut Neukirchen. Timed TTCN-3 – A Realtime extension for TTCN-3. SIIM Technical Report SIIM-TR-A-01-14, Schriftenreihe der Institute fuer Informatik/Mathematik, Medical University of Luebeck, Germany, November 2001.
 
Zhen Ru Dai, Jens Grabowski, Helmut Neukirchen. Real-Time Test Specification with TTCN-3. Proceedings of FBT’01, Bruchsal, Germany, June 2001.
 
Jens Grabowski, Rudolf Scheurer, Zhen Ru Dai, Dieter Hogrefe: Applying SAMSTAG to the B-ISDN protocol SSCOP. Proceeding of Testing of Communicating Systems. Volume 10, Chapman & Hall, 1997.
 
Jens Grabowski, Rudolph Scheurer, Zhen Ru Dai, Dieter Hogrefe: Applying SAMSTAG to the B-ISDN Protocol SSCOP - Technical Description and TTCN Testsuite. Technical report no. A-97-01, Medical Univ. of Luebeck, Schriftenreihe der Institute fuer Mathematik/Informatik, Luebeck, Germany, 1997.

Professionelle Mitgliedschaften

     

  • OMG Mitglied
  • ISO Mitglied
  • ETSI Mitglied
  • GI Mitglied
  •  

Letzte Änderung: 16.04.13

An die Redaktion