Masud Fazal-Baqaie and Baris Güldali and Simon Oberthür: Towards DevOps in Multi-provider Projects. In CSE@SE 2017, pp. 18-21 (2017)
Show Bibtex

@article{FGO2017, author = {Masud Fazal-Baqaie and Baris Güldali and Simon Oberthür}, title = {Towards DevOps in Multi-provider Projects}, journal = {CSE@SE 2017}, year = {2017}, pages = {18-21} }

Ivan Jovanovikj and Baris Güldali and Marvin Grieger: Towards Applying Model-based Testing in Test Case Migration. In Softwaretechnik-Trends, Proceedings of the 39th Workshop Test, Analyse und Verifikation (TAV), vol. 36, no. 3, pp. 58-60 (2016)
Show Bibtex

@article{JGG2016, author = {Ivan Jovanovikj and Baris Güldali and Marvin Grieger}, title = {Towards Applying Model-based Testing in Test Case Migration}, journal = {Softwaretechnik-Trends, Proceedings of the 39th Workshop Test, Analyse und Verifikation (TAV)}, year = {2016}, volume = {36}, number = {3}, pages = {58-60} }

Ivan Jovanovikj and Marvin Grieger and Baris Güldali and Alexander Teetz: Reengineering of Legacy Test Cases: Problem Domain & Scenarios. In Softwaretechnik-Trends, Proceedings of the 3rd Workshop Model-Based and Model-Driven Software Modernization (MMSM), vol. 36, no. 3, pp. 65-66 (2016)
Show Bibtex

@article{JGGTMMSM2016, author = {Ivan Jovanovikj and Marvin Grieger and Baris Güldali and Alexander Teetz}, title = {Reengineering of Legacy Test Cases: Problem Domain & Scenarios}, journal = {Softwaretechnik-Trends, Proceedings of the 3rd Workshop Model-Based and Model-Driven Software Modernization (MMSM)}, year = {2016}, volume = {36}, number = {3}, pages = {65-66} }

Baris Güldali and Masud Fazal-Baqaie: Skalieren von großen agilen Projekten mit verteilten Backlogs. In OBJEKTspektrum (Online Themenspecials), no. Agility/2015, pp. 1-4 (2015)
Show Bibtex | Show Abstract

@article{gf2015, author = {Baris Güldali and Masud Fazal-Baqaie}, title = {Skalieren von großen agilen Projekten mit verteilten Backlogs}, journal = {OBJEKTspektrum (Online Themenspecials)}, year = {2015}, number = {Agility/2015}, pages = {1-4} }

Agile Methoden befürworten selbstorganisierende Teams, die lauffähige Zwischenstände in kurzen Iterationen schrittweise entwickeln. Allerdings besteht in großen, verteilten Projekten mit mehreren Teams die besondere Herausforderung, die Aufgaben entsprechend zu definieren, zu verteilen, zu koordinieren und zu überwachen. Der Artikel beschreibt ein Vorgehen, wie diese Tätigkeiten mittels verteilten Backlogs unterstützt werden können, um den Herausforderungen verteilter Projekte zu begegnen.

Baris Güldali and Mirko Rose and Alexander Teetz and Stephan Flake and Carsten Rust: Modellbasiertes Testen bei der Entwicklung einer IKT-Infrastruktur für Elektromobilität. In Softwaretechnik-Trends, vol. 35, no. 1, pp. 1-5 (2015)
Show Bibtex | URL

@article{Gül15, author = {Baris Güldali and Mirko Rose and Alexander Teetz and Stephan Flake and Carsten Rust}, title = {Modellbasiertes Testen bei der Entwicklung einer IKT-Infrastruktur für Elektromobilität}, journal = {Softwaretechnik-Trends}, year = {2015}, volume = {35}, number = {1}, pages = {1-5}, month = {Juni} }

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.

Elke Bouillon and Baris Güldali and Andrea Herrmann and Thorsten Keuler and Daniel Moldt and Matthias Riebisch: Leichtgewichtige Traceability im agilen Entwicklungsprozess am Beispiel von Scrum. In Softwaretechnik-Trends, vol. 33, no. 1, pp. 29-30 (2013)
Show Bibtex | URL

@article{traceability, author = {Elke Bouillon and Baris Güldali and Andrea Herrmann and Thorsten Keuler and Daniel Moldt and Matthias Riebisch}, title = {Leichtgewichtige Traceability im agilen Entwicklungsprozess am Beispiel von Scrum}, journal = {Softwaretechnik-Trends}, year = {2013}, volume = {33}, number = {1}, pages = {29-30} }

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.

Masud Fazal-Baqaie and Baris Güldali and Markus Luckey and Stefan Sauer and Michael Spijkerman: Maßgeschneidert und werkzeugunterstützt Entwickeln angepasster Requirements Engineering-Methoden. In OBJEKTspektrum (Online Themenspecials), no. RE/2013, pp. 1-5 (2013)
Show Bibtex | Show Abstract | URL

@article{fglss13, author = {Masud Fazal-Baqaie and Baris Güldali and Markus Luckey and Stefan Sauer and Michael Spijkerman}, title = {Maßgeschneidert und werkzeugunterstützt Entwickeln angepasster Requirements Engineering-Methoden}, journal = {OBJEKTspektrum (Online Themenspecials)}, year = {2013}, number = {RE/2013}, pages = {1-5}, month = {June} }

Grundlage für eine erfolgreiche Softwareentwicklung sind gute Anforderungen. Die Vorteile eines systematischen Requirements Engineerings (RE) zur Erhebung und Verwaltung von Anforderungen sind gemeinhin bekannt. Ebenso, dass verschiedenste RE-Techniken genutzt werden können. Doch wie wählt eine Organisation die passenden RE-Techniken aus und kombiniert sie zu einer durchgängigen RE-Methode, die auf die eigenen Bedürfnisse zugeschnitten ist und durch geeignete Werkzeuge unterstützt wird? Dieser Artikel beschreibt die Schritte bei der Entwicklung einer organisationsspezifischen RE-Methode und – am Beispiel des Enterprise Architect – die Anpassung eines RE-Werkzeugs. Wir erläutern unsere Methodik mittels eines Fallbeispiels auf der Grundlage eines unserer Projekte

Silke Geisen and Baris Güldali: Agiles Testen in Scrum – Testtypen und Abläufe. In OBJEKTspektrum (Online Themenspecials), no. Agility/2012, pp. 1-4 (2012)
Show Bibtex | Show Abstract | URL | DOI

@article{gg12, author = {Silke Geisen and Baris Güldali}, title = {Agiles Testen in Scrum – Testtypen und Abläufe}, journal = {OBJEKTspektrum (Online Themenspecials)}, year = {2012}, number = {Agility/2012}, pages = {1-4}, month = {Oktober} }

Mittlerweile sind viele Unternehmen dazu übergegangen, ihre Software „agil“ zu entwickeln. Die damit verbundenen Erwartungen sind vor allem ein frühes Kundenfeedback sowie eine kürzere „Time-to-Market“ durch entsprechend schnelle Release-Zyklen. Hinter den Kulissen finden sich jedoch oftmals Probleme, sodass die erwarteten Vorteile agiler Softwareentwicklung nicht oder nur teilweise zum Tragen kommen. Gründe dafür liegen selten an technischen Hürden, sondern oftmals in einer zu oberflächlichen Interpretation der Philosophie von agiler Softwareentwicklung und den damit zusammenhängenden Kernzielen: Planung und Analyse auf ein sinnvolles Maß zu reduzieren und zugleich unnötige Arbeiten zu vermeiden. Was sinnvoll und was unnötig ist, stellt dabei eine der wesentlichen Herausforderungen dar.

Marvin Grieger and Baris Güldali and Stefan Sauer: Sichern der Zukunftsfähigkeit bei der Migration von Legacy-Systemen durch modellgetriebene Softwareentwicklung. In Softwaretechnik-Trends, Proceedings of the 14th Workshop Software-Reengineering (WSR), vol. 32, no. 2, pp. 37-38 (2012)
Show Bibtex | URL

@article{GGSWSR142012, author = {Marvin Grieger and Baris Güldali and Stefan Sauer}, title = {Sichern der Zukunftsfähigkeit bei der Migration von Legacy-Systemen durch modellgetriebene Softwareentwicklung}, journal = {Softwaretechnik-Trends, Proceedings of the 14th Workshop Software-Reengineering (WSR)}, year = {2012}, volume = {32}, number = {2}, pages = {37-38} }

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 Holger Funke and Stefan Sauer and Gregor Engels: TORC: test plan optimization by requirements clustering. In Software Quality Journal, pp. 1-29 (2011) 10.1007/s11219-011-9149-4
Show Bibtex | Show Abstract | DOI

@article{gfse11, author = {Baris Güldali and Holger Funke and Stefan Sauer and Gregor Engels}, title = {TORC: test plan optimization by requirements clustering}, journal = {Software Quality Journal}, year = {2011}, pages = {1-29}, note = {10.1007/s11219-011-9149-4} }

Acceptance testing is a time-consuming task for complex software systems that have to fulfill a large number of requirements. To reduce this effort, we have developed a widely automated method for deriving test plans from requirements that are expressed in natural language. It consists of three stages: annotation, clustering, and test plan specification. The general idea is to exploit redundancies and implicit relationships in requirements specifications. Multi-viewpoint techniques based on RM-ODP (Reference Model for Open Distributed Processing) are employed for specifying the requirements. We then use linguistic analysis techniques, requirements clustering algorithms, and pattern-based requirements collection to reduce the total effort of testing against the requirements specification. In particular, we use linguistic analysis for extracting and annotating the actor, process and object of a requirements statement. During clustering, a similarity function is computed as a measure for the overlap of requirements. In the test plan specification stage, our approach provides capabilities for semi-automatically deriving test plans and acceptance criteria from the clustered informal textual requirements. Two patterns are applied to compute a suitable order of test activities. The generated test plans consist of a sequence of test steps and asserts that are executed or checked in the given order. We also present the supporting prototype tool TORC, which is available open source. For the evaluation of the approach, we have conducted a case study in the field of acceptance testing of a national electronic identification system. In summary, we report on lessons learned how linguistic analysis and clustering techniques can help testers in understanding the relations between requirements and for improving test planning.

