scholarly journals Model-Driven Testing Approach Based on UML Sequence Diagram

2011 ◽  
Vol 44 (1) ◽  
pp. 85-90
Author(s):  
Jurijs Grigorjevs
Keyword(s):  
Model Transformation ◽  
Sequence Diagram ◽  
Model Generation ◽  
Test Cases ◽  
Testing Model ◽  
Model Driven ◽  
Transformation Rules ◽  
Model Driven Testing ◽  
Testing Approach ◽  
Uml Sequence Diagram

Model-Driven Testing Approach Based on UML Sequence Diagram This paper is devoted to model-driven testing technique of testing model generation from UML sequence diagram to UML Testing profile. The article discusses principles of model transformation and shows practical approach to specific model generation from another one. The idea of such transformation is to generate test cases from sequence diagram of the system. Described transformation rules are focused on timing aspect verification and the goal of generated test cases is to cover successful as well as unsuccessful system behaviour. Presented example of model transformation is based on a sequence diagram XMI representation, which firstly is pre-processed and moved into data base structures, and then transformation rules applied to generate testing model from data describing sequence diagram.

scholarly journals An UML Based Performance Evaluation of Real-Time Systems Using Timed Petri Net

Computers ◽  
2020 ◽  
Vol 9 (4) ◽  
pp. 94
Author(s):  
Tanuja Shailesh ◽  
Ashalatha Nayak ◽  
Devi Prasad
Keyword(s):  
Performance Evaluation ◽  
Performance Analysis ◽  
Real Time ◽  
Petri Net ◽  
Early Stage ◽  
Sequence Diagram ◽  
Real Time Systems ◽  
Transformation Rules ◽  
Uml Sequence Diagram ◽  
Time Systems

Performance is a critical non-functional parameter for real-time systems and performance analysis is an important task making it more challenging for complex real-time systems. Mostly performance analysis is performed after the system development but an early stage analysis and validation of performance using system models can improve the system quality. In this paper, we present an early stage automated performance evaluation methodology to analyse system performance using the UML sequence diagram model annotated with modeling and analysis of real-time and embedded systems (MARTE) profile. MARTE offers a performance domain sub-profile that is used for representing real-time system properties essential for performance evaluation. In this paper, a transformation technique and transformation rules are proposed to map the UML sequence diagram model into a Generalized Stochastic Timed Petri net model. All the transformation rules are implemented using a metamodel based approach and Atlas Transformation Language (ATL). A case study from the manufacturing domain a Kanban system is used for validating the proposed technique.

scholarly journals Modeling Principles of the Sequence Diagram and its Application in MDA Software Paradigm

2012 ◽  
Vol 6-7 ◽  
pp. 15-19
Author(s):  
De Ren Yang ◽  
Min Liu ◽  
Zhao Hua Gu
Keyword(s):  
Software Design ◽  
Model Transformation ◽  
Object Oriented ◽  
Object Oriented Programming ◽  
Sequence Diagram ◽  
Software Modeling ◽  
Model Driven Architecture ◽  
Model Driven ◽  
Design Object ◽  
Modeling Principles

The sequence diagram can be used to design object-oriented software; however, its modeling principles are lack of research. In this paper, its application in software design was studied, and its inherent linkage with object-oriented programming was discussed, and the interactive mechanism among its elements was explored. The modeling principles for it were proposed; and its application in Model Driven Architecture (MDA) software paradigm was analyzed; and finally the model represented with it, especially the transformation and traceability of models in MDA software paradigm were analyzed. This research is useful to optimize software modeling and to automate model transformation in MDA software paradigm.

Evolution in Model-Driven Software Product-Line Architectures

2009 ◽  
pp. 1280-1312 ◽  
Author(s):  
Gan Deng ◽  
Jeff Gray ◽  
Douglas C. Schmidt ◽  
Yuehua Lin ◽  
Aniruddha Gokhale ◽  
...  
Keyword(s):  
Model Transformation ◽  
Software Product Line ◽  
Product Line ◽  
Domain Model ◽  
Modeling Language ◽  
Model Driven ◽  
Transformation Rules ◽  
Domain Evolution ◽  
Software Product

This chapter describes our approach to modeldriven engineering (MDE)-based product line architectures (PLAs) and presents a solution to address the domain evolution problem. We use a case study of a representative software-intensive system from the distributed real-time embedded (DRE) systems domain to describe key challenges when facing domain evolution and how we can evolve PLAs systematically and minimize human intervention. The approach uses a mature metamodeling tool to define a modeling language in the representative DRE domain, and applies a model transformation tool to specify model-tomodel transformation rules that precisely define metamodel and domain model changes. Our approach automates many tedious, time consuming, and error-prone tasks of model-to-model transformation, thus significantly reducing the complexity of PLA evolution.

Fault-Based Testing

