Skip to main content

Abstract

In this paper we present a method and tool to fully automatically infer data-sensitive behavioral models of black-box systems in two coordinated steps: (1) syntactical analysis of the interface descriptions, here given in terms of WSDL (Web Services Description Language), for instantiating test harnesses with adequate mappers, i.e., means to bridge between the model level and the concrete execution level, and (2) test-based exploration of the target system by means of active automata learning. The first step is realized by means of the syntactic analysis of StrawBerry, a tool designed for syntactically analyzing WSDL descriptions, and the second step by the LearnLib, a flexible active automata learning framework. The new method presented in this paper (1) overcomes the manual construction of the mapper required for the learning tool, a major practical bottleneck in practice, and (2) provides global behavioral models that comprise the data-flow of the analyzed systems. The method is illustrated in detail along a concrete shop application.

This work is partially supported by the European FP7 project CONNECT (IST 231167).

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

Access this chapter

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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Aarts, F., Jonsson, B., Uijen, J.: Generating Models of Infinite-State Communication Protocols Using Regular Inference with Abstraction. In: Petrenko, A., Simão, A., Maldonado, J.C. (eds.) ICTSS 2010. LNCS, vol. 6435, pp. 188–204. Springer, Heidelberg (2010)

    Chapter  Google Scholar 

  2. Alur, R., Cerný, P., Madhusudan, P., Nam, W.: Synthesis of interface specifications for Java classes. In: POPL, pp. 98–109 (2005)

    Google Scholar 

  3. Angluin, D.: Learning regular sets from queries and counterexamples. Inf. Comput. 75, 87–106 (1987)

    Article  MathSciNet  MATH  Google Scholar 

  4. Bennaceur, A., Blair, G., Chauvel, F., Gang, H., Georgantas, N., Grace, P., Howar, F., Inverardi, P., Issarny, V., Paolucci, M., Pathak, A., Spalazzese, R., Steffen, B., Souville, B.: Towards an Architecture for Runtime Interoperability. In: Margaria, T., Steffen, B. (eds.) ISoLA 2010, Part II. LNCS, vol. 6416, pp. 206–220. Springer, Heidelberg (2010)

    Chapter  Google Scholar 

  5. Berg, T., Jonsson, B., Raffelt, H.: Regular Inference for State Machines Using Domains with Equality Tests. In: Fiadeiro, J.L., Inverardi, P. (eds.) FASE 2008. LNCS, vol. 4961, pp. 317–331. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  6. Bertolino, A., Inverardi, P., Pelliccione, P., Tivoli, M.: Automatic synthesis of behavior protocols for composable web-services. In: ESEC/SIGSOFT FSE, pp. 141–150. ACM (2009)

    Google Scholar 

  7. Bertolino, A., Inverardi, P., Pelliccione, P., Tivoli, M.: Automatic synthesis of behavior protocols for composable web-services. In: Proceedings of The 7th Joint Meeting of the European Software Engineering Conference (ESEC) and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE), pp. 141–150 (August 2009)

    Google Scholar 

  8. Cassel, S., Howar, F., Jonsson, B., Merten, M., Steffen, B.: A Succinct Canonical Register Automaton Model. In: Bultan, T., Hsiung, P.-A. (eds.) ATVA 2011. LNCS, vol. 6996, pp. 366–380. Springer, Heidelberg (2011)

    Chapter  Google Scholar 

  9. Dallmeier, V., Knopp, N., Mallon, C., Hack, S., Zeller, A.: Generating test cases for specification mining. In: Proceedings of ISSTA 2010, pp. 85–96. ACM, New York (2010)

    Google Scholar 

  10. Ernst, M.D., Perkins, J.H., Guo, P.J., McCamant, S., Pacheco, C., Tschantz, M.S., Xiao, C.: The Daikon system for dynamic detection of likely invariants. Sci. Comput. Programming 69(1-3), 35–45 (2007)

    Article  MathSciNet  MATH  Google Scholar 

  11. Ghezzi, C., Mocci, A., Monga, M.: Synthesizing Intentional Behavior Models by Graph Transformation. In: ICSE 2009, Vancouver, Canada (2009)

    Google Scholar 

  12. Hagerer, A., Hungar, H., Niese, O., Steffen, B.: Model Generation by Moderated Regular Extrapolation. In: Kutsche, R.-D., Weber, H. (eds.) FASE 2002. LNCS, vol. 2306, pp. 80–95. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  13. Hungar, H., Margaria, T., Steffen, B.: Test-based model generation for legacy systems. In: Proceedings of the International Test Conference, ITC 2003, September 30-October 2, vol. 1, pp. 971–980 (2003)

    Google Scholar 

  14. Jonsson, B.: Learning of Automata Models Extended with Data. In: Bernardo, M., Issarny, V. (eds.) SFM 2011. LNCS, vol. 6659, pp. 327–349. Springer, Heidelberg (2011)

    Chapter  Google Scholar 

  15. Lorenzoli, D., Mariani, L., Pezzè, M.: Automatic Generation of Software Behavioral Models. In: ICSE 2008, pp. 501–510. ACM, NY (2008)

    Chapter  Google Scholar 

  16. Mariani, L., Pezzè, M.: Dynamic Detection of COTS Component Incompatibility. IEEE Software 24(5), 76–85 (2007)

    Article  Google Scholar 

  17. Niese, O.: An Integrated Approach to Testing Complex Systems. PhD thesis, University of Dortmund, Germany (2003)

    Google Scholar 

  18. Oracle.com. JAX-WS RI 2.1.1 – wsimport, http://download.oracle.com/javase/6/docs/technotes/tools/share/wsimport.html (2011) (online; accessed September 13, 2011)

  19. Pradel, M., Gross, T.: Automatic generation of object usage specifications from large method traces. In: Proceedings of ASE 2009, pp. 371–382 (November 2009)

    Google Scholar 

  20. Raffelt, H., Margaria, T., Steffen, B., Merten, M.: Hybrid test of web applications with webtest. In: Proceedings of TAV-WEB 2008, pp. 1–7. ACM, New York (2008)

    Chapter  Google Scholar 

  21. Raffelt, H., Steffen, B., Berg, T., Margaria, T.: Learnlib: a framework for extrapolating behavioral models. Int. J. Softw. Tools Technol. Transf. 11, 393–407 (2009)

    Article  Google Scholar 

  22. Shahbaz, M., Li, K., Groz, R.: Learning Parameterized State Machine Model for Integration Testing, vol. 2, pp. 755–760. IEEE Computer Society, Washington, DC (2007)

    Google Scholar 

  23. Shahbaz, M., Shashidhar, K.C., Eschbach, R.: Iterative refinement of specification for component based embedded systems. In: Proceedings of ISSTA 2011, pp. 276–286. ACM, New York (2011)

    Google Scholar 

  24. Wasylkowski, A., Zeller, A.: Mining Operational Preconditions (Tech. Rep.), http://www.st.cs.uni-saarland.de/models/papers/wasylkowski-2008-preconditions.pdf

  25. Wasylkowski, A., Zeller, A., Lindig, C.: Detecting Object Usage Anomalies. In: ESEC-FSE 2007, pp. 35–44. ACM (2007)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2012 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Merten, M., Howar, F., Steffen, B., Pellicione, P., Tivoli, M. (2012). Automated Inference of Models for Black Box Systems Based on Interface Descriptions. In: Margaria, T., Steffen, B. (eds) Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change. ISoLA 2012. Lecture Notes in Computer Science, vol 7609. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-34026-0_7

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-34026-0_7

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-34025-3

  • Online ISBN: 978-3-642-34026-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics