Research and Improvements on Mutation Operators for Simulink Models

Yong Feng Yin; Yi Bin Zhou; Yan Rong Wang

doi:10.4028/www.scientific.net/AMM.687-691.1389

Paper Titles

Fitting Spherical Surface and Evaluating Sphericity Error Based on the Minimum Zone Principle
p.1373

One Fusion Algorithm of Equipment Fault Prediction Based on Rough Set Theory and Grey Model
p.1377

An Improved Particle Swarm Optimization Algorithm for Dynamic Power Allocation Problem
p.1380

Data Mining and Optimize TCM Prescription Compatibility Based on WDS-PLS
p.1385

Research and Improvements on Mutation Operators for Simulink Models
p.1389

Summations of Inverse Generalized Harmonic Numbers with Riordan Arrays
p.1394

Automatic View Selection Algorithm Based on Particle Swarm Optimization
p.1399

Prediction of Fault Severity of Aircraft and its Equipments Based on Relevance Vector Machine
p.1404

Research on Nonlinear Modeling Method of Support Vector Machine with Wavelet Derivation Kernel Function
p.1408

HomeApplied Mechanics and MaterialsApplied Mechanics and Materials Vols. 687-691Research and Improvements on Mutation Operators...

Research and Improvements on Mutation Operators for Simulink Models

Abstract:

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.

You might also be interested in these eBooks

View Preview

Info:

Periodical:

Applied Mechanics and Materials (Volumes 687-691)

Pages:

1389-1393

DOI:

https://doi.org/10.4028/www.scientific.net/AMM.687-691.1389

Citation:

Cite this paper

Online since:

November 2014

Authors:

Yong Feng Yin*, Yi Bin Zhou, Yan Rong Wang

Keywords:

Mutation Operator, Program Mutation, Simulink Model Testing, Software Testing

Export:

RIS, BibTeX

Price:

Permissions CCC:

Request Permissions

Permissions PLS:

Request Permissions

Сopyright:

Citation:

* - Corresponding Author

References

[1] Molina J M, Pan X, Grimm C, et al. A framework for model-based design of embedded systems for energy management[C]/Modeling and Simulation of Cyber-Physical Energy Systems (MSCPES), 2013 Workshop on. IEEE, 2013: 1-6.

DOI: 10.1109/mscpes.2013.6623325

Google Scholar

[2] Offutt A.J., Lee, A., Rothermel, G., Untch, R.H., Zapf, C., An Experimental Determination of Sufficient Mutant Operators, ACM Transactions on Software Engineering Methodology, v5(2), pp.99-118, April, (1996).

DOI: 10.1145/227607.227610

Google Scholar

[3] DeMillo R A, Lipton R J, Sayward F G. Hints on test data selection: Help for the practicing programmer[J]. Computer, 1978, 11(4): 34-41.

DOI: 10.1109/c-m.1978.218136

Google Scholar

[4] Y. Jia and M. Harman, An analysis and survey of the development of mutation testing, IEEE Transactions on Software Engineering(TSE), (2010).

Google Scholar

[5] King K N, Offutt A J. A fortran language system for mutation‐based software testing[J]. Software: Practice and Experience, 1991, 21(7): 685-718.

DOI: 10.1002/spe.4380210704

Google Scholar

[6] Zhou Yibin, Yin Yongfeng, Li Xiaodan, Wang Mingwei. Research on simulink model testing method based on program mutation[J]. Journal of Beijing University of Aeronautics and Astronautics, (2014).

Google Scholar

[7] Binh N T. Mutation Operators for Simulink Models[C]/Knowledge and Systems Engineering (KSE), 2012 Fourth International Conference on. IEEE, 2012: 54-59.

DOI: 10.1109/kse.2012.22

Google Scholar

[8] Barbosa E F, Maldonado J C, Vincenzi A M R. Toward the determination of sufficient mutant operators for C[J]. Software Testing, Verification and Reliability, 2001, 11(2): 113-136.

DOI: 10.1002/stvr.226

Google Scholar

[9] Offutt A J, Rothermel G, Zapf C. An experimental evaluation of selective mutation[C]/ Proceedings of the 15th international conference on Software Engineering. IEEE Computer Society Press, 1993: 100-107.

DOI: 10.1109/icse.1993.346062

Google Scholar