Model-based testing approach for MATLAB/simulink using system entity structure and experimental frames
Model-based testing approach for MATLAB/simulink using system entity structure and experimental frames
复制标题
使用系统实体结构和实验框架的基于模型的 MATLAB/simulink 测试方法
DOI：
10.5555/2872965.2872975
复制
发表时间：
2015
期刊：
影响因子：
--
通讯作者：
T. Pawletta
中科院分区：
文献类型：
--
作者：
A. Schmidt;Umut Durak;Christoph Rasch;T. Pawletta
在建模与仿真中，验证与验证（V&V）一直受到人们的关注。随着基于模型的开发（MBD），测试模型成为产品V& V的一部分。基于模型的测试（MBT）是一种先进的方法，用于自动化测试过程，以实现灵活性和适应性。MBT提倡利用模型来规范测试用例，并提出了自动生成测试用例的工作流程。提出了一种基于实验框架（EF）和系统实体结构（SES）的实用MATLAB/Simulink MBT方法。每个测试用例都按照EF的形式结构表示。为了生成可执行EF，由模型库（MB）提供可配置的基本模型。SES本体，然后用于规范的测试用例设计的抽象层次上。它描述了一组不同的测试用例结构，参数设置和目标。基于SES和MB，可以为被测模型（MUT）自动生成特定的可执行测试用例或测试套件。最后，一个应用程序，使用MATLAB/Simulink，提出了一种新的方法。
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.