Refining high-level system scenarios into executable models is often not automatic and subject to implementation choices. We develop techniques and tools combining different modes of simulation in order to assess automatically the correctness of executable fUML activities with respect to system scenarios specified as UML MARTE sequence diagrams. In this paper, we show how test data are extracted from sequence diagrams using symbolic execution and how they are used as inputs to test system activities in the standardized fUML virtual machine.
CITATION STYLE
Arnaud, M., Bannour, B., Cuccuru, A., Gaston, C., Gerard, S., & Lapitre, A. (2015). Timed symbolic testing framework for executable models using high-level scenarios. In Complex Systems Design and Management - Proceedings of the 5th International Conference on Complex Systems Design and Management, CSD and M 2014 (pp. 269–282). Springer Science and Business Media Deutschland GmbH. https://doi.org/10.1007/978-3-319-11617-4_19
Mendeley helps you to discover research relevant for your work.