Abstract
Software testing is costly, labor intensive, and time consuming activity. Test data generation is one of the most important steps in testing process in terms of revealing faults in software. A set of test data is considered as good quality if it is highly capable of discovering possible faults. Mutation analysis is an effective way to assess the quality of a test set. Nowadays, high level models such as Simulink are widely used to reduce the time of software development in many industrial fields. This also allows faults to be detected at the earlier stages. Verification and validation of Simulink models are becoming vital to users. In this paper, we propose the automated test data generation approach based on mutation testing for Simulink models by using Artificial Immune System (AIS) in order to evolve test data. The approach was integrated into the MuSimulink tool [15]. It has been applied to some different case studies and the obtained results are very promising.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Beizer, B.: Software Testing Techniques, 2nd edn. Thomason Computer Press (1990)
DeMillo, R., Lipton, R., Sayward, F.: Hints on Test Data Selection: Help for Practicing for Programmer. IEEE Computer (11), 34–41 (1978)
Brillout, A., He, N., Mazzucchi, M., Kroening, D., Purandare, M., Rümmer, P., Weissenbacher, G.: Mutation-based Test case generation for Simulink models. In: de Boer, F.S., Bonsangue, M.M., Hallerstede, S., Leuschel, M. (eds.) FMCO 2009. LNCS, vol. 6286, pp. 208–227. Springer, Heidelberg (2010)
Zhan, Y.: A Search-Based Framework for Automatic Test-Set Generation for Matlab/Simulink models. University of York. PhD Thesis (2005)
Ghani, K., Clark, J.A., Zhan, Y.: Comparing Algorithms for Search-based Test Data Generation of Matlab Simulink Model. In: 10th IEEE Congress on Evolutionary Computation (CEC 2009), Trondheim, Norway (2007)
He, N., Rummer, P., Kroening, D.: Test-Case Generation for Embedded Simulink via Formal Concept Analysis. In: DAC, San Diego, California, USA (2011)
Li, M., Kumar, R.: Model-Based Automatic Test Generation for Simulink/Stateflow using Extended Finite Automaton (2011)
Godboley, S., Sridhar, A., Kharpuse, B., Mohapatra, D.P., Majhi, B.: Generation of Branch Coverage Test Data for Simulink/Stateflow Models using Crest Tool. International Journal of Advanced Computer Research III(13), 222–229 (2013)
Oh, J., Harman, M., Yoo, S.: Transition Coverage Testing for Simulink/Stateflow Models Using Messy Genetic Algorithms. In: GECCO 2011, Dublin, Ireland, pp. 1851–1858 (2011)
Satpathy, M., Yeolekar, A., Ramesh, S.: Randomized directed testing (redirect) for simulink/stateflow models. In: Proceedings of the 8th ACM International Conference on Embedded Software, New York, USA, pp. 217–226 (2008)
De Castro, L.N., Timmis, J.: Artificial Immune Systems: A New Computational Intelligence Approach. Springer (2002)
May, P., Timmis, J., Mander, K.: Immune and Evolutionary Approaches to Software Mutation Testing. In: de Castro, L.N., Von Zuben, F.J., Knidel, H. (eds.) ICARIS 2007. LNCS, vol. 4628, pp. 336–347. Springer, Heidelberg (2007)
Pachauri, A., Gursaran: Use of Clonal Selection Algorithm as Software Test Data Generation Technique. In: Second International Conference on Advanced Computing & Communication Technologies, pp. 1–5 (2012)
The Matwork Inc., http://www.mathworks.com/products/simulink/
Hanh, L.T.M., Binh, N.T.: Automatic Generation of Mutants for Simulink Models. In: 16th National Conference: Selected Problems About IT And Telecommunication, Danang, Vietnam, pp. 339–346 (2013)
Hanh, L.T.M., Binh, N.T.: Mutation Operators for Simulink Models. In: KSE 2012 - The Fourth International Conference on Knowledge and Systems Engineering, Danang, pp. 54–59 (2012)
Hanh, L.T.M., Tung, K.T., Binh, N.T.: Improving Mutation Execution in Mutation Testing for Simulink Models Using Parallel Computing. Journal of Science and Technology, University of Danang II(1(74)), 9–13 (2014)
Freitas, A.A., Timmis, J.: Revisiting the Foundations of Artificial Immune Systems: A Problem Oriented Perspective. In: Timmis, J., Bentley, P.J., Hart, E. (eds.) ICARIS 2003. LNCS, vol. 2787, pp. 229–241. Springer, Heidelberg (2003)
Burnet, F.M.: The Clonal Selection Theory of Acquired Immunity. Cambridge University Press (1959)
De Castro, L.N., Timmis, J.: Artificial Immune Systems: A Novel Paradigm to Pattern Recognition, vol. 2, pp. 67–84. Springer Verlag, University of Paisley, UK (2002)
de Castro, L.N., Von Zuben, F.J.: Learning and optimization using the clonal selection principle. IEEE Transactions on Evolutionary Computation 6(3), 239–251 (2002)
Offutt, A.J., Voas, J.M.: Subsumption of Condition Coverage Techniques by Mutation Testing. Technical Report ISSE-TR-96-01 (1996)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this paper
Cite this paper
Hanh, L.T.M., Binh, N.T., Tung, K.T. (2015). A Novel Test Data Generation Approach Based Upon Mutation Testing by Using Artificial Immune System for Simulink Models. In: Nguyen, VH., Le, AC., Huynh, VN. (eds) Knowledge and Systems Engineering. Advances in Intelligent Systems and Computing, vol 326. Springer, Cham. https://doi.org/10.1007/978-3-319-11680-8_14
Download citation
DOI: https://doi.org/10.1007/978-3-319-11680-8_14
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-11679-2
Online ISBN: 978-3-319-11680-8
eBook Packages: EngineeringEngineering (R0)