{"language":[{"iso":"eng"}],"author":[{"full_name":"Güldali, Baris","last_name":"Güldali","first_name":"Baris"},{"first_name":"Stefan","id":"447","full_name":"Sauer, Stefan","last_name":"Sauer"},{"last_name":"Engels","full_name":"Engels, Gregor","id":"107","first_name":"Gregor"}],"title":"Formalisierung der funktionalen Anforderungen mit visuellen Kontrakten und deren Einsatz für modellbasiertes Testen","year":"2008","_id":"7372","abstract":[{"text":"Wir haben in diesem Beitrag einen Ansatz zur Formalisierung der UML-Anwendungsfallsbeschreibungen vorgestellt, um Anwendungsfälle effektiv für Testzwecke einsetzen zu können. Dabei werden die textuellen Beschreibungen der Vor- und Nachbedingungen mit visuellen Kontrakten formalisiert. Die visuellen Kontrakte beschreiben die Änderungen bezüglich der fachlichen Daten nach der Ausführung des Anwendungsfalls. Mit visuellen Kontrakten können während der Testfallspezifikation Testeingaben generiert und während der Testausführung Testausgaben überprüft werden. Für visuelle Kontrakte wurden Werkzeuge entwickelt, die die Einbindung der visuellen Kontrakte in den Entwicklungs- und Testprozess ermöglichen.","lang":"ger"}],"issue":"3","type":"journal_article","publication":"Softwaretechnik-Trends","date_created":"2019-01-31T15:24:59Z","department":[{"_id":"66"}],"volume":28,"citation":{"apa":"Güldali, B., Sauer, S., &#38; Engels, G. (2008). Formalisierung der funktionalen Anforderungen mit visuellen Kontrakten und deren Einsatz für modellbasiertes Testen. <i>Softwaretechnik-Trends</i>, <i>28</i>(3), 12–16.","chicago":"Güldali, Baris, Stefan Sauer, and Gregor Engels. “Formalisierung Der Funktionalen Anforderungen Mit Visuellen Kontrakten Und Deren Einsatz Für Modellbasiertes Testen.” <i>Softwaretechnik-Trends</i> 28, no. 3 (2008): 12–16.","mla":"Güldali, Baris, et al. “Formalisierung Der Funktionalen Anforderungen Mit Visuellen Kontrakten Und Deren Einsatz Für Modellbasiertes Testen.” <i>Softwaretechnik-Trends</i>, vol. 28, no. 3, 2008, pp. 12–16.","bibtex":"@article{Güldali_Sauer_Engels_2008, title={Formalisierung der funktionalen Anforderungen mit visuellen Kontrakten und deren Einsatz für modellbasiertes Testen}, volume={28}, number={3}, journal={Softwaretechnik-Trends}, author={Güldali, Baris and Sauer, Stefan and Engels, Gregor}, year={2008}, pages={12–16} }","ama":"Güldali B, Sauer S, Engels G. Formalisierung der funktionalen Anforderungen mit visuellen Kontrakten und deren Einsatz für modellbasiertes Testen. <i>Softwaretechnik-Trends</i>. 2008;28(3):12-16.","ieee":"B. Güldali, S. Sauer, and G. Engels, “Formalisierung der funktionalen Anforderungen mit visuellen Kontrakten und deren Einsatz für modellbasiertes Testen,” <i>Softwaretechnik-Trends</i>, vol. 28, no. 3, pp. 12–16, 2008.","short":"B. Güldali, S. Sauer, G. Engels, Softwaretechnik-Trends 28 (2008) 12–16."},"date_updated":"2022-01-06T07:03:35Z","status":"public","intvolume":"        28","page":"12-16","user_id":"52534"}