2007 ◽  
pp. 1-27
Author(s):  
Marisa Analía Sanchez
Keyword(s):  
Web Applications ◽  
Fault Tree Analysis ◽  
Test Cases ◽  
System Behavior ◽  
Tree Analysis ◽  
Testing Model ◽  
Duration Calculus ◽  
Comprehensive Method ◽  
State Chart ◽  
Testing Approach

In this chapter, we review the state of the art and practice in fault-based testing. Based on the analysis and the reviews, we propose a comprehensive method for testing and present its main elements. Traditional fault-based testing is concerned with syntactic errors. These errors represent only a small portion of possible errors. Our testing approach is not restricted to these errors. We propose to use fault-tree analysis to determine how certain undesirable states can occur in a system. The results of the analysis expressed in terms of duration calculus formulas are integrated with state chart-based specifications. As a result, we obtain a testing model that provides a representation of the way the system behavior can be compromised by failures or abnormal conditions or interactions. In this way, we can automatically derive fault-based test cases. The example presented in this work illustrates the kinds of problems that arise in Web applications.

Evolution in Model-Driven Software Product-Line Architectures

2009 ◽  
pp. 102-132 ◽  
Author(s):  
Gan Deng ◽  
Douglas C. Schmidt ◽  
Aniruddha Gokhale ◽  
Jeff Gray ◽  
Yuehua Lin ◽  
...  
Keyword(s):  
Model Transformation ◽  
Product Line ◽  
Domain Model ◽  
Modeling Language ◽  
Model Driven Engineering ◽  
Model Driven ◽  
Transformation Rules ◽  
Domain Evolution ◽  
Software Product

This chapter describes our approach to model-driven engineering (MDE)-based product line architectures (PLAs) and presents a solution to address the domain evolution problem. We use a case study of a representative software-intensive system from the distributed real-time embedded (DRE) systems domain to describe key challenges when facing domain evolution and how we can evolve PLAs systematically and minimize human intervention. The approach uses a mature metamodeling tool to define a modeling language in the representative DRE domain, and applies a model transformation tool to specify modelto- model transformation rules that precisely define metamodel and domain model changes. Our approach automates many tedious, time consuming, and error-prone tasks of model-to-model transformation, thus significantly reducing the complexity of PLA evolution.

A Contribution to the Specification of Model Transformations with Metamodel Matching Approach

2017 ◽  
Vol 8 (3) ◽  
pp. 1-23 ◽  
Author(s):  
Karima Berramla ◽  
El Abbassia Deba ◽  
Abou El Hassen Benyamina ◽  
Djilali Benhamamouch
Keyword(s):  
Model Transformation ◽  
Model Transformations ◽  
Abstract Representation ◽  
Model Driven ◽  
Transformation Rules ◽  
Transformation Language ◽  
Matching Technique ◽  
Concrete Syntax ◽  
Abstract Level ◽  
Use Of Models

Model-driven engineering (MDE) is a paradigm based on the intensive use of models throughout the life cycle of an application, where model transformation plays an important role. Various model transformation approaches have been proposed, but developers are still faced with the complexity of model transformation specifications. Most of these approaches are based on the specification of transformation rules with a concrete syntax at a low level where the developer must master the transformation language. The question at this level is how to generate a model transformation specification that must be at a very abstract level, independent of any transformation language. This article aims to propose an approach to generate an abstract representation of transformation rules and these are used to produce a source code written in a chosen transformation language. The transformation rules are calculated semi-automatically by using a matching technique on elements of source and target metamodels. This idea is illustrated by different transformation examples.

Generation of test cases using UML models

2014 ◽  
Vol 13 (7) ◽  
pp. 4671-4674 ◽  
Author(s):  
Gurpreet Singh ◽  
Rasbir Singh
Keyword(s):  
Software Development ◽  
Code Generation ◽  
Dynamic Testing ◽  
Sequence Diagram ◽  
Test Case ◽  
Test Cases ◽  
Sequence Diagrams ◽  
State Chart ◽  
Uml Sequence Diagram ◽  
Uml Models

Software Testing plays an important role in Software development because it can minimize the development cost. UML is widely used in the software development, there consists of the designing and coding of the software. Designing phase is done with the help of the UML models, which consists of the sequence diagrams, activity diagrams, use case diagrams, state chart diagrams etc. After designing of the system, the next task is coding. Since the software development is time and human resource consuming, the reduction of consumption is done with the help of the code generation automatically. This work mainly focus on the UML sequence diagram and state chart diagram as the model. We Propose a Technique for Test Case Generation using UML Models. UML models give a lot of  information that should not be ignored in testing. An innovative approach of generating test cases from the combination of UML design diagrams has been discussed in this paper. Present work used an approach where sequence diagram and state chart diagram has been used to generate test cases. The test cases thus generated are suitable for dynamic testing of system.

Sign in / Sign up

Export Citation Format

Share Document