Abstract
Formal methods possess great analyzing capability that has led to an increasing use by engineers in the development and verification-validation life-cycle of hardware and software critical systems. Mutation Analysis has been very effective in model design and safety analysis. In this paper primary idea is to integrate the mutation analysis of stateflow to the Integrated Mutation Analysis Tool. This enhanced property of the IMAT tool after integration will be able to analyze the functionalities of stateflow models of the highly critical systems. The effectiveness of the Stateflow mutation analysis can be validated using the case-study of Autopilot Mode Transition Logic.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsReferences
Singh, M.: Formal methods: a complementary support for testing. Int. J. Adv. Res. Comput. Sci. Softw. Eng. 3(2), 320–322 (2013)
Singh, P.K., Sangwan, O.P., Sharma, A.: A study and review on the development of mutation testing tools for java and aspect-j program. Int. J. Mod. Educ. Comput. Sci. 11, 1–10 (2014)
Jayanthi, J., Nanda, M., Nayak, S.: A lightweight integration of mutation analysis with the model checker for system safety verification. In: IEEE International Systems Conference (SysCon) (2013)
DeMillo, R.A., Lipton, R.J., Sayward, F.G.: Hints on test data selection: help for the practicing programmer. Computer 11(4), 34–41 (1978). IEEE
Sujata, P.G., Sonali, I.R.: Investigation of mutation testing & its operators for testing case generations. Int. J. Adv. Res. Comput. Sci. Softw. Eng. 3(10) (2013)
Jayanthi, J., Nanda, M., Sreekath, K.P., Lakshmi, P.: Software design description for SARAS SWS/AIC System. National Aerospace Laboratories_ ALD, Vol.-10, Rep No: DR-22
Mathworks Inc.: Application Program Interface Guide Version 5 http://www.mathworks.com
Jia, Y., Harman, M.: An analysis and survey of the development of mutation testing. IEEE Trans. Softw. Eng. 37(5), 649–678 (2011)
Baier, C., Katoen, J.P.: Principles of Model Checking. MIT Press, Cambridge (2008)
The MathWorks, Mathworks MATLAB Simulink. http://www.mathworks.com/products/simulink
Mahesh Gowda, N.M., Kiran, Y., Parthasarthy, S.S.: Modelling of Buck DC-DC Converter Using Simulink. Int. J. Innov. Res. Sci. Eng. Technol. 3(7), 14965–14975 (2014)
Okun, V.: Specification mutation for test generation and analysis (Doctoral dissertation. University of Maryland, Baltimore County) (2004)
Cachia, M.A.: Investigating ways to make mutation testing feasible in agile environments. Report submitted in University of Malta (2012)
Acknowledgement
The authors thank Director, CSIR-National Aerospace Laboratories Bangalore for supporting this work.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2017 Springer Nature Singapore Pte Ltd.
About this paper
Cite this paper
Goyal, P., Nanda, M., Jayanthi, J. (2017). Mutation Analysis of Stateflow to Improve the Modelling Analysis. In: Singh, M., Gupta, P., Tyagi, V., Sharma, A., Ören, T., Grosky, W. (eds) Advances in Computing and Data Sciences. ICACDS 2016. Communications in Computer and Information Science, vol 721. Springer, Singapore. https://doi.org/10.1007/978-981-10-5427-3_19
Download citation
DOI: https://doi.org/10.1007/978-981-10-5427-3_19
Published:
Publisher Name: Springer, Singapore
Print ISBN: 978-981-10-5426-6
Online ISBN: 978-981-10-5427-3
eBook Packages: Computer ScienceComputer Science (R0)