Skip to main content

Contract-Based Specification and Test Generation for Adaptive Systems

  • Conference paper
  • First Online:
Theory and Engineering of Dependable Computer Systems and Networks (DepCoS-RELCOMEX 2021)

Part of the book series: Advances in Intelligent Systems and Computing ((AISC,volume 1389))

Included in the following conference series:


Control systems in railway, automotive or industrial robotic applications are generally tightly integrated into their environment to allow adapting to environmental changes. This paper proposes a contract-based specification and testing approach for adaptive systems based on the combination of a high-level scenario language (LSC variant) and an adaptive contract language (statechart extension). The scenario language supports high-level modeling constructs as well as configurable options for test generation. The adaptive contract language supports the flexible definition of scenario contract activation and deactivation based on environmental changes or interactions. Tests can be derived from adaptive contract descriptions using the combination of graph-traversal algorithms and integrated model checker back-ends. The applicability of the approach is demonstrated in the context of the Gamma framework.

This work was partially supported by the ÚNKP-20-3 New National Excellence Program of the Ministry for Innovation and Technology and by the National Research, Development and Innovation Fund of Hungary, financed under the [2019-2.1.1-EUREKA-2019-00001] funding scheme.

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

Access this chapter

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


  1. 1.

  2. 2.


  1. Message Sequence Chart (MSC) – Annex B: Algebraic semantics of Message Sequence Charts. Standard, ITU-TS (1995).

  2. Damm, W., Harel, D.: LSCs: breathing life into message sequence charts. Formal Methods Syst. Des. 19(1), 45–80 (2001)

    Article  Google Scholar 

  3. Unified Modeling Language Version 2.5.1 (UMLv2.5.1) - Sequence Digrams. Standard, Object Management Group (OMG) (2017)

    Google Scholar 

  4. Harel, D., Maoz, S.: Assert and negate revisited: Modal semantics for UML sequence diagrams. Softw. Syst. Model. 7(2), 237–252 (2008)

    Article  Google Scholar 

  5. Molnár, V., Graics, B., Vörös, A., Majzik, I., Varró, D.: The Gamma Statechart Composition Framework: design, verification and code generation for component-based reactive systems. In: 40th International Conference on Software Engineering (ICSE), pp. 113–116. ACM, Gothenburg, Sweden (2018).

  6. Graics, B., Molnár, V., Vörös, A., Majzik, I., Varró, D.: Mixed-semantics composition of statecharts for the component-based design of reactive systems. Softw. Syst. Model. 19(6), 1483–1517 (2020).

    Article  Google Scholar 

  7. Harel, D.: Statecharts: a visual formalism for complex systems. Sci. Comput. Program. 8(3), 231–274 (1987).

    Article  MathSciNet  MATH  Google Scholar 

  8. Behrmann, G., David, A., Larsen, K.G., Håkansson, J., Pettersson, P., Yi, W., Hendriks, M.: Uppaal 4.0, (2006)

    Google Scholar 

  9. Tóth, T., Hajdu, A., Vörös, A., Micskei, Z., Majzik, I.: Theta: a framework for abstraction refinement-based model checking. In:  Stewart, D.,  Weissenbacher, G. (eds.) Proceedings of the 17th Conference on Formal Methods in Computer-Aided Design, pp. 176–179 (2017).

  10. Heap, B.R.: Permutations by Interchanges. Comput. J. 6(3), 293–298 (1963).

    Article  MATH  Google Scholar 

  11. Keeney, J., Cahill, V.: Chisel: a policy-driven, context-aware, dynamic adaptation framework. In: Proceedings POLICY 2003. In: IEEE 4th International Workshop on Policies for Distributed Systems and Networks, pp. 3–14 (2003)

    Google Scholar 

  12. David, P.C., Ledoux, T.: Safe dynamic reconfigurations of fractal architectures with FScript. In: Proceeding of Fractal CBSE Workshop, ECOOP, vol. 6 (2006)

    Google Scholar 

  13. Kephart, J.O., Das, R.: Achieving self-management via utility functions. IEEE Internet Comput. 11(1), 40–48 (2007).

    Article  Google Scholar 

  14. Fleurey, F., Solberg, A.: A domain specific modeling language supporting specification, simulation and execution of dynamic adaptive systems. In: Schürr, A., Selic, B. (eds.) Model Driven Engineering Languages and Systems, pp. 606–621. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  15. Shirole, M., Kumar, R.: UML behavioral model based test case generation: a survey. ACM SIGSOFT Softw. Eng. Notes 38(4), 1–13 (2013)

    Article  Google Scholar 

  16. Pelliccione, P., Muccini, H., Bucchiarone, A., Facchini, F.: TeStor: Deriving test sequences from model-based specifications. In: Heineman, G.T., Crnkovic, I., Schmidt, H.W., Stafford, J.A., Szyperski, C., Wallnau, K. (eds.) Component-Based Software Engineering, pp. 267–282. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  17. Sokenou, D.: Generating test sequences from UML sequence diagrams and state diagrams. INFORMATIK 2006–Informatik für Menschen–Band 2, Beiträge der 36. Jahrestagung der Gesellschaft für Informatik eV (GI) (2006)

    Google Scholar 

  18. Bandyopadhyay, A., Ghosh, S.: Test input generation using UML sequence and state machines models. In: 2009 International Conference on Software Testing Verification and Validation, pp. 121–130 (2009).

Download references

Author information

Authors and Affiliations


Corresponding author

Correspondence to Bence Graics .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2021 The Author(s), under exclusive license to Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Graics, B., Molnár, V., Majzik, I. (2021). Contract-Based Specification and Test Generation for Adaptive Systems. In: Zamojski, W., Mazurkiewicz, J., Sugier, J., Walkowiak, T., Kacprzyk, J. (eds) Theory and Engineering of Dependable Computer Systems and Networks. DepCoS-RELCOMEX 2021. Advances in Intelligent Systems and Computing, vol 1389. Springer, Cham.

Download citation

Publish with us

Policies and ethics