Renate Löffler and Baris Güldali and Silke Geisen: Towards Model-based Acceptance Testing for Scrum. In Softwaretechnik-Trends, vol. 30, no. 3, pp. 9--12 (2010)
Show Bibtex | Show Abstract | URL

@article{lgg2010, author = {Renate Löffler and Baris Güldali and Silke Geisen}, title = {Towards Model-based Acceptance Testing for Scrum}, journal = {Softwaretechnik-Trends}, year = {2010}, volume = {30}, number = {3}, pages = {9--12}, month = {August} }

In agile processes like Scrum, strong customer involve- ment requires techniques to support requirements anal- ysis and acceptance testing. Additionally, test automa- tion is crucial, as incremental development and contin- uous integration need high efforts for testing. To cope with these challenges, we propose a model-based tech- nique for documenting customer's requirements using test models. These can be used by the developers as requirements specification and by the testers for accep- tance testing. We use light-weight and easy-to-learn modeling languages. Based on the test models, we gen- erate test scripts for FitNesse and Selenium, which are well-known test tools in the agile community.

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.

Baris Güldali and Stefan Sauer and Gregor Engels: Formalisierung der funktionalen Anforderungen mit visuellen Kontrakten und deren Einsatz für modellbasiertes Testen. In Softwaretechnik-Trends, vol. 28, no. 3, pp. 12-16 (2008)
Show Bibtex | Show Abstract | URL

@article{egs08, author = {Baris Güldali and Stefan Sauer and Gregor Engels}, title = {Formalisierung der funktionalen Anforderungen mit visuellen Kontrakten und deren Einsatz für modellbasiertes Testen}, journal = {Softwaretechnik-Trends}, year = {2008}, volume = {28}, number = {3}, pages = {12-16}, month = {August} }

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.

Masud Fazal-Baqaie and Baris Güldali and Marvin Grieger: Ganzheitliches Qualitätsmanagement in agilen Groß- Projekten. In Proceedings of Projektmanagement und Vorgehensmodelle 2016. Köllen Druck+Verlag GmbH, Bonn, Lecture Notes in Informatics (LNI), pp. 109-120 (2016)
Show Bibtex

@inproceedings{FGG2016, author = {Masud Fazal-Baqaie and Baris Güldali and Marvin Grieger}, title = {Ganzheitliches Qualitätsmanagement in agilen Groß- Projekten}, booktitle = {Proceedings of Projektmanagement und Vorgehensmodelle 2016}, year = {2016}, series = {Lecture Notes in Informatics (LNI)}, pages = {109-120}, publisher = {Köllen Druck+Verlag GmbH, Bonn} }

Claudia Schumacher and Gregor Engels and Baris Güldali and Markus Niehammer and Matthias Hamburg: Modellbasierte Bewertung von Testprozessen nach TPI NEXT® mit Geschäftsprozess-Mustern. In Stefan Kowalewski and Bernhard Rumpe (eds.): Proceedings of the conference on Software Enginneering, Fachtagung des GI Fachbereichs Softwaretechnik (SE 2013), Aachen (Germany). Gesellschaft für Informatik (GI) (Bonn), Lecture Notes in Informatics (LNI), vol. P-213, pp. 331-344 (2013)
Show Bibtex | Show Abstract | URL

@inproceedings{Engels2006d, author = {Claudia Schumacher and Gregor Engels and Baris Güldali and Markus Niehammer and Matthias Hamburg}, editor = {Stefan Kowalewski and Bernhard Rumpe}, title = {Modellbasierte Bewertung von Testprozessen nach TPI NEXT® mit Geschäftsprozess-Mustern}, booktitle = {Proceedings of the conference on Software Enginneering, Fachtagung des GI Fachbereichs Softwaretechnik (SE 2013), Aachen (Germany)}, year = {2013}, volume = {P-213}, series = {Lecture Notes in Informatics (LNI)}, pages = {331-344}, address = {Bonn}, month = {März}, organization = {GI}, publisher = {Gesellschaft für Informatik (GI)} }

Die Qualität eines zu entwickelnden Softwareprodukts wird entschei-dend durch die Qualität des zugehörigen Testprozesses beeinflusst. Das TPI®-Modell ist ein Referenzmodell zur Bewertung der Qualität eines Testprozesses, das mittels Kontrollpunkten den Reifegrad von Testaktivitäten bestimmt. Dabei ist al-lerdings sowohl die Interpretation des zu bewertenden Testprozesses, welcher in der Praxis häufig gar nicht oder nur informell beschrieben ist, als auch die Interpre-tation des TPI®-Modells selbst von dem Wissen und den Erfahrungen des bewer-tenden Experten abhängig. Dies führt unmittelbar zu einer langwierigen, schwieri-gen und insbesondere subjektiven Bewertung eines Testprozesses. Um eine objek-tivere, einfachere und effizientere Bewertung zu ermöglichen, wird im Beitrag ein Ansatz vorgestellt, mit dem ein Testprozess als Geschäftsprozess und die Kont-rollpunkte des TPI®-Modells in Form von Geschäftsprozess-Mustern mit Hilfe der Modellierungssprache BPMN formal modelliert werden. Auf dieser Basis kann die Qualität eines Testprozesses durch eine systematische Analyse untersucht und be-wertet werden. Zur Evaluierung des entwickelten Konzepts wird ein Fallbeispiel eines Testprozesses systematisch bewertet.

