A Process Mining Approach to Improving Defect Detection of SysML Models Open Access Deposited

Downloadable Content

Download PDF
Download Adobe Acrobat Reader
Date Uploaded: 09/02/2019
Date Modified: 09/05/2019

The development of complex and dependable systems like autonomous vehicles relies increasingly on the use of systems modeling language (SysML). In fact, SysML has become a de facto standard for systems engineering. With model-driven engineering, a SysML model serves as a reference for the early defect detection of the system under design: the earlier the errors are detected, the less is the cost of handling the errors. Mutation testing is a fault-based technique that has recently seen its applications to SysML behavioral models (e.g., state machine diagrams). Specifically, a system's state-transition design can be fed to a model checker where mutants are automatically generated and then killed against the desired design specifications (e.g., safety properties). In this paper, we present a novel approach based on process mining to improve the effectiveness and efficiency of the SysML mutation testing based on model checking. In our approach, the mutation operators are applied directly to the state machine diagram. These mutants are then fed as traces into a process mining tool and checked according to the event logs. Our initial results indicates that the process mining approach kills more mutants faster than the model checking method.

Alternate Title
  • ASE 2019 Late Breaking Results (LBR) Track
Date Created

Digital Object Identifier (DOI)

Identifier: doi:10.7945/6rna-m982

This DOI link is the best way for others to cite your work.


Permanent link to this page: