{"author":[{"full_name":"Engels, Gregor","last_name":"Engels","id":"107","first_name":"Gregor"},{"full_name":"Güldali, Baris","last_name":"Güldali","first_name":"Baris"},{"first_name":"Marc","last_name":"Lohmann","full_name":"Lohmann, Marc"}],"status":"public","_id":"8414","intvolume":"      4364","year":"2007","page":"182-192","type":"conference","publication":"Proceedings of the 2006 International Conference on Models in Software Engineering (MoDELS 2006)","date_created":"2019-03-06T11:44:57Z","place":"Berlin/Heidelberg","volume":4364,"abstract":[{"lang":"eng","text":"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."}],"doi":"http://dx.doi.org/10.1007/978-3-540-69489-2_23","date_updated":"2022-01-06T07:03:54Z","language":[{"iso":"eng"}],"title":"Towards Model-Driven Unit Testing","department":[{"_id":"66"}],"citation":{"apa":"Engels, G., Güldali, B., &#38; Lohmann, M. (2007). Towards Model-Driven Unit Testing. In <i>Proceedings of the 2006 International Conference on Models in Software Engineering (MoDELS 2006)</i> (Vol. 4364, pp. 182–192). Berlin/Heidelberg: Springer. <a href=\"http://dx.doi.org/10.1007/978-3-540-69489-2_23\">http://dx.doi.org/10.1007/978-3-540-69489-2_23</a>","ieee":"G. Engels, B. Güldali, and M. Lohmann, “Towards Model-Driven Unit Testing,” in <i>Proceedings of the 2006 International Conference on Models in Software Engineering (MoDELS 2006)</i>, 2007, vol. 4364, pp. 182–192.","mla":"Engels, Gregor, et al. “Towards Model-Driven Unit Testing.” <i>Proceedings of the 2006 International Conference on Models in Software Engineering (MoDELS 2006)</i>, vol. 4364, Springer, 2007, pp. 182–92, doi:<a href=\"http://dx.doi.org/10.1007/978-3-540-69489-2_23\">http://dx.doi.org/10.1007/978-3-540-69489-2_23</a>.","bibtex":"@inproceedings{Engels_Güldali_Lohmann_2007, place={Berlin/Heidelberg}, series={LNCS}, title={Towards Model-Driven Unit Testing}, volume={4364}, DOI={<a href=\"http://dx.doi.org/10.1007/978-3-540-69489-2_23\">http://dx.doi.org/10.1007/978-3-540-69489-2_23</a>}, 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} }","ama":"Engels G, Güldali B, Lohmann M. Towards Model-Driven Unit Testing. In: <i>Proceedings of the 2006 International Conference on Models in Software Engineering (MoDELS 2006)</i>. Vol 4364. LNCS. Berlin/Heidelberg: Springer; 2007:182-192. doi:<a href=\"http://dx.doi.org/10.1007/978-3-540-69489-2_23\">http://dx.doi.org/10.1007/978-3-540-69489-2_23</a>","chicago":"Engels, Gregor, Baris Güldali, and Marc Lohmann. “Towards Model-Driven Unit Testing.” In <i>Proceedings of the 2006 International Conference on Models in Software Engineering (MoDELS 2006)</i>, 4364:182–92. LNCS. Berlin/Heidelberg: Springer, 2007. <a href=\"http://dx.doi.org/10.1007/978-3-540-69489-2_23\">http://dx.doi.org/10.1007/978-3-540-69489-2_23</a>.","short":"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."},"publisher":"Springer","user_id":"52534","series_title":"LNCS"}