Baris Güldali and Stefan Sauer: Transfer of Testing Research from University to Industry: An Experience Report. In online Proc. of International TestIstanbul Conference 2010 (URL: www.testistanbul.org/presentations.html). Turkish Testing Board (2010)
Show Bibtex | Show Abstract | URL

@inproceedings{gs10, author = {Baris Güldali and Stefan Sauer}, title = {Transfer of Testing Research from University to Industry: An Experience Report}, booktitle = {online Proc. of International TestIstanbul Conference 2010 (URL: www.testistanbul.org/presentations.html)}, year = {2010}, month = {May}, publisher = {Turkish Testing Board} }

Software Quality Lab (s-lab) is an open multi-private-public partnership institute for knowledge and technology transfer. In s-lab, partners from industrial software development closely cooperate with research groups of the University of Paderborn. Together with partners from industry, s-lab develops and evaluates constructive and analytical methods and tools of software engineering for obtaining high-quality software. Testing plays an important role in analytical quality assurance within s-lab’s activities. Thereby our main focus lies on the development of testing methods, test automation tools and test management concepts for the individual needs of the industrial partners. Because of the different requirements of the university and the industry; the cooperation involves some challenges, e.g. defining projects aiming at the commercial interests of the industry and addressing interesting research questions. In this paper, we give an overview of testing activities in s-lab and address targets and challenges of the cooperative work between industry and university. We also summarize the lessons learned during the numerous testing projects especially in the domain of business information systems.

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.

Baris Güldali and Holger Funke and Michael Jahnich and Stefan Sauer and Gregor Engels: Semi-automated Test Planning for e-ID Systems by Using Requirements Clustering. In 24th IEEE/ACM International Conference on Automated Software Engineering (ASE 2009), 16-20 November 2009, Auckland, New Zeland. , pp. 29-39 (2009)
Show Bibtex | Show Abstract | URL | DOI

@inproceedings{gse+09, author = {Baris Güldali and Holger Funke and Michael Jahnich and Stefan Sauer and Gregor Engels}, title = {Semi-automated Test Planning for e-ID Systems by Using Requirements Clustering}, booktitle = {24th IEEE/ACM International Conference on Automated Software Engineering (ASE 2009), 16-20 November 2009, Auckland, New Zeland}, year = {2009}, pages = {29-39} }

In acceptance testing, customer requirements as specified in system specifications have to be tested for their successful implementation. This is a time-consuming task due to inherent system complexity and thus a large number of requirements. In order to reduce efforts in acceptance testing, we introduce a novel approach that exploits redundancies and implicit relations in requirements specifications, which are based on multi-viewpoint techniques, in our case the reference model for open distributed processing (RM-ODP). It deploys requirements clustering and linguistic analysis techniques for reducing the total number of test cases. We report on concrete experiences with this approach within joint R&D work of the Software Quality Lab (s-lab) of the University of Paderborn and HJP Consulting, an international consulting company, specialized in planning, procurement and acceptance testing of national electronic identification (e-ID) systems. The paper is concluded with an overview on the current tool support especially for automated detection of the redundancies and implicit relations in requirements. Also the future work on the tool support for the overall test specification process is discussed.

Hendrik Voigt and Baris Güldali and Gregor Engels: Quality Plans for Measuring the Testability of Models. In Proceedings of the 11th International Conference on Quality Engineering in Software Technology (CONQUEST 2008), Potsdam (Germany). dpunkt.verlag, pp. 353--370 (2008)
Show Bibtex | Show Abstract

@inproceedings{VGE08, author = {Hendrik Voigt and Baris Güldali and Gregor Engels}, title = {Quality Plans for Measuring the Testability of Models}, booktitle = {Proceedings of the 11th International Conference on Quality Engineering in Software Technology (CONQUEST 2008), Potsdam (Germany)}, year = {2008}, pages = {353--370}, publisher = {dpunkt.verlag} }

For models used in model-based testing, the evaluation of their testability is an important issue. Existing approaches lack some relevant aspects for a systematic and comprehensive evaluation. Either they do (1) not consider the context of software models, (2) not offer a systematic process for selecting and developing right measurements, (3) not define a consistent and common quality understanding, or (4) not distinct between objective and subjective measurements. We present a novel quality management approach for the evaluation of software models in general that considers all these aspects in an integrated way. Our approach is based on a combination of the Goal Question Metric (GQM) and quality models. We demonstrate our approach by systematically developing a short quality plan for measuring the testability of software models.

Gregor Engels and Baris Güldali and Christian Soltenborn and Heike Wehrheim: Assuring Consistency of Business Process Models and Web Services using Visual Contracts. In Proceedings of the 3rd International Symposium on Applications of Graph Transformation with Industrial Relevance (AGTIVE 2007), Kassel (Germany). Springer (Berlin/Heidelberg), LNCS, vol. 5088, pp. 17--31 (2008)
Show Bibtex | Show Abstract | DOI

@inproceedings{Engels08, author = {Gregor Engels and Baris Güldali and Christian Soltenborn and Heike Wehrheim}, title = {Assuring Consistency of Business Process Models and Web Services using Visual Contracts}, booktitle = {Proceedings of the 3rd International Symposium on Applications of Graph Transformation with Industrial Relevance (AGTIVE 2007), Kassel (Germany)}, year = {2008}, volume = {5088}, series = {LNCS}, pages = {17--31}, address = {Berlin/Heidelberg}, month = {October}, publisher = {Springer} }

Business process models describe workflows by a set of actions together with their ordering. When implementing business processes within a service-oriented architecture, these actions are mapped to existing IT (web) services, which are then to be executed in the order specified by the business process. However, the execution of a web service can require certain preconditions to be fulfilled. These might not hold at the time of execution specified in the business process model: it can be inconsistent with the web service specification. In this paper we propose a technique for checking consistency of process models with web service specifications. To this end, both are equipped with a formal semantics (in terms of graph transformations). We show how to use an existing model checker for graph transformation systems to carry out the consistency check.

Gregor Engels and Baris Güldali and Oliver Juwig and Marc Lohmann and Jan-Peter Richter: Industrielle Fallstudie: Einsatz visueller Kontrakte in serviceorientierten Architekturen. In Proceedings of the conference on Software Enginneering, Fachtagung des GI Fachbereichs Softwaretechnik (SE 2006), Leipzig (Germany). Gesellschaft für Informatik (GI) (Bonn), Lecture Notes in Informatics, vol. 79, pp. 111--122 (2006) Software Enginneering 2006, Fachtagung des GI Fachbereichs Softwaretechnik
Show Bibtex | Show Abstract | DOI

@inproceedings{Engels2006d, author = {Gregor Engels and Baris Güldali and Oliver Juwig and Marc Lohmann and Jan-Peter Richter}, title = {Industrielle Fallstudie: Einsatz visueller Kontrakte in serviceorientierten Architekturen}, booktitle = {Proceedings of the conference on Software Enginneering, Fachtagung des GI Fachbereichs Softwaretechnik (SE 2006), Leipzig (Germany)}, year = {2006}, volume = {79}, series = {Lecture Notes in Informatics}, pages = {111--122}, address = {Bonn}, month = {March}, publisher = {Gesellschaft für Informatik (GI)}, note = {Software Enginneering 2006, Fachtagung des GI Fachbereichs Softwaretechnik} }

Serviceorientierte Architekturen (SOA) erlauben eine schnelle und kosteneffiziente Bereitstellung unterschiedlicher Funktionalitäten zur Unterstützung der Geschäftsprozesse eines Unternehmens. Dazu werden fachliche Funktionalitäten in Form von Enterprise Services zur Verfügung gestellt. Die hohe Zahl von Enterprise Services erfordert eine geeignete semantische Beschreibung zu deren effizienten Verwaltung. Zur semantischen Beschreibung von Enterprise Services sowie zur Formulierung von Suchanfragen ist an der Universität Paderborn die Methode der visuellen Kontrakte entwickelt worden. Das Papier stellt die Ergebnisse der ersten Phase einer umfangreichen industriellen Fallstudie zur Evaluation der praktischen Anwendbarkeit visueller Kontrakte im Kontext einer SOA vor.

Fevzi Belli and Baris Güldali: A holistic approach to test-driven model checking. In Proceedings of the conference on Innovations in Applied Artificial Intelligence and Expert Systems (IEA/AIE 2005), Bari (Italy). Springer (Berlin/Heidelberg), LNCS, pp. 321--331 (2005) IEA/AIE'2005: Proceedings of the 18th international conference on Innovations in Applied Artificial Intelligence and Expert Systems
Show Bibtex | Show Abstract | DOI

@inproceedings{Belli2005, author = {Fevzi Belli and Baris Güldali}, title = {A holistic approach to test-driven model checking}, booktitle = {Proceedings of the conference on Innovations in Applied Artificial Intelligence and Expert Systems (IEA/AIE 2005), Bari (Italy)}, year = {2005}, series = {LNCS}, pages = {321--331}, address = {Berlin/Heidelberg}, publisher = {Springer}, note = {IEA/AIE'2005: Proceedings of the 18th international conference on Innovations in Applied Artificial Intelligence and Expert Systems} }

Testing is the most common validation method in the software industry. It entails the execution of the software system in the real environment. Nevertheless, testing is a cost-intensive process. Because of its conceptual simplicity the combination of formal methods and test methods has been widely advocated. Model checking belongs to the promising candidates for this marriage. The present paper modifies and extends the existing approaches in that, after the test case generation, a model checking step supports the manual test process. Based on the holistic approach to specification-based construction of test suites, this paper proposes to generate test cases to cover both the specification model and its complement. This helps also to clearly differentiate the correct system outputs from the faulty ones as the test cases based on the specification are to succeed the test, and the ones based on the complement of the specification are to fail. Thus, the approach handles the oracle problem in an effective manner.

Fevzi Belli and Baris Güldali: Software Testing via Model Checking. In Proceedings of the conference on Computer and Information Sciences (ISCIS 2004), Kemer-Antalya (Turkey). Springer (Berlin/Heidelberg), LNCS, vol. 3280, pp. 907--916 (2004)
Show Bibtex | Show Abstract | URL | DOI

@inproceedings{Belli2004, author = {Fevzi Belli and Baris Güldali}, title = {Software Testing via Model Checking}, booktitle = {Proceedings of the conference on Computer and Information Sciences (ISCIS 2004), Kemer-Antalya (Turkey)}, year = {2004}, volume = {3280}, series = {LNCS}, pages = {907--916}, address = {Berlin/Heidelberg}, publisher = {Springer} }

Testing is a necessary, but costly process for user-centric quality control. Moreover, testing is not comprehensive enough to completely detect faults. Many formal methods have been proposed to avoid the drawbacks of testing, e.g., model checking that can be automatically carried out. This paper presents an approach that (i) generates test cases from the specification and (ii) transfers the specification-oriented testing process to model checking. Thus, the approach combines the advantages of testing and model checking assuming the availability of (i) a model that specifies the expected, desirable system behavior as required by the user and (ii) a second model that describes the system behavior as observed. The first model is complemented in also specifying the undesirable system properties. The approach analyzes both these specification models to generate test cases that are then converted into temporal logic formulae to be model checked on the second model.

Baris Güldali and Stefan Sauer and Perdita Löhr: Entwicklung eines Softwarewerkzeugs für die modellgetriebene Migration betrieblicher Informationssysteme. In Proceedings of the Workshop Modellbasierte und Modellgetriebene Softwaremodernisierung (MMSM 2012). Softwaretechnik-Trends, vol. 32, no. 2, pp. 5-6 (2012)
Show Bibtex | URL

@inproceedings{GSL2012, author = {Baris Güldali and Stefan Sauer and Perdita Löhr}, title = {Entwicklung eines Softwarewerkzeugs für die modellgetriebene Migration betrieblicher Informationssysteme}, booktitle = {Proceedings of the Workshop Modellbasierte und Modellgetriebene Softwaremodernisierung (MMSM 2012)}, year = {2012}, volume = {32}, number = {2}, pages = {5-6}, month = {Mai}, publisher = {Softwaretechnik-Trends} }

Matthias Schnelte and Baris Güldali: Test Case Generation for Visual Contracts Using AI Planning. In INFORMATIK 2010, Beiträge der 40. Jahrestagung der Gesellschaft für Informatik e.V. (GI). Gesellschaft für Informatik (GI) (Bonn), Lecture Notes in Informatics, pp. (accepted for publication) (2010)
Show Bibtex

@inproceedings{motes2010, author = {Matthias Schnelte and Baris Güldali}, title = {Test Case Generation for Visual Contracts Using AI Planning}, booktitle = {INFORMATIK 2010, Beiträge der 40. Jahrestagung der Gesellschaft für Informatik e.V. (GI)}, year = {2010}, series = {Lecture Notes in Informatics}, pages = {(accepted for publication)}, address = {Bonn}, publisher = {Gesellschaft für Informatik (GI)} }

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 Stefan Sauer and Peter Winkelhane and Michael Jahnich and Holger Funke: Pattern-based Generation of Test Plans for Open Distributed Processing Systems. In Proceedings of 5th International Workshop on Automation of Software Test (AST 2010), ICSE Workshop. ACM Press, pp. 119-126 (2010)
Show Bibtex

@inproceedings{ast2010, author = {Baris Güldali and Stefan Sauer and Peter Winkelhane and Michael Jahnich and Holger Funke}, title = {Pattern-based Generation of Test Plans for Open Distributed Processing Systems}, booktitle = {Proceedings of 5th International Workshop on Automation of Software Test (AST 2010), ICSE Workshop}, year = {2010}, pages = {119-126}, publisher = {ACM Press} }

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.

Jens Ellerweg and Gregor Engels and Baris Güldali: Modellbasierter Komponententest mit visuellen Kontrakten. In INFORMATIK 2008, Beherrschbare Systeme - dank Informatik, Band 1, Beiträge der 38. Jahrestagung der Gesellschaft für Informatik e.V. (GI). Gesellschaft für Informatik (GI) (Bonn), Lecture Notes in Informatics, vol. 133, pp. 211--214 (2008)
Show Bibtex

@inproceedings{MOTES08, author = {Jens Ellerweg and Gregor Engels and Baris Güldali}, title = {Modellbasierter Komponententest mit visuellen Kontrakten}, booktitle = {INFORMATIK 2008, Beherrschbare Systeme - dank Informatik, Band 1, Beiträge der 38. Jahrestagung der Gesellschaft für Informatik e.V. (GI)}, year = {2008}, volume = {133}, series = {Lecture Notes in Informatics}, pages = {211--214}, address = {Bonn}, publisher = {Gesellschaft für Informatik (GI)} }

Gregor Engels and 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). Springer (Berlin/Heidelberg), LNCS, vol. 4364, pp. 182--192 (2007) Models in Software Engineering, Workshops and Symposia at MoDELS 2006, Genoa, Italy, October 1-6, 2006, Reports and Revised Selected Papers, Genua (Italy)
Show Bibtex | Show Abstract | DOI

@inproceedings{Engels2006a, author = {Gregor Engels and Baris Güldali and Marc Lohmann}, title = {Towards Model-Driven Unit Testing}, booktitle = {Proceedings of the 2006 International Conference on Models in Software Engineering (MoDELS 2006)}, year = {2007}, volume = {4364}, series = {LNCS}, pages = {182--192}, address = {Berlin/Heidelberg}, month = {October}, publisher = {Springer}, note = {Models in Software Engineering, Workshops and Symposia at MoDELS 2006, Genoa, Italy, October 1-6, 2006, Reports and Revised Selected Papers, Genua (Italy)} }

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.

Gregor Engels and Baris Güldali and Marc Lohmann: Towards Model-Driven Unit Testing. In Proceedings of the workshop on Model Design and Validation (MoDeVa 2006), Toulouse (France). Le Commissariat à l'Energie Atomique - CEA (Berlin / Heidelberg), pp. 16--29 (2006)
Show Bibtex | Show Abstract | URL

@inproceedings{Engels2006b, author = {Gregor Engels and Baris Güldali and Marc Lohmann}, title = {Towards Model-Driven Unit Testing}, booktitle = {Proceedings of the workshop on Model Design and Validation (MoDeVa 2006), Toulouse (France)}, year = {2006}, pages = {16--29}, address = {Berlin / Heidelberg}, month = {October}, publisher = {Le Commissariat à l'Energie Atomique - CEA} }

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.

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.

Matthias Gehrke and Baris Güldali and Jan Meyer and Yavuz Sancar and Michael Spijkerman: "Metriken" - Kennzahlen zur Verbesserung der Softwarequalität, Teile 1 und 2. s-lab report, no. 3. University of Paderborn, s-lab (2009)
Show Bibtex

@techreport{GGMSS09, author = {Matthias Gehrke and Baris Güldali and Jan Meyer and Yavuz Sancar and Michael Spijkerman}, title = {"Metriken" - Kennzahlen zur Verbesserung der Softwarequalität, Teile 1 und 2}, institution = {University of Paderborn, s-lab}, year = {2009}, type = {s-lab report}, number = {3}, month = {Dezember} }

Matthias Gehrke and Baris Güldali and Jan Meyer and Yavuz Sancar and Michael Spijkerman: “Metriken” – Kennzahlen zur Verbesserung der Softwarequalität, Teile 1 und 2. s-lab report, no. 3. University of Paderborn, s-lab (to be published) (2009)
Show Bibtex

@techreport{GGMSS09, author = {Matthias Gehrke and Baris Güldali and Jan Meyer and Yavuz Sancar and Michael Spijkerman}, title = {“Metriken” – Kennzahlen zur Verbesserung der Softwarequalität, Teile 1 und 2}, institution = {University of Paderborn, s-lab (to be published)}, year = {2009}, type = {s-lab report}, number = {3}, month = {Dezember} }

Matthias Gehrke and Baris Güldali and Ekkart Kindler: "Modelchecking" - Eine Methode zur Verbesserung der Softwarequalität. s-lab report, no. 2. University of Paderborn, s-lab (2007)
Show Bibtex | Show Abstract | URL

@techreport{Gehrke07, author = {Matthias Gehrke and Baris Güldali and Ekkart Kindler}, title = {"Modelchecking" - Eine Methode zur Verbesserung der Softwarequalität}, institution = {University of Paderborn, s-lab}, year = {2007}, type = {s-lab report}, number = {2}, month = {Juli } }

Was haben die tödlichen Verbrennungen mehrerer Patienten durch das Bestrahlungsgerät Therac-25 (1985 – 1987), der Absturz der Ariane 5 Rakete (1996) und der Verlust der Climate-Orbiter Sonde während des Landeanflugs auf den Mars (1999) gemeinsam? All diese Vorfälle wurden durch fehlerhafte Software verursacht und haben entweder personelle oder finanzielle Schäden oder sogar beides verursacht. Ein anderer Zwischenfall, der mit fehlerhafter Software in Verbindung gebracht wird, ist der Zusammenstoß zweier Flugzeuge über dem Bodensee im Jahre 2002. Doch hier war es nicht die Software, sondern menschliches Versagen, das zu der Katastrophe geführt hat. Hätten sich die Piloten der Flugzeuge auf die vorhandene und korrekt funktionierende Software verlassen und deren Ausweichempfehlungen befolgt, hätte der Unfall wahrscheinlich verhindert werden können. Wie hoch die Sicherheitsanforderungen an heutige Softwaresysteme sind, verdeutlichen diese Beispiele. Besonders bei komplexen und sicherheitskritischen Systemen ist die Qualität der Software von entscheidender Bedeutung. Aus diesem Grund muss während des gesamten Entwicklungszyklusses die Zuverlässigkeit und Korrektheit der Software sicher gestellt werden. Je früher entsprechende Techniken und Methoden während der Entwicklung eingesetzt werden, desto besser. Diese Notwendigkeit haben viele Forscher und Entwickler erkannt und in den vergangenen Jahren eine Vielzahl unterschiedlicher Techniken zur Verifikation von Softwaresystemen entwickelt. Das in diesem Papier vorgestellte modelchecking ist eine solche Technik. Mit Hilfe des Modelcheckings kann das Verhalten von Software auf bestimmte Eigenschaften hin vollständig automatisch überprüft werden. Diese Methode lässt sich bereits sehr früh während der Softwareentwicklung einsetzen, da sie auf abstrakten Modellen und nicht auf implementiertem Programmcode angewendet wird. In diesem Papier wird ein kurzer Überblick über das Modelchecking gegeben, seine Eigenschaften erläutert und die damit zur Verfügung stehenden Möglichkeiten aufgezeigt, ohne auf die zugrunde liegende Theorie detailliert einzugehen.

Marc Lohmann and Jan-Peter Richter and Gregor Engels and Baris Güldali and Oliver Juwig and Stefan Sauer: Semantische Beschreibung von Enterprise Services – Eine industrielle Fallstudie. s-lab report, no. 1. University of Paderborn, s-lab (2006)
Show Bibtex | Show Abstract | URL

@techreport{Lohmann2006b, author = {Marc Lohmann and Jan-Peter Richter and Gregor Engels and Baris Güldali and Oliver Juwig and Stefan Sauer}, title = {Semantische Beschreibung von Enterprise Services – Eine industrielle Fallstudie}, institution = {University of Paderborn, s-lab}, year = {2006}, type = {s-lab report}, number = {1}, month = {May} }

Serviceorientierte Architekturen (SOA) erlauben eine schnelle und kosteneffiziente Bereitstellung unterschiedlicher Funktionalitäten zur Unterstützung der Geschäftsprozesse eines Unternehmens. Dazu werden fachliche Funktionalitäten in Form von Enterprise Services zur Verfügung gestellt. Die hohe Zahl von Enterprise Services erfordert eine geeignete semantische Beschreibung zu deren effizienten Verwaltung. Zur semantischen Beschreibung von Enterprise Services sowie zur Formulierung von Suchanfragen ist an der Universität Paderborn die Methode der visuellen Kontrakte entwickelt worden. Dieser Bericht stellt die Ergebnisse einer industriellen Fallstudie zur Evaluation der praktischen Anwendbarkeit visueller Kontrakte im Kontext einer SOA vor.

Baris Güldali: Model Testing – Combining Model Checking and Coverage Testing. Type: Diploma Thesis, diplomathesis (2005)
Show Bibtex | Show Abstract

@mastersthesis{Gueldali2005, author = {Baris Güldali}, title = {Model Testing – Combining Model Checking and Coverage Testing}, year = {2005}, type = {diplomathesis}, month = {May} }

Combining software testing with model checking has several advantages. There are a lot of approaches that combine these two techniques in a different manner. This master thesis extends a new combined approach, introduced in [8] and [9], that applies the specification-based test case generation concept from [4] to model checking, and proposes a concept for automation1. In this approach, two models are assumed to be available: a specification model that describes the user requirements on the system behavior and a system model that describes the actual system behavior. The second model is model checked in order to verify the temporal logic properties generated from the specification model. The automation concept includes the generation of the temporal logic properties and their verification using a model checker. The thesis also describes how to apply the coverage-based test termination criterion to model checking as a completeness criterion.

Reiko Heckel and Jochen Küster and Nils Bandener and Baris Güldali and Isabell Jahnich and Christian Köpke and Michael Weking: Automatische Qualitätssicherung von UML Modellen. pg_papers, no. tr-ri-03-245. University of Paderborn (2003)
Show Bibtex | Show Abstract | URL

@techreport{Heckel245, author = {Reiko Heckel and Jochen Küster and Nils Bandener and Baris Güldali and Isabell Jahnich and Christian Köpke and Michael Weking}, title = {Automatische Qualitätssicherung von UML Modellen}, institution = {University of Paderborn}, year = {2003}, type = {pg_papers}, number = {tr-ri-03-245}, month = {December} }

Mit unserer Consistency Workbench (ConWork) haben wir ein Framework zur Transformation von UML-Modellen geschaffen. Diese Transformationen geschehen anhand einer Regelmenge. So wird UML, welches keine formale Semantik hat, in eine Zielsprache mit einer formalen Semantik transformiert. Das Ergebnis der Transformation wird an einen Model-Checker weitergegeben, der die eigentliche Überprüfung vornimmt. Schließlich wird das Ergebnis der Überprüfung von ConWork angezeigt. Der Softwareentwickler weiß nun, ob sein Projekt konsistent ist oder nicht. Zur Zeit ist es nur möglich die Protokollkonsistenz zwischen Objekten zu überprüfen, da im Moment nur Regelmengen für die Transformation von Statecharts implementiert sind. Für die Transformation von weiteren UML-Diagrammtypen sind bereits die theoretischen Grundlagen vorhanden aber noch nicht in die Praxis umgesetzt.