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.
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
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
Back, R. J. R., Kurki-Suonio, R. (1988): Distributed cooperation with action systems. ACM Trans Program Lang Syst, 10 (4): 513–554
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
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
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/
Author information
Authors and Affiliations
Corresponding author
Rights 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
Issue Date:
DOI: https://doi.org/10.1007/s00502-010-0741-2