
Zhen Ru DaiHAW Hamburg | HAW · Department of Computer Science
Zhen Ru Dai
PhD
About
41
Publications
5,145
Reads
How we measure 'reads'
A 'read' is counted each time someone views a publication summary (such as the title, abstract, and list of authors), clicks on a figure, or views or downloads the full-text. Learn more
536
Citations
Introduction
Additional affiliations
January 2003 - December 2008
Position
- University of Applied Science
April 2003 - December 2008
Publications
Publications (41)
The increasing complexity of software-intensive systems raises a lot of challenges demanding new techniques for ensuring their overall quality. The risk of not meeting the expected level of quality has negative impact on business, customers, environment and people, especially in the context of safety/security-critical systems. The importance of ris...
Written by the original members of an industry standardization group, this book shows you how to use UML to test complex software systems. It is the definitive reference for the only UML-based test specification language, written by the creators of that language. It is supported by an Internet site that provides information on the latest tools and...
Das europäische Forschungsprojekt TT-Medal wurde in der Zeit vom 1.10.2003 bis 31.12.2005 finanziell gefördert durch das Bundesministerium für Bildung und Forschung. Dieser Bericht beschreibt den Projektverlauf und fasst insbesondere die erreichten Ergebnisse und den Nutzen bei den beteiligten deutschen Projektpartner zusammen.
The approach towards system engineering according to Model-Driven Architectures (MDA) with code generation derived from model
implies also an increased need for research on automation of the test generation process. This paper presents an approach
to derive executable tests from UML 2.0 Testing Profile diagrams automatically. In particular, an appr...
The Unified Modeling Language (UML) is a visual language to support the design and development of complex object-oriented
systems [RJB99]. While UML models focus primarily on the definition of system structure and behavior, they provide only limited
means for describing test objectives and test procedures. In 2001, a consortium was built by the Obj...
With the growing system complexity the need for solid testing increases. The Test and Testing Control Notation, version 3 (TTCN-3) is a standardized testing language to ease the specification of test suites. Test data play an important role during test execution in order to explore all aspects of the system under test. Although TTCN-3 supports good...
In late 2001, the Object Management Group issued a Request for Proposal to develop a testing profile for UML 2.0. In June 2003, the work on the UML 2.0 Testing Profile was finally adopted by the OMG. Since March 2004, it has become an official standard of the OMG. The UML 2.0 Testing Profile provides support for UML based model-driven testing. This...
This paper introduces real-time communication patterns (RTC-patterns) for capturing real-time requirements of communication systems. RTC-patterns for some of the most common real-time require- ments are presented. They are formalized by using Message Sequence Charts (MSCs). The application of RTC-patterns to testing is explained by an example. The...
Abstract The UML Testing Pro le provides support for UML based model - driven testing This paper introduces a methodology of how to use the testing pro le in order to modify and extend an existing UML design model for test issues As a case study, a new roaming algorithm for bluetooth devices has been developed at the University of L?ubeck , is mode...
UML models focus primarily on the definition of system structure and behaviour, but provide only limited means for describing test objectives and test procedures. However, with the approach towards system engineering with automated code generation, the need for solid conformance testing has increased. In June 2001, an OMG Request For Proposal (RFP)...
The textual Testing and Test Control Notation (TTCN-3) is frequently used in combination with Message Sequence Chart (MSC) and the MSC-based Graphical Presentation Format for TTCN-3 (GFT). Both, MSC and GFT allow an automatic generation of TTCN-3 test case descriptions. TIMEDTTCN-3 is an extension of TTCN-3 for testing real-time properties and has...
The textual Testing and Test Control Notation (TTCN-3) is frequently used in combination with Message Sequence Chart (MSC) and the MSC-based Graphical Presentation Format for TTCN-3 (GFT). Both, MSC and GFT allow an automatic generation of TTCN-3 test case descriptions.
TimedTTCN-3 is an extension of TTCN-3 for testing real-time properties and has...
The Testing and Test Control Notation (TTCN-3) was originally developed as successor of the second edition of the Tree and Tabular Combined Notation. TTCN-3 is a standardized test specification and implementation language to test functional behaviour of distributed systems. TIMEDTTCN-3 is a real-time extension for TTCN-3 that supports the test and...
In this paper we propose an extension to the third edition of the Tree and Tabular Combined Notation (TTCN-3) to support realtime testing. Our approach is based on the separation of functional and real-time requirements in the test specification. Functional requirements are defined in form of stimuli and expected responses, i.e., in form of functio...
The test generation method SAMSTAG (SDL and MSC based test case generation) has been applied successfully to the B-ISDN ATM Adaption Layer protocol SSCOP (Service Specific Connection Oriented Protocol). For approximately 70% of the identified test purposes complete TTCN test cases have been generated automatically. In this paper we describe the exp...
The test generation method SaMsTaG (SDL and MSC based test case generation) has been applied successfully to the B-ISDN ATM Adaption Layer protocol SSCOP (Service Specific Connection Oriented Protocol). For approximately 70% of the identified test purposes complete TTCN test cases have been generated automatically. In the first part of this technic...
this paper we describe the experiment, discuss the results and explain how further improvements of the test generation process can be achieved. 1. Introduction
The test generation method SaMsTaG (SDL and MSC based test case generation) has been applied successfully to the B-ISDN ATM Adaption Layer protocol SSCOP (Service Specific Connection Oriented Protocol). For approximately 70% of the identified test purposes complete TTCN test cases have been generated automatically. In the first part of this technic...
The UML Testing Profile provides support for UML based model-driven testing. This paper introduces a methodology of how to
use the testing profile in order to modify and extend an existing UML design model for test issues. As a case study, a new
roaming algorithm for bluetooth devices has been developed at the University of Lübeck, is modelled usin...
Bluetooth is a standard for wireless personal area net-works. The current standard does not support roaming be-tween different bluetooth networks. In this paper, we will in-troduce potential roaming techniques for data transfer sce-narios using Bluetooth hardware devices and present a cor-responding UML model.
The early integration of test development into the system development process becomes more and more important. By doing so, design mistakes and implemen- tation faults can be detected in an early stage of the system design and imple- mentation process, i.e. before the newly developed system is shipped to the cus- tomer. This allows for reducing the...
Test suites for embedded systems are typically created from scratch using dif- ferent, often inadequate methods. In consequence, industry branches dealing with software-intensive embedded systems have to cope with quality problems, even though test processes are particularly time-consuming and costly. Based on an evolving model-based testing method...
In late 2001, the Object Management Group issued a Re- quest for Proposal to develop a testing profile for UML 2.0. In June 2003, the work of UML Testing Profile has finally been adopted by the OMG. The Testing Profile provides support for UML based model-driven testing. This paper introduces a methodol- ogy of how to use the testing profile in ord...
The Model-Driven Architecture (MDA) aims at better software engineering by enhancing the productivity, portability and interoperability of software. To guarantee the quality of the resulting software systems, testing plays a decisive role. In this work, an approach to model-driven testing based on the idea of the MDA framework is presented. It intr...