SysML to UML model transformation for test generation purpose-Reference-Cited by-同舟云学术

SysML to UML model transformation for test generation purpose

Published:2011-01-24 Issue:1 Volume:36 Page:1-8
ISSN:0163-5948
Container-title:ACM SIGSOFT Software Engineering Notes
language:en
Short-container-title:SIGSOFT Softw. Eng. Notes

Author:

Lasalle Jonathan¹,Bouquet Fabrice²,Legeard Bruno²,Peureux Fabien²

Affiliation:

1. Laboratoire d'Informatique de l'Université de Franche-Comté, Besançon, France

2. Laboratoire d'Informatique de l'Université de Franche-Comté, Besançon, France & Smartesting, Besançon, France

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

Publisher

Association for Computing Machinery (ACM)

Link

https://dl.acm.org/doi/pdf/10.1145/1921532.1921560

Reference18 articles.

1. A formalism for describing modeling transformations for verification

2. A subset of precise UML for model-based testing

3. A test generation solution to automate software testing

Cited by 6 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Continuous Modeling in Aircraft Mission Analysis and Simulation;Lecture Notes in Electrical Engineering;2024

2. Verification of SysML Activity Diagrams Using Hoare Logic and SOFL;Structured Object-Oriented Formal Language and Method;2019

3. SysML to NuSMV Model Transformation via Object-Orientation;Cyber Physical Systems. Design, Modeling, and Evaluation;2017

4. Applying a Def-Use Approach on Signal Exchange to Implement SysML Model-Based Testing;Modelling Foundations and Applications;2013

5. Big Metamodels Are Evil;Lecture Notes in Computer Science;2013