SysML to UML model transformation for test generation purpose

Authors:
Jonathan Lasalle;Fabrice Bouquet;Bruno Legeard;Fabien Peureux
Affiliations:
Laboratoire d'Informatique de l'Université de Franche-Comté, Besançon, France;Laboratoire d'Informatique de l'Université de Franche-Comté, Besançon, France & Smartesting, Besançon, France;Laboratoire d'Informatique de l'Université de Franche-Comté, Besançon, France & Smartesting, Besançon, France;Laboratoire d'Informatique de l'Université de Franche-Comté, Besançon, France & Smartesting, Besançon, France
Venue:
ACM SIGSOFT Software Engineering Notes
Year:
2011

Citing 13
Cited 2

The category-partition method for specifying and generating fuctional tests

Communications of the ACM
The object constraint language: precise modeling with UML

The object constraint language: precise modeling with UML
Automating the Generation and Sequencing of Test Cases from Model-Based Specifications

FME '93 Proceedings of the First International Symposium of Formal Methods Europe on Industrial-Strength Formal Methods
Criteria for Generating Specification-Based Tests

ICECCS '99 Proceedings of the 5th International Conference on Engineering of Complex Computer Systems
Model Transformation: The Heart and Soul of Model-Driven Software Development

IEEE Software
Unified Modeling Language Reference Manual, The (2nd Edition)

Unified Modeling Language Reference Manual, The (2nd Edition)
Practical Model-Based Testing: A Tools Approach

Practical Model-Based Testing: A Tools Approach
A subset of precise UML for model-based testing

Proceedings of the 3rd international workshop on Advances in model-based testing
A test generation solution to automate software testing

Proceedings of the 3rd international workshop on Automation of software test
A Practical Guide to SysML: Systems Modeling Language

A Practical Guide to SysML: Systems Modeling Language
Editorial: Advancing test automation technology to meet the challenges of model-based software testing - Guest editors' introduction to the special section of the Third IEEE International Workshop on Automation of Software Test (AST 2008)

Information and Software Technology
A formalism for describing modeling transformations for verification

Proceedings of the 6th International Workshop on Model-Driven Engineering, Verification and Validation
Transforming models with ATL

MoDELS'05 Proceedings of the 2005 international conference on Satellite Events at the MoDELS

Conceptual design of object-oriented databases for fuzzy engineering information modeling

Integrated Computer-Aided Engineering
Extending engineering data model for web-based fuzzy information modeling

Integrated Computer-Aided Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

The work introduced in this paper is in line with an original Model-Based Testing approach by taking as input a SysML specification of a system under test and automatically translating it into an equivalent behavioural UML model. This generated UML model is finally used to derive test cases and executable test scripts. This test generation process is supported by an existing UML/OCL Model-Based Test generation tool. This paper focuses on the definition of the subset of SysML notation supported by this Model-Based Testing approach, and proposes rewriting rules to derive UML test model from SysML model