Skip to main content
SpringerLink
Log in

Tool Support for Fuzz Testing of Component-Based System Adaptation Policies

  • Conference paper
  • First Online:
Formal Aspects of Component Software (FACS 2016)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 10231))

Included in the following conference series:

  • 464 Accesses

Abstract

Self-adaptation enables component-based systems to evolve by means of dynamic reconfigurations that can modify their architecture and/or behaviour at runtime. In this context, we use adaptation policies to trigger reconfigurations that must only happen in suitable circumstances, thus avoiding unwanted behaviours. A tool (cbsdr, standing for Component-Based System Dynamic Reconfigurations) supporting both the Fractal and FraSCAti component frameworks was developed, but the testing of the robustness of new adaptation policies was not easy. This is the reason to add to our implementation a new behavioural fuzzing tool. While fuzzing consists of sending invalid data to a system under test to find weaknesses that may cause a crash or an abnormal reaction, behavioural fuzzing sends invalid sequences of valid data. Valid traces are modified using fuzzing techniques to generate test cases that can be replayed on a dummy system using the adaptation policies to be tested while focusing on interesting regions of specific data sequences.

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

Notes

  1. 1.

    http://fractal.ow2.org/tutorial/index.html.

  2. 2.

    http://www.oasis-opencsa.org/sca.

  3. 3.

    Because of the random nature of fuzzing, the configuration following the application the addgps reconfiguration may not contain a fully functional GPS component, which leads the reconfiguration to be diagnosed as failed.

References

  1. Kouchnarenko, O., Weber, J.-F.: Adapting component-based systems at runtime via policies with temporal patterns. In: Fiadeiro, J.L., Liu, Z., Xue, J. (eds.) FACS 2013. LNCS, vol. 8348, pp. 234–253. Springer, Cham (2014). doi:10.1007/978-3-319-07602-7_15

    Google Scholar 

  2. Kouchnarenko, O., Weber, J.-F.: Practical analysis framework for component systems with dynamic reconfigurations. In: Butler, M., Conchon, S., Zaïdi, F. (eds.) ICFEM 2015. LNCS, vol. 9407, pp. 287–303. Springer, Cham (2015). doi:10.1007/978-3-319-25423-4_18

    Chapter  Google Scholar 

  3. Bruneton, E., Coupaye, T., Leclercq, M., Quéma, V., Stefani, J.B.: The fractal component model and its support in java. Softw. Pract. Experience 36, 1257–1284 (2006)

    Article  Google Scholar 

  4. Seinturier, L., Merle, P., Rouvoy, R., Romero, D., Schiavoni, V., Stefani, J.B.: A component-based middleware platform for reconfigurable service-oriented architectures. Softw. Pract. Experience 42, 559–583 (2012)

    Article  Google Scholar 

  5. Takanen, A., Demott, J.D., Miller, C.: Fuzzing for Software Security Testing and Quality Assurance. Artech House, Norwood (2008)

    MATH  Google Scholar 

  6. Schneider, M., Großmann, J., Tcholtchev, N., Schieferdecker, I., Pietschker, A.: Behavioral fuzzing operators for UML sequence diagrams. In: Haugen, Ø., Reed, R., Gotzhein, R. (eds.) SAM 2012. LNCS, vol. 7744, pp. 88–104. Springer, Heidelberg (2013). doi:10.1007/978-3-642-36757-1_6

    Chapter  Google Scholar 

  7. Boyer, F., Gruber, F., Pous, D.: Robust reconfigurations of component assemblies. In: International Conference on Software Engineering, ICSE 2013, Piscataway, NJ, USA, pp. 13–22. IEEE Press (2013)

    Google Scholar 

  8. Hamilton, A.G.: Logic for Mathematicians. Cambridge University Press, Cambridge (1988)

    MATH  Google Scholar 

  9. Schneider, M., Großmann, J., Schieferdecker, I., Pietschker, A.: Online model-based behavioral fuzzing. In: 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation Workshops (ICSTW 2003), pp. 469–475. IEEE (2013)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. FEMTO-ST UMR 6174 CNRS and Univ. Bourgogne Franche-Comté, Besançon, France

    Jean-François Weber

Authors
  1. Jean-François Weber
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Jean-François Weber .

Editor information

Editors and Affiliations

  1. Université Bourgogne Franche-Comté, Besançon, France

    Olga Kouchnarenko

  2. University of Tehran , Tehran, Iran

    Ramtin Khosravi

Rights and permissions

Reprints and permissions

Copyright information

© 2017 Springer International Publishing AG

About this paper

Cite this paper

Weber, JF. (2017). Tool Support for Fuzz Testing of Component-Based System Adaptation Policies. In: Kouchnarenko, O., Khosravi, R. (eds) Formal Aspects of Component Software. FACS 2016. Lecture Notes in Computer Science(), vol 10231. Springer, Cham. https://doi.org/10.1007/978-3-319-57666-4_14

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-57666-4_14

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-57665-7

  • Online ISBN: 978-3-319-57666-4

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation