Skip to main content
SpringerLink
Log in

SmartTestGen+: A Test Suite Booster for Enhanced Structural Coverage

  • Conference paper
Theoretical Aspects of Computing – ICTAC 2012 (ICTAC 2012)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 7521))

Included in the following conference series:

Abstract

Our work concerns with test case generation for structural coverage of Simulink/Stateflow (SL/SF) models. We have developed a tool called SmartTestGen which integrates multiple test generation techniques; experiments show that this tool performs better than some commercial tools. In this paper, we discuss a novel experiment. SmartTestGen uses random testing as one of the testing techniques. The random testing component first generates random test cases; the tool then extends these test cases to cover the uncovered targets. In our experiment, instead of using the random test cases as the initial seed, we use the test cases of an existing test suite. We have evaluated the impact of this modified testing process by considering 20 industrial strength SL/SF models.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 72.00
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. The Mathworks, http://www.mathworks.com

  2. Reactis, http://www.reactive-systems.com

  3. Satpathy, M., Yeolekar, A., Ramesh, S.: Randomized Directed Testing (REDIRECT) for Simulink/Stateflow Models. In: ACM EMSOFT 2008, Atlanta (2008)

    Google Scholar 

  4. The Mathworks, Verification and Validation Tool Box, http://www.mathworks.com/verification-validation/

  5. Paranandam, P., et al.: An Integrated Test Generation Tool for coverage of Simulink/Stateflow Models. In: Proc. of IEEE DATE 2012 (2012)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. GM Tech Center (India), GM Powertrain – India, Bangalore, 560066, India

    S. Raviram

  2. India Science Lab, Global General Motors R&D, Bangalore, 560066, India

    P. Peranandam, M. Satpathy & S. Ramesh

Authors
  1. S. Raviram
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. P. Peranandam
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. M. Satpathy
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. S. Ramesh
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. National University of Singapore, Computing Drive 13, 117417, Singapore, Singapore

    Abhik Roychoudhury

  2. International Institute of Information Technology, Eletronics City 26-C, 560100, Bangalore, India

    Meenakshi D’Souza

Rights and permissions

Reprints and permissions

Copyright information

© 2012 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Raviram, S., Peranandam, P., Satpathy, M., Ramesh, S. (2012). SmartTestGen+: A Test Suite Booster for Enhanced Structural Coverage. In: Roychoudhury, A., D’Souza, M. (eds) Theoretical Aspects of Computing – ICTAC 2012. ICTAC 2012. Lecture Notes in Computer Science, vol 7521. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-32943-2_13

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-32943-2_13

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-32942-5

  • Online ISBN: 978-3-642-32943-2

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation