elib
DLR-Header
DLR-Logo -> http://www.dlr.de
DLR Portal Home | Imprint | Privacy Policy | Contact | Deutsch
Fontsize: [-] Text [+]

Model-Based Testing Approach for MATLAB/Simulink using System Entity Structure and Experimental Frames

Schmidt, Artur and Durak, Umut and Rasch, Christoph and Pawletta, Thorsten (2015) Model-Based Testing Approach for MATLAB/Simulink using System Entity Structure and Experimental Frames. 2015 Spring Simulation Multi-Conference, Symposium on Theory of Modeling and Simulation (TMS/DEVS), 12.-15. Apr. 2015, Alexandria, VA, USA. ISBN 1-56555-355-1

[img] PDF - Registered users only
689kB

Abstract

In modeling and simulation, Validation and Verification (V&V) have always attracted significant interest. With Model Based Development (MBD) testing models became a part of product V&V. Model-Based Testing (MBT) is an advanced approach for automating the testing process for flexibility and adaptability. MBT advocates utilization of models for the specification of test cases and proposes workflows for automatic test case generation. The paper presents a pragmatic MBT approach for MATLAB/Simulink based on the concept of Experimental Frame (EF) and the System Entity Structure (SES). Each test case is represented following the formal structure of EF. For generating an executable EF, configurable basic models are provided by a Model Base (MB). The SES ontology is then used for the specification of test case designs on an abstract level. It describes a set of various test case structures, parameter settings and objectives. Based on the SES and MB, a specific executable test case, or a test suite, can be automatically generated for a Model Under Test (MUT). Finally, an application, using MATLAB/Simulink, is presented to exemplify the proposed approach.

Item URL in elib:https://elib.dlr.de/96045/
Document Type:Conference or Workshop Item (Speech)
Title:Model-Based Testing Approach for MATLAB/Simulink using System Entity Structure and Experimental Frames
Authors:
AuthorsInstitution or Email of AuthorsAuthors ORCID iD
Schmidt, Arturartur.schmidt (at) hs-wismar.deUNSPECIFIED
Durak, Umutumut.durak (at) dlr.deUNSPECIFIED
Rasch, Christophchristoph.rasch (at) stud.hs-wismar.deUNSPECIFIED
Pawletta, Thorstenthorsten.pawletta (at) hs-wismar.deUNSPECIFIED
Date:April 2015
Refereed publication:Yes
Open Access:No
Gold Open Access:No
In SCOPUS:No
In ISI Web of Science:No
Page Range:pp. 828-835
ISBN:1-56555-355-1
Status:Published
Keywords:model-based testing; verification and validation; experimental frame; system entity structure; MATLAB/Simulink.
Event Title:2015 Spring Simulation Multi-Conference, Symposium on Theory of Modeling and Simulation (TMS/DEVS)
Event Location:Alexandria, VA, USA
Event Type:international Conference
Event Dates:12.-15. Apr. 2015
Organizer:The Society for Modeling & Simulation International (SCS)
HGF - Research field:Aeronautics, Space and Transport
HGF - Program:Aeronautics
HGF - Program Themes:fixed-wing aircraft
DLR - Research area:Aeronautics
DLR - Program:L AR - Aircraft Research
DLR - Research theme (Project):L - Simulation and Validation
Location: Braunschweig
Institutes and Institutions:Institute of Flight Systems > Administrative Department & Staff
Deposited By: Durak, Umut
Deposited On:27 Apr 2015 14:33
Last Modified:27 Apr 2015 14:33

Repository Staff Only: item control page

Browse
Search
Help & Contact
Information
electronic library is running on EPrints 3.3.12
Copyright © 2008-2017 German Aerospace Center (DLR). All rights reserved.