Model-driven Testing Approach for Embedded Systems Specifics Verification based on UML Model Transformation

Jurijs Grigorjevs

Abstract

This paper is devoted to a model-driven testing approach for embedded system’s non-functional requirements. The method is based on UML state and sequence diagrams suitable for synchronization, asynchronous behavior and timing constraints presentation. The article discusses principles of model transformation and shows a practical approach of a testing model generation from a system model. The idea of such transformation is to generate test cases focused on specific behavior verification of embedded systems. In the paper described example presents method approbation within timing behavior verification using the UML sequence diagram. Presented example is based on a sequence diagram XMI representation, which firstly is pre-processed and moved into data base structures and then transformation rules are applied to generate the testing model. In the result of such transformation a set of valid and invalid test cases is generat-ed in a form of the UML Testing profile.

References

  1. Grigorjevs, J., Nikiforova, O.: Modeling of Non-Functional Requirements of Embedded Systems, Scientific Proceedings of 42nd Spring International Conference MOSIS2008, MARQ, Ostrava (2008) pp. 13-20.
  2. Grigorjevs, J., Nikiforova, O.: Compliance of Popular Modeling Notations to Nonfunctional Requirements of Embedded Systems, in Proceedings of the International Scientific Conference Informatics in the Scientific Knowledge 2008, University publishing house VFU “Chernorizets Hrabar”, Varna (2008) pp. 139-149.
  3. OMG. Model Driven Architecture. Retrieved from: http://www.omg.org/mda/
  4. Ghezzi, C., Mandrioli, D., Morasca, S., Pezze, M.: A general way to put time in Petri nets, Proceedings of the 5th international workshop on Software specification and design (1989) pp. 60-67.
  5. Cortés, L. A., Eles, P.: Verification of Embedded Systems using a Petri Net based Representation (2000).
  6. Jensen, K.: Coloured Petri nets, Petri Nets: Central Models and Their Properties, Lecture Notes in Computer Science (1987) pp. 248-299.
  7. Spillner, A., Linz, T., Schaefer, H.: Software Testing Foundations, Santa Barbara, Rocky Nook Inc. (2007).
  8. Engels, G., Guldali, B., Lohmann, M.: Towards Model-Driven Unit Testing. Retrieved from: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.62.200.
  9. Kleppe, A. G., Warmer, J., Bast, W.: MDA Explained: The Model Driven Architecture: Practice and Promise, Addison Wesley Professional (2003).
  10. MOF. OMG's MetaObject Facility. Retrieved from: http://www.omg.org/mof/
  11. OMG. UML Testing Profile, v 1.0. Retrieved from: http://www.omg.org/technology/ documents/formal/test_profile.htm.
  12. OMG, XML Metadata Interchange, v 2.1.1. Retrieved from: http://www.omg.org/ spec/XMI/2.1.1.
Download


Paper Citation


in Harvard Style

Grigorjevs J. (2011). Model-driven Testing Approach for Embedded Systems Specifics Verification based on UML Model Transformation . In Proceedings of the 3rd International Workshop on Model-Driven Architecture and Modeling-Driven Software Development - Volume 1: MDA & MDSD, (ENASE 2011) ISBN 978-989-8425-59-1, pages 26-35


in Bibtex Style

@conference{mda & mdsd11,
author={Jurijs Grigorjevs},
title={Model-driven Testing Approach for Embedded Systems Specifics Verification based on UML Model Transformation},
booktitle={Proceedings of the 3rd International Workshop on Model-Driven Architecture and Modeling-Driven Software Development - Volume 1: MDA & MDSD, (ENASE 2011)},
year={2011},
pages={26-35},
publisher={SciTePress},
organization={INSTICC},
doi={},
isbn={978-989-8425-59-1},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 3rd International Workshop on Model-Driven Architecture and Modeling-Driven Software Development - Volume 1: MDA & MDSD, (ENASE 2011)
TI - Model-driven Testing Approach for Embedded Systems Specifics Verification based on UML Model Transformation
SN - 978-989-8425-59-1
AU - Grigorjevs J.
PY - 2011
SP - 26
EP - 35
DO -