Skip to main content
SpringerLink
Log in

Dynamic Analysis of Regression Problems in Industrial Systems: Challenges and Solutions

  • Conference paper
  • First Online:
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications (ISoLA 2016)

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

Included in the following conference series:

  • 2251 Accesses

Abstract

This paper presents the result of our experience with the application of runtime verification, testing and static analysis techniques to several industrial projects. We discuss the eight most relevant challenges that we experienced, and the strategies that we elaborated to face them.

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
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
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

Similar content being viewed by others

References

  1. ABB: Power and automation company (2016). http://www.abb.com/

  2. Babenko, A., Mariani, L., Pastore, F.: AVA: automated interpretation of dynamically detected anomalies. In: ISSTA. ACM (2009)

    Google Scholar 

  3. Chockler, H., Denaro, G., Ling, M., Fedyukovich, G., Hyvrinen, A.E.J., Mariani, L., Muhammad, A., Oriol, M., Rajan, A., Sery, O., Sharygina, N., Tautsching, M.: Pincette - validating changes and upgrades in networked software. In: CSMR - EU Projects Track. IEEE (2013)

    Google Scholar 

  4. Ernst, M.D., Cockrell, J., Griswold, W.G., Notkin, D.: Dynamically discovering likely program invariants to support program evolution. TSE 27(2), 99–123 (2001)

    Google Scholar 

  5. FSF: GDB debugger (2016). http://sources.redhat.com/gdb/

  6. IAI: Israel aerospace industry (2016). http://www.iai.co.il

  7. Intel: Pin - a dynamic binary instrumentation tool (2016). https://software.intel.com/en-us/articles/pintool

  8. Jenkis: Continuous integration server (2016). https://jenkins-ci.org/

  9. Lorenzoli, D., Mariani, L., Pezzè, M.: Automatic generation of software behavioral models. In: ICSE. IEEE (2008)

    Google Scholar 

  10. Mariani, L., Pastore, F.: Automated identification of failure causes in system logs. In: ISSRE. IEEE (2008)

    Google Scholar 

  11. Mariani, L., Pastore, F., Pezzè, M.: Dynamic analysis for diagnosing integration faults. IEEE TSE 37(4), 486–508 (2011)

    Google Scholar 

  12. Pastore, F., Mariani, L.: AVA: supporting debugging with failure interpretations. In: ICST - Tool Demo Track. IEEE (2013)

    Google Scholar 

  13. Pastore, F., Mariani, L., Goffi, A.: Radar: a tool for debugging regression problems in C/C++ software. In: ICSE - Tool Demo Track. IEEE (2013)

    Google Scholar 

  14. Pastore, F., Mariani, L., Goffi, A., Oriol, M., Wahler, M.: Dynamic analysis of upgrades in C/C++ software. In: ISSRE. IEEE (2012)

    Google Scholar 

  15. Pastore, F., Mariani, L., Hyvärinen, A.E.J., Fedyukovich, G., Sharygina, N., Sehestedt, S., Muhammad, A.: Verification-aided regression testing. In: ISSTA. ACM (2014)

    Google Scholar 

  16. Rothermel, G., Harrold, M.J.: A safe, efficient regression test selection technique. ACM TOSEM 6(2), 173–210 (1997)

    Article  Google Scholar 

  17. VTT: Research center (2016). http://www.vtt.fi/

  18. Yu, K., Lin, M., Chen, J., Zhang, X.: Practical isolation of failure-inducing changes for debugging regression faults. In: ASE. IEEE (2012)

    Google Scholar 

  19. Zuddas, D., Jin, W., Pastore, F., Mariani, L., Orso, A.: Mimic: locating and understanding bugs by analyzing mimicked executions. In: ASE. ACM (2014)

    Google Scholar 

Download references

Acknowledgments

This work has been partially supported by the H2020 Learn project, which has been funded under the ERC Consolidator Grant 2014 program (ERC Grant Agreement no. 646867).

Author information

Authors and Affiliations

  1. Department of Informatics, Systems and Communication, University of Milano - Bicocca, Milan, Italy

    Fabrizio Pastore & Leonardo Mariani

Authors
  1. Fabrizio Pastore
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Leonardo Mariani
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Fabrizio Pastore .

Editor information

Editors and Affiliations

  1. Lero, Limerick, Ireland

    Tiziana Margaria

  2. TU Dortmund, Dortmund, Germany

    Bernhard Steffen

Rights and permissions

Reprints and permissions

Copyright information

© 2016 Springer International Publishing AG

About this paper

Cite this paper

Pastore, F., Mariani, L. (2016). Dynamic Analysis of Regression Problems in Industrial Systems: Challenges and Solutions. In: Margaria, T., Steffen, B. (eds) Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications. ISoLA 2016. Lecture Notes in Computer Science(), vol 9953. Springer, Cham. https://doi.org/10.1007/978-3-319-47169-3_30

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-47169-3_30

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-47168-6

  • Online ISBN: 978-3-319-47169-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation