Skip to main content
SpringerLink
Log in
Book cover

International Colloquium on Theoretical Aspects of Computing

ICTAC 2022: Theoretical Aspects of Computing – ICTAC 2022 pp 7–13Cite as

Generalized Test Tables: A Domain-Specific Specification Language for Automated Production Systems

  • Conference paper
  • First Online:

  • 318 Accesses

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 13572))

Abstract

We give an overview of Generalized Test Tables (GTTs), a specification language derived from existing table-based test case description methods commonly used in the domain of automated production systems. We cover syntax and semantics of GTTs as well as their use for formal verification, and introduce an extension, Relational Test Tables (RTTs), which allow the specification of relations between code variants.

This is a preview of subscription content, 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

Learn about institutional subscriptions

Notes

  1. 1.

    Or sometimes called multi-property [11] or hyper-properties [10] if all program runs origin from the same program.

References

  1. Barnett, M., Leino, K.R.M., Schulte, W.: The Spec# programming system: an overview. In: Barthe, G., Burdy, L., Huisman, M., Lanet, J.-L., Muntean, T. (eds.) CASSIS 2004. LNCS, vol. 3362, pp. 49–69. Springer, Heidelberg (2005). https://doi.org/10.1007/978-3-540-30569-9_3

    Chapter  Google Scholar 

  2. Barthe, G., Crespo, J.M., Kunz, C.: Relational verification using product programs. In: Butler, M., Schulte, W. (eds.) FM 2011. LNCS, vol. 6664, pp. 200–214. Springer, Heidelberg (2011). https://doi.org/10.1007/978-3-642-21437-0_17

    Chapter  Google Scholar 

  3. Beckert, B., Cha, S., Ulbrich, M., Vogel-Heuser, B., Weigl, A.: Generalised test tables: a practical specification language for reactive systems. In: Polikarpova, N., Schneider, S. (eds.) IFM 2017. LNCS, vol. 10510, pp. 129–144. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-66845-1_9

    Chapter  Google Scholar 

  4. Beckert, B., Schiffl, J., Schmitt, P.H., Ulbrich, M.: Proving JDK’s dual pivot quicksort correct. In: Paskevich, A., Wies, T. (eds.) VSTTE 2017. LNCS, vol. 10712, pp. 35–48. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-72308-2_3

    Chapter  Google Scholar 

  5. Beckert, B., Ulbrich, M.: Trends in relational program verification. In: Principled Software Development, pp. 41–58. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-98047-8_3

    Chapter  Google Scholar 

  6. de Boer, M., de Gouw, S., Klamroth, J., Jung, C., Ulbrich, M., Weigl, A.: Formal specification and verification of JDK’s identity hash map implementation. In: ter Beek, M.H., Monahan, R. (eds.) Integrated Formal Methods - 17th International Conference, IFM 2022, Lugano, Switzerland, June 7–10, 2022, Proceedings. Lecture Notes in Computer Science, vol. 13274, pp. 45–62. Springer, Cham (2022). https://doi.org/10.1007/978-3-031-07727-2_4

  7. Butler, M., Conchon, S., Zaïdi, F. (eds.): ICFEM 2015. LNCS, vol. 9407. Springer, Cham (2015). https://doi.org/10.1007/978-3-319-25423-4

    Book  Google Scholar 

  8. Cha, S.: Application concept and evaluation of a formal specification approach usable by engineers for retrofitting production automation by software changes. Ph.D. thesis, Technical University of Munich, Germany (2021). https://nbn-resolving.org/urn:nbn:de:bvb:91-diss-20210519-1595575-0-5

  9. Cha, S., Weigl, A., Ulbrich, M., Beckert, B., Vogel-Heuser, B.: Applicability of generalized test tables: a case study using the manufacturing system demonstrator xppu. Automatisierungstechnik 66(10), 834–848 (2018). https://doi.org/10.1515/auto-2018-0028

    Article  Google Scholar 

  10. Clarkson, M.R., Schneider, F.B.: Hyperproperties. J. Comput. Secur. 18(6), 1157–1210 (2010). https://doi.org/10.3233/JCS-2009-0393

    Article  Google Scholar 

  11. Goudsmid, O., Grumberg, O., Sheinvald, S.: Compositional model checking for multi-properties. In: Henglein, F., Shoham, S., Vizel, Y. (eds.) VMCAI 2021. LNCS, vol. 12597, pp. 55–80. Springer, Cham (2021). https://doi.org/10.1007/978-3-030-67067-2_4

    Chapter  MATH  Google Scholar 

  12. de Gouw, S., Rot, J., de Boer, F.S., Bubel, R., Hähnle, R.: OpenJDK’s Java.utils.Collection.sort() is broken: the good, the bad and the worst case. In: Kroening, D., Păsăreanu, C.S. (eds.) CAV 2015. LNCS, vol. 9206, pp. 273–289. Springer, Cham (2015). https://doi.org/10.1007/978-3-319-21690-4_16

    Chapter  Google Scholar 

  13. Leavens, G.T.: Tutorial on JML, the java modeling language. In: Stirewalt, R.E.K., Egyed, A., Fischer, B. (eds.) 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 5–9 November 2007, Atlanta, Georgia, USA, p. 573. ACM (2007). https://doi.org/10.1145/1321631.1321747

  14. Weigl, A.: Formal Specification and Verification for Automated Production Systems. Ph.D. thesis, Karlsruhe Institute of Technology, Germany (2021). https://nbn-resolving.org/urn:nbn:de:101:1-2021122204023164080066

  15. Weigl, A., Ulbrich, M., Cha, S., Beckert, B., Vogel-Heuser, B.: Relational test tables: A practical specification language for evolution and security. In: Bae, K., Bianculli, D., Gnesi, S., Plat, N. (eds.) FormaliSE@ICSE 2020: 8th International Conference on Formal Methods in Software Engineering, Seoul, Republic of Korea, 13 July 2020, pp. 77–86. ACM (2020). https://doi.org/10.1145/3372020.3391566

  16. Weigl, A., Ulbrich, M., Tyszberowicz, S., Klamroth, J.: Runtime verification of generalized test tables. In: Dutle, A., Moscato, M.M., Titolo, L., Muñoz, C.A., Perez, I. (eds.) NFM 2021. LNCS, vol. 12673, pp. 358–374. Springer, Cham (2021). https://doi.org/10.1007/978-3-030-76384-8_22

    Chapter  Google Scholar 

  17. Weigl, A., Wiebe, F., Ulbrich, M., Ulewicz, S., Cha, S., Kirsten, M., Beckert, B., Vogel-Heuser, B.: Generalized test tables: A powerful and intuitive specification language for reactive systems. In: 15th IEEE International Conference on Industrial Informatics, INDIN 2017, Emden, Germany, 24–26 July 2017, pp. 875–882. IEEE (2017). https://doi.org/10.1109/INDIN.2017.8104887

