Towards Model-Driven Unit Testing

G. Engels, B. Güldali, M. Lohmann, in: Proceedings of the 2006 International Conference on Models in Software Engineering (MoDELS 2006), Springer, Berlin/Heidelberg, 2007, pp. 182–192.

Download
No fulltext has been uploaded.
Conference Paper | English
Author
; ;
Abstract
The Model-Driven Architecture (MDA) approach for constructing software systems advocates a stepwise refinement and transformation process starting from high-level models to concrete program code. In contrast to numerous research efforts that try to generate executable function code from models, we propose a novel approach termed model-driven monitoring. On the model level the behavior of an operation is specified with a pair of UML composite structure diagrams (visual contract), a visual notation for pre- and post-conditions. The specified behavior is implemented by a programmer manually. An automatic translation from our visual contracts to JML assertions allows for monitoring the hand-coded programs during their execution. In this paper we present an approach to extend our model-driven monitoring approach to allow for model-driven unit testing. In this approach we utilize the generated JML assertions as test oracles. Further, we present an idea how to generate sufficient test cases from our visual contracts with the help of model-checking techniques.
Publishing Year
Proceedings Title
Proceedings of the 2006 International Conference on Models in Software Engineering (MoDELS 2006)
Volume
4364
Page
182-192
LibreCat-ID

Cite this

Engels G, Güldali B, Lohmann M. Towards Model-Driven Unit Testing. In: Proceedings of the 2006 International Conference on Models in Software Engineering (MoDELS 2006). Vol 4364. LNCS. Berlin/Heidelberg: Springer; 2007:182-192. doi:http://dx.doi.org/10.1007/978-3-540-69489-2_23
Engels, G., Güldali, B., & Lohmann, M. (2007). Towards Model-Driven Unit Testing. In Proceedings of the 2006 International Conference on Models in Software Engineering (MoDELS 2006) (Vol. 4364, pp. 182–192). Berlin/Heidelberg: Springer. http://dx.doi.org/10.1007/978-3-540-69489-2_23
@inproceedings{Engels_Güldali_Lohmann_2007, place={Berlin/Heidelberg}, series={LNCS}, title={Towards Model-Driven Unit Testing}, volume={4364}, DOI={http://dx.doi.org/10.1007/978-3-540-69489-2_23}, booktitle={Proceedings of the 2006 International Conference on Models in Software Engineering (MoDELS 2006)}, publisher={Springer}, author={Engels, Gregor and Güldali, Baris and Lohmann, Marc}, year={2007}, pages={182–192}, collection={LNCS} }
Engels, Gregor, Baris Güldali, and Marc Lohmann. “Towards Model-Driven Unit Testing.” In Proceedings of the 2006 International Conference on Models in Software Engineering (MoDELS 2006), 4364:182–92. LNCS. Berlin/Heidelberg: Springer, 2007. http://dx.doi.org/10.1007/978-3-540-69489-2_23.
G. Engels, B. Güldali, and M. Lohmann, “Towards Model-Driven Unit Testing,” in Proceedings of the 2006 International Conference on Models in Software Engineering (MoDELS 2006), 2007, vol. 4364, pp. 182–192.
Engels, Gregor, et al. “Towards Model-Driven Unit Testing.” Proceedings of the 2006 International Conference on Models in Software Engineering (MoDELS 2006), vol. 4364, Springer, 2007, pp. 182–92, doi:http://dx.doi.org/10.1007/978-3-540-69489-2_23.

Export

Marked Publications

Open Data LibreCat

Search this title in

Google Scholar