Development of an automated MBT toolchain from UML/SysML models

Lasalle, Jonathan; Peureux, Fabien; Fondement, Frédéric

doi:10.1007/s11334-011-0164-1

Cited by 9 publications

(3 citation statements)

References 10 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Jonathan Lasalle [18] established VETESS, which is a tool chain that can generate test case for embedded systems automatically. By leveraging existing test case generation and test path extraction tools, VETESS can extract valid information from UML or SysML models and execute functional test case automatedly.…”

Section: Test Case Generationmentioning

confidence: 99%

Validation and Verification of SYSML Activity Diagrams Using HOARE Logic

Yin¹,

Liu²,

Chen³

2018

IJSEA

View full text Add to dashboard Cite

show abstract

Section: Test Case Generationmentioning

confidence: 99%

Validation and Verification of SYSML Activity Diagrams Using HOARE Logic

Yin¹,

Liu²,

Chen³

2018

IJSEA

View full text Add to dashboard Cite

show abstract

“…This section shows how the package merge and unmerge relations may be used to build a metamodel by reusing other metamodels. The overall context is model-based testing of SysML models, and the example is borrowed from the VETESS project [12]. The goal is to generate a set of test cases from a behavioral model of the system under test.…”

Section: Examplementioning

confidence: 99%

Big Metamodels Are Evil

Fondement

Müller

Thiry

et al. 2013

Lecture Notes in Computer Science

Self Cite

View full text Add to dashboard Cite

While reuse is typically considered a good practice, it may also lead to keeping irrelevant concerns in derived elements. For instance, new metamodels are usually built upon existing metamodels using additive techniques such as profiling and package merge. With such additive techniques, new metamodels tend to become bigger and bigger, which leads to harmful overheads of complexity for both tool builders and users. In this paper, we introduce «package unmerge»-a proposal for a subtractive relation between packages-which complements existing metamodel-extension techniques.

show abstract

“…2.2. Implemented ToolJonathan Lasalle[12] established VETESS, which is a tool chain that can generate test case for embedded systems automatically. By leveraging existing test case generation and test path extraction tools, VETESS can extract valid information from UML or SysML models and execute functional test case automatedly.…”

mentioning

confidence: 99%

An Automated Test Case Generation Approach based on Activity Diagrams of SysML

Yin¹,

Xu²,

Miao³

et al. 2017

IJPE

View full text Add to dashboard Cite

Model based software testing is one of the most popular software quality assurance techniques adopted by industrial practitioners. The SysML Activity Diagram (AD) can describe dynamic behaviors of a software system under testing in an intuitive way. That is, the AD is a promising foundation for generating test case to test the target software system. Unfortunately, there are few effective AD based testing approaches for industrial practitioners due to the lack of automated generation technique and powerful tool support, especially for whose shape is out of structure. To tackle this problem, we propose an automated generation approach with a supporting tool. For a specific AD, we first transform it into an intermediate representation form-Intermediate Black box Model (IBM). Then the IBM is used to generate test cases automatically. The approach presented in this paper can make up the deficiency of automated test case generation with the unstructured SysML AD.

show abstract

Development of an automated MBT toolchain from UML/SysML models

Cited by 9 publications

References 10 publications

Validation and Verification of SYSML Activity Diagrams Using HOARE Logic

Validation and Verification of SYSML Activity Diagrams Using HOARE Logic

Big Metamodels Are Evil

An Automated Test Case Generation Approach based on Activity Diagrams of SysML

Contact Info

Product

Resources

About