Advertisement

Automated Learning Setups in Automata Learning

  • Maik Merten
  • Malte Isberner
  • Falk Howar
  • Bernhard Steffen
  • Tiziana Margaria
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7609)

Abstract

Test drivers are an essential part of any practical active automata learning setup. These components to accomplish the translation of abstract learning queries into concrete system invocations while managing runtime data values in the process. In current practice test drivers typically are created manually for every single system to be learned. This, however, can be a very time-consuming and thus expensive task, making it desirable to find general solutions that can be reused.

This paper discusses how test drivers can be created for LearnLib, a flexible automata learning framework. Starting with the construction of application-specific test drivers by hand, we will discuss how a generic test driver can be employed by means of configuration. This configuration is created manually or (semi-)automatically by analysis of the target system’s interface.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Aarts, F., Schmaltz, J., Vaandrager, F.W.: Inference and Abstraction of the Biometric Passport. In: Margaria, Steffen [10], pp. 673–686Google Scholar
  2. 2.
    Bertolino, A., Inverardi, P., Pelliccione, P., Tivoli, M.: Automatic synthesis of behavior protocols for composable web-services. In: van Vliet, H., Issarny, V. (eds.) ESEC/SIGSOFT FSE, pp. 141–150. ACM (2009)Google Scholar
  3. 3.
    Bohlin, T., Jonsson, B., Soleimanifard, S.: Inferring compact models of communication protocol entities. In: Margaria, Steffen [10], pp. 658–672Google Scholar
  4. 4.
    Bossert, G., Hiet, G., Henin, T.: Modelling to Simulate Botnet Command and Control Protocols for the Evaluation of Network Intrusion Detection Systems. In: Proceedings of the 2011 Conference on Network and Information Systems Security, La Rochelle, France, pp. 1–8 (Jun 2011)Google Scholar
  5. 5.
    Hagerer, A., Hungar, H., Margaria, T., Niese, O., Steffen, B., Ide, H.-D.: Demonstration of an Operational Procedure for the Model-Based Testing of CTI Systems. In: Kutsche, R.-D., Weber, H. (eds.) FASE 2002. LNCS, vol. 2306, pp. 336–340. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  6. 6.
    Howar, F., Steffen, B., Jonsson, B., Cassel, S.: Inferring Canonical Register Automata. In: Kuncak, V., Rybalchenko, A. (eds.) VMCAI 2012. LNCS, vol. 7148, pp. 251–266. Springer, Heidelberg (2012)CrossRefGoogle Scholar
  7. 7.
    Hungar, H., Margaria, T., Steffen, B.: Test-based model generation for legacy systems. In: Proceedings of International Test Conference, ITC 2003, October 2-30, vol. 1, pp. 971–980 (2003)Google Scholar
  8. 8.
    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)CrossRefGoogle Scholar
  9. 9.
    Jung, G., Margaria, T., Wagner, C., Bakera, M.: Formalizing a Methodology for Design- and Runtime Self-Healing. In: IEEE International Workshop on Engineering of Autonomic and Autonomous Systems, pp. 106–115 (2010)Google Scholar
  10. 10.
    Margaria, T., Steffen, B. (eds.): ISoLA 2010, Part I. LNCS, vol. 6415. Springer, Heidelberg (2010)Google Scholar
  11. 11.
    Merten, M., Howar, F., Steffen, B., Cassel, S., Jonsson, B.: Demonstrating Learning of Register Automata. In: Flanagan, C., König, B. (eds.) TACAS 2012. LNCS, vol. 7214, pp. 466–471. Springer, Heidelberg (2012)CrossRefGoogle Scholar
  12. 12.
    Merten, M., Howar, F., Steffen, B., Pellicione, P., Tivoli, M.: Automated Inference of Models for Black Box Systems Based on Interface Descriptions. In: Margaria, T., Steffen, B. (eds.) ISoLA 2012, Part I. LNCS, vol. 7609, pp. 79–96. Springer, Heidelberg (2012)Google Scholar
  13. 13.
    Merten, M., Steffen, B., Howar, F., Margaria, T.: Next Generation LearnLib. In: Abdulla, P.A., Leino, K.R.M. (eds.) TACAS 2011. LNCS, vol. 6605, pp. 220–223. Springer, Heidelberg (2011)CrossRefGoogle Scholar
  14. 14.
    Raffelt, H., Margaria, T., Steffen, B., Merten, M.: Hybrid test of web applications with webtest. In: TAV-WEB 2008: Proceedings of the 2008 Workshop on Testing, Analysis, and Verification of Web Services and Applications, pp. 1–7. ACM, New York (2008)CrossRefGoogle Scholar
  15. 15.
    Raffelt, H., Merten, M., Steffen, B., Margaria, T.: Dynamic testing via automata learning. Int. J. Softw. Tools Technol. Transf. 11(4), 307–324 (2009)CrossRefGoogle Scholar
  16. 16.
    Shahbaz, M., Shashidhar, K.C., Eschbach, R.: Iterative refinement of specification for component based embedded systems. In: ISSTA, pp. 276–286. ACM (2011)Google Scholar
  17. 17.
    W3C. Semantic Annotations for WSDL and XML Schema. Technical report (2007), http://www.w3.org/TR/sawsdl/

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Maik Merten
    • 1
  • Malte Isberner
    • 1
  • Falk Howar
    • 1
  • Bernhard Steffen
    • 1
  • Tiziana Margaria
    • 2
  1. 1.Chair for Programming SystemsTechnical University DortmundDortmundGermany
  2. 2.Chair for Service and Software EngineeringUniversity PotsdamPotsdamGermany

Personalised recommendations