Abstract
In recent years higher level of abstractions are considered to cope with the complexity in today’s system design. Especially, modeling languages such as SysML get increasingly popular in early design phases. Model-based testing allows to use those models for test generation. Test cases are derived from the model and not directly from the specification. In this work a new proposed methodology will be implemented in an existing model-based testing tool. Afterwards this methodology is used to extend the tool to support activities as well as state machines and not only state machines.
This work was supported by the Graduate School SyDe, funded by the German Excellence Initiative within the University of Bremen’s institutional strategy.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsReferences
Gogolla, M., Kuhlmann, M., Hamann, L.: Consistency, independence and consequences in UML and OCL models. In: Tests and Proofs. pp. 90-104 (Jul 2009)
Hilken, C., Peleska, J., Wille, R.: A unified formulation of behavioral semantics for sysml models. In: 3rd International Conference on Model-Driven Engineering and Software Development (2015)
Hilken, C., Seiter, J., Wille, R., Kühne, U., Drechsler, R.: Verifying consistency between activity diagrams and their corresponding ocl contracts. In: Forum on Specification & Design Languages (2014)
Object Management Group: OMG Systems Modeling Language (OMG SysMLTM). Tech. rep., Object Management Group (2010), OMG Document Number: formal/2010-06–02
Object Management Group: OMG Object Constraint Language (OCL). Tech. rep., Object Management Group (2012), oMg Document Number: formal/2012-01–01
Peleska, J.: Industrial-strength model-based testing – state of the art and current challenges. In: Petrenko, A.K., Schlingloff, H. (eds.) Proceedings Eighth Workshop on Model-Based Testing, Rome, Italy, 17th March 2013. Electronic Proceedings in Theoretical Computer Science, vol. 111, pp. 3-28. Open Publishing Association (2013)
Soeken, M., Wille, R., Drechsler, R.: Verifying dynamic aspects of UML models. In: Design, Automation and Test in Europe. pp. 1077–1082. IEEE Computer Society (Mar 2011)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer Fachmedien Wiesbaden
About this chapter
Cite this chapter
Hilken, C., Peleska, J. (2015). Model-Based Testing Against Complex SysML Models. In: Drechsler, R., Kühne, U. (eds) Formal Modeling and Verification of Cyber-Physical Systems. Springer Vieweg, Wiesbaden. https://doi.org/10.1007/978-3-658-09994-7_14
Download citation
DOI: https://doi.org/10.1007/978-3-658-09994-7_14
Published:
Publisher Name: Springer Vieweg, Wiesbaden
Print ISBN: 978-3-658-09993-0
Online ISBN: 978-3-658-09994-7
eBook Packages: Computer ScienceComputer Science (R0)