A Meta-Model for Model-Based Testing Technique: A Review

2017 ◽  
Vol 12 (1) ◽  
pp. 1-11
Author(s):  
Atifi Meriem ◽  
Marzak Abdelaziz
Keyword(s):  
Testing Technique ◽  
Meta Model ◽  
Model Based ◽  
Model Based Testing

Research and Improvements on Mutation Operators for Simulink Models

2014 ◽  
Vol 687-691 ◽  
pp. 1389-1393 ◽  
Author(s):  
Yong Feng Yin ◽  
Yi Bin Zhou ◽  
Yan Rong Wang
Keyword(s):  
Present Model ◽  
Mutation Testing ◽  
Testing Technique ◽  
Model Based ◽  
Mutation Operators ◽  
Model Based Testing ◽  
Test Adequacy

In order to test the Simulink models, this paper focused on the model-based testing for Simulink based on mutation testing. Considering the situation that the present model-based test adequacy criteria are imperfect, we propose a mutation testing process for Simulink models. Based on studying the application of mutation testing technique to Simulink models, some improvements on mutation operators for Simulink models are presented. The experimentation results verified the effectiveness and correctness.

Model-Based Testing for Web Applications

2011 ◽  
Vol 34 (6) ◽  
pp. 1012-1028 ◽  
Author(s):  
Huai-Kou MIAO ◽  
Sheng-Bo CHEN ◽  
Hong-Wei ZENG
Keyword(s):  
Web Applications ◽  
Model Based ◽  
Model Based Testing

Model-based testing of software product lines: Mapping study and research roadmap

2020 ◽  
Vol 167 ◽  
pp. 110608
Author(s):  
Kleber L. Petry ◽  
Edson OliveiraJr ◽  
Avelino F. Zorzo
Keyword(s):  
Software Product Lines ◽  
Mapping Study ◽  
Product Lines ◽  
Model Based ◽  
Model Based Testing ◽  
Software Product
Sign in / Sign up

Export Citation Format

Share Document