Skip to main content
SpringerLink
Log in

Towards generation of efficient test cases from UML/OCL models for complex safety-critical systems

  • Mikroelektronik 10
  • Published:
e & i Elektrotechnik und Informationstechnik Aims and scope Submit manuscript

Summary

This paper describes a new approach for model-based test case generation (MBTCG) for large systems, which not only supports the expression of complex requirements (constraints) using OCL, but also lays ground for improving the efficiency (i.e. maximum coverage with minimal number of test cases) of the generated test case set. For that purpose, UML/OCL models are transformed to (object-oriented) action systems, where test cases are generated by means of mutation. The resulting "abstract" test cases represent input/output sequences with possible branches according to valid alternatives in system responses. They have finally to be transformed to "concrete" test cases which can be applied to the target application. The described work is part of the European project MOGENTES.

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

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  • Back, J. R. J., Sere, K. (1991): Stepwise refinement of Parallel Algorithms. In: Science of Computer Programming 13: 133–180

    Article  MathSciNet  Google Scholar 

  • Back, R. J. R., Kurki-Suonio, R. (1983): Decentralization of process nets with centralized control. In: Proc. 2nd ACM SIGACT-SIGOPS Symp. on Principles of Distributed Computing, 1983: 131–142

    Google Scholar 

  • Back, R. J. R., Kurki-Suonio, R. (1988): Distributed cooperation with action systems. ACM Trans Program Lang Syst, 10 (4): 513–554

    Article  MATH  Google Scholar 

  • Berardi, D. (2002): Using DLs to reason on UML Class Diagrams. In: Proc. of the KI-2002 Workshop W6 on Applications of Description Logics, ADL'02

  • Berardi, D., Calvanese, D., De Giacomo, G. (2001): Reasoning on UML Class Diagram using Description Logic Based System. In: Proc. of the KI-2001 Workshop W6 on Applications of Description Logics, ADL'01

  • Bonsangue, M. M., Kok, J. N., Sere, K. (1998): An Approach to Object-Orientation in Action Systems. In: Proc. MPC'98, LNCS 1422, 1998. Berlin, Heidelberg: Springer. 68–95

  • Djuric, D., Gaševic, D., Devedžic, V. (2004): MDA-Based Ontological Engineering. In: Chang, S. K. (Ed.): Handbook of Software Engineering and Knowledge Engineering, Vol. 3. Singapore: World Scientific Publishing Co

    Google Scholar 

  • Gruber, T., Böhm, W. (2001): Elektronische Eisenbahnstellwerke – Fehlertolerante Systeme im Technologiewandel. IT'S TIME, Ed. 01, ARCS, Seibersdorf: 61–66

  • Laun, W. (2002): Peripheral Simulation. In: Proc. YAPC Europe, München, 2002: 56–63

    Google Scholar 

  • Object Management Group (2004): Object Constraint Language 2.0 Specification; ptc/03-10–14

  • Object Management Group (2007): Unified Modeling Language (OMG UML); Infrastructure and Superstructure V2.1.2, OMG Document Number: formal/2007-11-04; OMG 2007

  • Object Management Group (2009): Ontology Definition Metamodel; OMG Document Number: formal/2009-05-01, http://www.omg.org/spec/ODM/1.0/

Download references

Author information

Authors and Affiliations

  1. AIT Austrian Institute of Technology, Vienna, Austria

    W. Herzner & R. Schlick

  2. Thales Rail Signalling Solutions GesmbH, Wien, Austria

    W. Schütz

  3. Graz University of Technology, Graz, Austria

    H. Brandl & W. Krenn

Authors
  1. W. Herzner
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. R. Schlick
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. W. Schütz
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. H. Brandl
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. W. Krenn
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to W. Herzner.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Herzner, W., Schlick, R., Schütz, W. et al. Towards generation of efficient test cases from UML/OCL models for complex safety-critical systems. Elektrotech. Inftech. 127, 181–186 (2010). https://doi.org/10.1007/s00502-010-0741-2

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00502-010-0741-2

Keywords

Search

Navigation