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), 2015-04-12 - 2015-04-15, Alexandria, VA, USA. ISBN 1-56555-355-1.
![]() |
PDF
- Only accessible within DLR
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: |
| ||||||||||||||||||||
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 Start Date: | 12 April 2015 | ||||||||||||||||||||
Event End Date: | 15 April 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 (old) | ||||||||||||||||||||
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: | 24 Apr 2024 20:01 |
Repository Staff Only: item control page