Download references

Author information

Authors and Affiliations

  1. Karlsruhe Institute of Technology, Karlsruhe, Germany

    Bernhard Beckert, Mattias Ulbrich & Alexander Weigl

  2. Technical University of Munich, Munich, Germany

    Birgit Vogel-Heuser

Authors
  1. Bernhard Beckert
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Mattias Ulbrich
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Birgit Vogel-Heuser
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Alexander Weigl
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Alexander Weigl .

Editor information

Editors and Affiliations

  1. TU München, München, Germany

    Helmut Seidl

  2. Southwest University, Chongqing, China

    Zhiming Liu

  3. NASA Ames Research Center, Moffett Field, CA, USA

    Corina S. Pasareanu

Rights and permissions

Reprints and permissions

Copyright information

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

Beckert, B., Ulbrich, M., Vogel-Heuser, B., Weigl, A. (2022). Generalized Test Tables: A Domain-Specific Specification Language for Automated Production Systems. In: Seidl, H., Liu, Z., Pasareanu, C.S. (eds) Theoretical Aspects of Computing – ICTAC 2022. ICTAC 2022. Lecture Notes in Computer Science, vol 13572. Springer, Cham. https://doi.org/10.1007/978-3-031-17715-6_2

Download citation

  • DOI: https://doi.org/10.1007/978-3-031-17715-6_2

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-031-17714-9

  • Online ISBN: 978-3-031-17715-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation