David Faragó and Arne-Michael Törsel and Michael Mlynarski and Stephan Weißleder and Baris Güldali and Christian Brandes: Wirtschaftlichkeitsberechnung für MBT: Wann sich modellbasiertes Testen lohnt. In OBJEKTspektrum, vol. 4, pp. 32-38 (2013)
Show Bibtex | Show Abstract | URL

@article{gjmnw10, author = {David Faragó and Arne-Michael Törsel and Michael Mlynarski and Stephan Weißleder and Baris Güldali and Christian Brandes}, editor = {Th. Janning}, title = {Wirtschaftlichkeitsberechnung für MBT: Wann sich modellbasiertes Testen lohnt}, journal = {OBJEKTspektrum}, year = {2013}, volume = {4}, pages = {32-38}, month = {Juni} }

Modellbasiertes Testen verspricht potenziell eine höhere Effizienz und Effektivität im Testprozess. Ob im eigenen Kontext der Einsatz wirtschaftlich ist, ist jedoch häufig unklar. Dieser Beitrag analysiert systematisch Kosten- und Nutzenfaktoren und stellt ein Verfahren zur Abschätzung der Wirtschaftlichkeit des modellbasierten Testens vor. Anhand eines Beispiels wird der Ablauf veranschaulicht.

Marvin Grieger and Baris Güldali and Stefan Sauer and Michael Mlynarski: Testen bei Migrationsprojekten. In OBJEKTspektrum (Online Themenspecials), pp. 1-4 (2013)
Show Bibtex | Show Abstract | URL

@article{ggsmg13, author = {Marvin Grieger and Baris Güldali and Stefan Sauer and Michael Mlynarski}, title = {Testen bei Migrationsprojekten}, journal = {OBJEKTspektrum (Online Themenspecials)}, year = {2013}, pages = {1-4}, month = {September} }

Softwaresysteme altern über die Zeit. Dieser Prozess ist dadurch gekennzeichnet, dass sich die Kluft zwischen den wachsenden Anforderungen an die Systeme und deren tatsächliche Leistungsfähigkeit immer weiter vergrößert. Oftmals erfolgt eine Erhaltung und Weiterentwicklung der Systeme, um der Alterung entgegenzuwirken. Über die Zeit geht dies jedoch mit einer verringerten Qualität der Software und einer steigenden Wartungskomplexität einher. Der Umfang der Änderungsmöglichkeiten durch eine Weiterentwicklung ist zudem begrenzt, weil Einschränkungen der zugrunde liegenden Technologie dazu führen können, dass nicht alle Anforderungen umsetzbar sind. Ein Ausweg ist die Migration des Systems in eine neue Umgebung. Dies ist jedoch nur dann erfolgreich, wenn das migrierte System die funktionalen und nichtfunktionalen Anforderungen weiterhin erfüllt, was durch Testen geprüft werden muss. In diesem Artikel erläutern wir, worauf es dabei je nach Art der Migration ankommt.

Stephan Weißleder and Baris Güldali and Michael Mlynarski and Arne-Michael Törsel and David Faragó and Florian Prester and Mario Winter: Modellbasiertes Testen: Hype oder Realität?. In OBJEKTspektrum, no. 6, pp. 59-65 (2011)
Show Bibtex | Show Abstract | URL

@article{gjmnw10, author = {Stephan Weißleder and Baris Güldali and Michael Mlynarski and Arne-Michael Törsel and David Faragó and Florian Prester and Mario Winter}, title = {Modellbasiertes Testen: Hype oder Realität?}, journal = {OBJEKTspektrum}, year = {2011}, number = {6}, pages = {59-65}, month = {Oktober} }

Manuelle Testerstellung verursacht hohe Kosten. Im Vergleich dazu bietet modellbasiertes Testen große Vorteile hinsichtlich Testautomatisierung, früher Fehlerfindung, Erhöhung der Testabdeckung, effizienten Testentwurfs und besserer Rückverfolgbarkeit. Die Einführung des modellbasierten Testens ist jedoch mit Investitionen verbunden, für die die Rendite häufig unklar erscheint. Dabei finden sich in der Literatur bereits etliche Erfahrungsberichte zur erfolg­reichen Einführung von modellbasiertem Testen in unterschiedlichen Anwendungsdomänen. In diesem Artikel präsentieren wir einen Überblick über einige dieser Erfahrungsberichte.

Baris Güldali and Stefan Jungmayr and Michael Mlynarski and Stefan Neumann and Mario Winter: Starthilfe für modellbasiertes Testen. In OBJEKTspektrum, no. 3, pp. 63-69 (2010)
Show Bibtex | Show Abstract | URL

@article{gjmnw10, author = {Baris Güldali and Stefan Jungmayr and Michael Mlynarski and Stefan Neumann and Mario Winter}, title = {Starthilfe für modellbasiertes Testen}, journal = {OBJEKTspektrum}, year = {2010}, number = {3}, pages = {63-69}, month = {April} }

Modellbasiertes Testen ist eine Technik, die durch den Einsatz von abstrakten Modellen und geeigneten Algorithmen bestimmte manuelle Aktivitäten, wie z. B. das Testdesign, unterstützt. Die Einführung von modellbasiertem Testen hat das Potenzial, die Testüberdeckung durch die automatische Generierung von Testfällen zu erhöhen und somit das Vertrauen in die Software zu steigern. Den Einsparungen von manuellen Testaktivitäten steht aber der Zusatzaufwand für die Erstellung der Modelle gegenüber. Projekt- und Testmanager stehen also vor der Frage, ob modellbasiertes Testen in ihrer konkreten Testorganisation eine sinnvolle Investition darstellt. Dieser Artikel erklärt die wesentlichen Begriffe zum Thema modellbasiertes Testen und gibt Entscheidungsträgern eine heuristische Entscheidungshilfe an die Hand.

Dominik Beulen and Baris Güldali and Michael Mlynarski: Tabellarischer Vergleich der Prozessmodelle für modellbasiertes Testen aus Managementsicht. In Softwaretechnik-Trends, vol. 30, no. 2, pp. 6-9 (2010)
Show Bibtex | Show Abstract | URL

@article{bgm2010, author = {Dominik Beulen and Baris Güldali and Michael Mlynarski}, title = {Tabellarischer Vergleich der Prozessmodelle für modellbasiertes Testen aus Managementsicht}, journal = {Softwaretechnik-Trends}, year = {2010}, volume = {30}, number = {2}, pages = {6-9}, month = {Mai} }

In dieser Publikation zeigen wir, wie die unterschiedlichen Prozessmodelle aus Managementsicht miteinander verglichen werden können. Dafür stellen wir basierend auf die Literatur Vergleichskriterien auf. Unser Ziel ist es, mit Hilfe von objektiven Kriterien eine Vergleichbarkeit von MBT-Prozessmodellen zu ermöglichen. Den Testmanagern geben wir ein Hilfsmittel in die Hand, mit dem sie einschätzen können, mit welchen Aufwänden sie bei der Auswahl eines Prozessmodells rechnen können. Da die Einführung neuer Verfahren vom Reifegrad eines Prozesses abhängt, adressieren wir bei dem Vergleich auch den für die Prozessmodelle benötigten Reifegrad des Testprozesses nach Test Process Improvement (TPI) und die benötigten Mo-dellierungskenntnisse des Testteams, die mit Hilfe von Modeling Maturity Levels (MML) gemessen werden können.

Michael Mlynarski and Melanie Späth: Agiles Testen in Großprojekten mit TDD und Testaspekten: Beobachtungen und erste Erfahrungen. In Softwaretechnik-Trends, vol. 30, no. 3, pp. 1--5 (2010)
Show Bibtex | URL

@article{Späth2010, author = {Michael Mlynarski and Melanie Späth}, title = {Agiles Testen in Großprojekten mit TDD und Testaspekten: Beobachtungen und erste Erfahrungen}, journal = {Softwaretechnik-Trends}, year = {2010}, volume = {30}, number = {3}, pages = {1--5} }

Marian Jureczko and Michael Mlynarski: Automated acceptance testing tools for web applications using Test-Driven Development. In Electrical Review, vol. 86, pp. 198--202 (2010)
Show Bibtex | Show Abstract | URL

@article{JurMly2010, author = {Marian Jureczko and Michael Mlynarski}, title = {Automated acceptance testing tools for web applications using Test-Driven Development}, journal = {Electrical Review}, year = {2010}, volume = {86}, pages = {198--202}, month = {September} }

In the last years the software engineering community pays a strong interest in agile development methods. Those methods place software testing for example the Test-Driven Development method as an important task of the development process. Agile projects rely on good test automation tools. In this paper we evaluate five test automation tools for their usage in acceptance testing for web applications using Test-Driven Development.

Michael Mlynarski: Holistic Model-Based Testing for Business Information Systems. In Proceedings of 3rd International Conference on Software Testing, Verification and Validation. IEEE Computer Society, pp. 327--330 (2010)
Show Bibtex | Show Abstract

@inproceedings{Mlynarski2010a, author = {Michael Mlynarski}, title = {Holistic Model-Based Testing for Business Information Systems}, booktitle = {Proceedings of 3rd International Conference on Software Testing, Verification and Validation}, year = {2010}, pages = {327--330}, month = {April}, publisher = {IEEE Computer Society} }

Growing complexity of today's software development requires new and better techniques in software testing. A promising one seems to be model-based testing. The goal is to automatically generate test artefacts from models, improve test coverage and guarantee traceability. Typical problems are missing reuse of design models and test case explosion. Our research work aims to find a solution for the mentioned problems in the area of UML and Business Information Systems. We use model transformations to automatically generate test models from manually annotated design models using a holistic view. In this paper we define and justify the research problem and present first results.

Baris Güldali and Michael Mlynarski and Andreas Wübbeke and Gregor Engels: Model-Based System Testing Using Visual Contracts. In Proceedings of Euromicro SEAA Conference 2009, Special Session on “Model Driven Engineering”. IEEE Computer Society (Washington, DC, USA), pp. 121-124 (2009)
Show Bibtex | Show Abstract | URL

@inproceedings{seaa09/mde, author = {Baris Güldali and Michael Mlynarski and Andreas Wübbeke and Gregor Engels}, title = {Model-Based System Testing Using Visual Contracts}, booktitle = {Proceedings of Euromicro SEAA Conference 2009, Special Session on “Model Driven Engineering”}, year = {2009}, pages = {121-124}, address = {Washington, DC, USA}, publisher = {IEEE Computer Society} }

In system testing the system under test (SUT) is tested against high-level requirements which are captured at early phases of the development process. Logical test cases developed from these requirements must be translated to executable test cases by augmenting them with implementation details. If manually done these activities are error-prone and tedious. In this paper we introduce a model-based approach for system testing where we generate first logical test cases from use case diagrams which are partially formalized by visual contracts, and then we transform these to executable test cases using model transformation. We derive model transformation rules from the design decisions of developers.

Michael Mlynarski and Marian Jureczko: Zautomatyzowane testy akceptacyjne dla aplikacji internetowych w programowaniu sterowanym testami. In Proceedings of Krajowa Konferencja In?ynierii Oprogramowania 2009. Wydawnictwo Komunikacji i ??czno?ci, Od modelu do wdro?enia: kierunki bada? i zastosowa? in?ynierii oprogramowania, vol. 3, no. 11, pp. 294--305 (2009)
Show Bibtex | Show Abstract | URL

@inproceedings{KKIO09, author = {Michael Mlynarski and Marian Jureczko}, title = {Zautomatyzowane testy akceptacyjne dla aplikacji internetowych w programowaniu sterowanym testami}, booktitle = {Proceedings of Krajowa Konferencja In?ynierii Oprogramowania 2009}, year = {2009}, volume = {3}, number = {11}, series = {Od modelu do wdro?enia: kierunki bada? i zastosowa? in?ynierii oprogramowania}, pages = {294--305}, publisher = {Wydawnictwo Komunikacji i ??czno?ci} }

Rozdzia? prezentuje analiz? porównawcz? wybranych, darmowych narz?dzi umo?liwiaj?cych tworzenie zautomatyzowanych funkcjonalnych testów akceptacyjnych, czyli Fitnesse, STF, JFCUnit oraz Selenium. Badana jest mo?liwo?? stosowania tych narz?dzi do testowania aplikacji internetowych wytwarzanych w procesie opieraj?cym si? o podej?cie programowania przez testy. Aplikacje internetowe s? bardzo specyficzn? grup? aplikacji. Do ich uruchomienia potrzeba serwera aplikacji. W zwi?zku z tym nie ka?da aplikacja nadaje si? do przeprowadzania na nich testów akceptacyjnych. Dodatkowe komplikacje pojawiaj? si?, je?eli wymaga?, aby testy powsta?y przed napisaniem kodu ?ród?owego, co ma miejsce w przypadku programowaniu przez testy.

Michael Mlynarski: Qualitätssicherung im Business Process Modeling durch automatische Ableitung visueller Kontrakte aus heterogenen UML-Modellen. In Informatiktage 2008. Fachwissenschaftlicher Informatik-Kongress, 14. und 15. März 2008, B-IT Bonn-Aachen International Center for Information Technology in Bonn. Gesellschaft für Informatik (GI) (Bonn), Lecture Notes in Informatics, pp. 87-90 (2008)
Show Bibtex

@inproceedings{Informatiktage2008, author = {Michael Mlynarski}, title = {Qualitätssicherung im Business Process Modeling durch automatische Ableitung visueller Kontrakte aus heterogenen UML-Modellen}, booktitle = {Informatiktage 2008. Fachwissenschaftlicher Informatik-Kongress, 14. und 15. März 2008, B-IT Bonn-Aachen International Center for Information Technology in Bonn}, year = {2008}, series = {Lecture Notes in Informatics}, pages = {87-90}, address = {Bonn}, publisher = {Gesellschaft für Informatik (GI)} }

Michael Mlynarski and Tobias Nelkner and Wolfgang Reinhardt: Vom Informations- zum Wissensmanagement: Der Knowledge Bus als flexibler Lösungsansatz. In Informatiktage 2007: Fachwissenschaftlicher Informatik-Kongress, 30. und 31. März 2007, B-IT Bonn-Aachen International Center for Information Technology Bonn. , pp. 99--102 (2007)
Show Bibtex

@inproceedings{Informatiktage2007, author = {Michael Mlynarski and Tobias Nelkner and Wolfgang Reinhardt}, title = {Vom Informations- zum Wissensmanagement: Der Knowledge Bus als flexibler Lösungsansatz}, booktitle = {Informatiktage 2007: Fachwissenschaftlicher Informatik-Kongress, 30. und 31. März 2007, B-IT Bonn-Aachen International Center for Information Technology Bonn}, year = {2007}, pages = {99--102} }

Michael Mlynarski and Knut Hinkelmann and Johannes Magenheim and Tobias Nelkner and Wolfgang Reinhardt and Kai Holzweissig: KnowledgeBus - An Architecture to Support Intelligent and Flexible Knowledge Management. In Creating New Learning Experiences on a Global Scale, Second European Conference on Technology Enhanced Learning, EC-TEL 2007, Crete, Greece, September 17-20, 2007. Springer (Berlin/Heidelberg), pp. 487-492 (2007)
Show Bibtex

@inproceedings{EC-TEL2007, author = {Michael Mlynarski and Knut Hinkelmann and Johannes Magenheim and Tobias Nelkner and Wolfgang Reinhardt and Kai Holzweissig}, title = {KnowledgeBus - An Architecture to Support Intelligent and Flexible Knowledge Management}, booktitle = {Creating New Learning Experiences on a Global Scale, Second European Conference on Technology Enhanced Learning, EC-TEL 2007, Crete, Greece, September 17-20, 2007}, year = {2007}, pages = {487-492}, address = {Berlin/Heidelberg}, publisher = {Springer} }

Baris Güldali and Michael Mlynarski and Yavuz Sancar: Effort Comparison of Model-based Testing Scenarios. In Proceedings of 3th International Conference on Software Testing, Verification, and Validation Workshops. IEEE Computer Society, pp. 28-36 (2010)
Show Bibtex | URL

@inproceedings{gms2010, author = {Baris Güldali and Michael Mlynarski and Yavuz Sancar}, title = {Effort Comparison of Model-based Testing Scenarios}, booktitle = {Proceedings of 3th International Conference on Software Testing, Verification, and Validation Workshops}, year = {2010}, pages = {28-36}, publisher = {IEEE Computer Society} }

Baris Güldali and Michael Mlynarski: Agility vs. Model-based Testing: A fair Play?. In Proceedings of the IWK2010 Workshops: The First International Workshop on Evolution Support for Model-Based Development and Testing (EMDT2010). , CEUR Workshop Proceedings, vol. 646, pp. 55-58 (2010) (invited paper)
Show Bibtex | Show Abstract | URL

@inproceedings{EMDT2010, author = {Baris Güldali and Michael Mlynarski}, title = {Agility vs. Model-based Testing: A fair Play?}, booktitle = {Proceedings of the IWK2010 Workshops: The First International Workshop on Evolution Support for Model-Based Development and Testing (EMDT2010)}, year = {2010}, volume = {646}, series = {CEUR Workshop Proceedings}, pages = {55-58 }, note = {(invited paper)} }

Agile manifesto defines principles for a light-weight software development process aiming at an improved customer satisfaction. Automated testing plays an important role in fulfilling these principles, because it enables efficient execution of test scripts for checking the quality of delivered software. However, the implementation and the maintenance of the test scripts can be very tedious and error-prone. In order to deal with that, model-based testing extends the automated test execution by test design and test implementation. Thus, model-based testing can speed up the test automation and improve the maintenance of test scripts. Nevertheless, introducing model-based testing requires some initial and some continual efforts, like creating test models, buying or developing tools, etc. In this talk, we will discuss how model-based testing can support agile development without conflicting with the principles of agile manifesto.

Michael Mlynarski and Baris Güldali and Melanie Späth and Gregor Engels: From Design Models to Test Models by Means of Test Ideas. In MoDeVVa '09: Proceedings of the 6th International Workshop on Model-Driven Engineering, Verification and Validation. ACM (New York, NY, USA), pp. 1-10 (2009)
Show Bibtex | Show Abstract | DOI

@inproceedings{modevva09, author = {Michael Mlynarski and Baris Güldali and Melanie Späth and Gregor Engels}, title = {From Design Models to Test Models by Means of Test Ideas}, booktitle = {MoDeVVa '09: Proceedings of the 6th International Workshop on Model-Driven Engineering, Verification and Validation}, year = {2009}, pages = {1-10}, address = {New York, NY, USA}, publisher = {ACM} }

Model-Based Testing is slowly becoming the next level of software testing. It promises higher quality, better coverage and efficient change management. MBT shows two main problems of modeling the test behavior. While modeling test cases test designers rewrite most of the system specification. Further, the number of test cases generated by modern tools is often not feasible. In practice, both problems are not solved. Assuming that the functional design is based on models, we show how to use them for software testing. With so-called test ideas, we propose a way to manually select and automatically transform the relevant parts of the design model into a basic test model that can be used for test case generation. We give an example and discuss the potentials for tool support.

Michael Mlynarski and Baris Güldali and Stephan Weißleder and Gregor Engels: Model-Based Testing: Achievements and Future Challenges. In Ali Hurson and Atif Memon (eds.): Advances in Computers. Advances in Computers, , vol. 86, pp. 1 - 39 Elsevier (2012)
Show Bibtex | Show Abstract | URL | DOI

@incollection{oswuensc2010, author = {Michael Mlynarski and Baris Güldali and Stephan Weißleder and Gregor Engels}, title = {Model-Based Testing: Achievements and Future Challenges}, booktitle = {Advances in Computers}, publisher = {Elsevier}, year = {2012}, volume = {86}, series = {Advances in Computers}, pages = {1 - 39}, month = {September} }

Software systems are part of our everyday life and they become more complex day by day. The ever-growing complexity of software and high quality requirements pose tough challenges to quality assurance. The quality of a software system can be measured by software testing. However, if manually done, testing is a time-consuming and error-prone task. Especially test case design and test execution are the most cost-intensive activities in testing. In the previous 20 years, many automation tools have been introduced for automating test execution by using test scripts. However, the effort for creating and maintaining test scripts remains. Model-based testing (MBT) aims at improving this part by systematizing and automating the test case design. Thereby, test cases or automatable test scripts can be generated systematically from test models. MBT is already known for several years, but it currently gains a great momentum due to advanced tool support and innovative methodological approaches. This chapter aims at giving an overview of MBT and summarizes recent achievements in MBT. Experiences with using the MBT approach are illustrated by reporting on some success stories. Finally, open issues and future research challenges are discussed.

Michael Mlynarski: Qualitätssicherung im Business Process Modeling durch automatische Ableitung visueller Kontrakte aus heterogenen UML-Modellen. Type: Master Thesis (2007)
Show Bibtex | Show Abstract | URL

@mastersthesis{Mly07, author = {Michael Mlynarski}, title = {Qualitätssicherung im Business Process Modeling durch automatische Ableitung visueller Kontrakte aus heterogenen UML-Modellen}, year = {2007} }

Sowohl in der Fach- als auch der Forschungsliteratur werden Anwender mit Stichwörtern wie SOA, BPMS, WfMS, u.a. überschüttet. Vielzahl der innovativen Konzepte verfolgt den modellbasierten Ansatz. Ziel ist es aus den Modellen möglichst automatisch Code zu generieren. Dieses Vorgehen soll serviceorientierte Architekturen schnell und kostengünstig generieren. Die Schwachstelle solcher Generierungsprozesse liegt in der transparenten Qualitätssicherung. Um die Konsistenz zwischen der abstrakten Modellierungsebene (Geschäftsprozesse) und der Implementierung zu stärken, wende ich in meiner Arbeit die sog. visuellen Kontrakte um das Problem der Qualitätssicherung anzugehen.