Skip to main content
Springer Nature Link
Log in

Mutation Analysis of Stateflow to Improve the Modelling Analysis

  • Conference paper
  • First Online:
Advances in Computing and Data Sciences (ICACDS 2016)

Part of the book series: Communications in Computer and Information Science ((CCIS,volume 721))

Included in the following conference series:

  • 1699 Accesses

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 to check access.

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Similar content being viewed by others

References

  1. Singh, M.: Formal methods: a complementary support for testing. Int. J. Adv. Res. Comput. Sci. Softw. Eng. 3(2), 320–322 (2013)

    Google Scholar 

  2. 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)

    Article  Google Scholar 

  3. 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)

    Google Scholar 

  4. 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

    Article  Google Scholar 

  5. 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)

    Google Scholar 

  6. 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

    Google Scholar 

  7. Mathworks Inc.: Application Program Interface Guide Version 5 http://www.mathworks.com

  8. Jia, Y., Harman, M.: An analysis and survey of the development of mutation testing. IEEE Trans. Softw. Eng. 37(5), 649–678 (2011)

    Article  Google Scholar 

  9. Baier, C., Katoen, J.P.: Principles of Model Checking. MIT Press, Cambridge (2008)

    MATH  Google Scholar 

  10. The MathWorks, Mathworks MATLAB Simulink. http://www.mathworks.com/products/simulink

  11. 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)

    Google Scholar 

  12. Okun, V.: Specification mutation for test generation and analysis (Doctoral dissertation. University of Maryland, Baltimore County) (2004)

    Google Scholar 

  13. Cachia, M.A.: Investigating ways to make mutation testing feasible in agile environments. Report submitted in University of Malta (2012)

    Google Scholar 

Download references

Acknowledgement

The authors thank Director, CSIR-National Aerospace Laboratories Bangalore for supporting this work.

Author information

Authors and Affiliations

  1. Manipal Institute of Technology, Manipal, Karnataka, India

    Prachi Goyal

  2. Aerospace Electronics Division, CSIR-NAL, Bangalore, India

    Manju Nanda & J. Jayanthi

Authors
  1. Prachi Goyal
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Manju Nanda
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. J. Jayanthi
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Prachi Goyal .

Editor information

Editors and Affiliations

  1. Krishna Engineering College, Ghaziabad, Uttar Pradesh, India

    Mayank Singh

  2. Jaypee University of Information Technology, Waknaghat, Himachal Pradesh, India

    P.K. Gupta

  3. Department of Computer Science and Engineering, Raghogarh, Jaypee University of Engineering and Technology, Guna, Madhya Pradesh, India

    Vipin Tyagi

  4. Indira Gandhi Delhi Technical University, New Delhi, India

    Arun Sharma

  5. School of Electrical Engineering and Computer Science, University of Ottawa, Ottawa, Ontario, Canada

    Tuncer Ören

  6. Department of Computer and Information Science, University of Michigan-Dearborn, Dearborn, Michigan, USA

    William Grosky

Rights and permissions

Reprints 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)

Publish with us

Policies and ethics