Referent: Prof. Dr. Mario Winter, Cologne University of Applied Sciences

Datum & Uhrzeit: 28. Juni 2011

Abstract: Model-based testing seems to become state of the art in the canon of software testing techniques. Nearly every contemporary (technical) paper on testing seems to propose some sort of a model for testing, and even in agile development contexts the usage of models for testing is not tabooed.

Weiterlesen … KEYNOTE: Why should I use models in testing?

Referentin: Prof. Dr. Ina Schieferdecker, TU Berlin

Datum & Uhrzeit: 28. Juni 2011

Abstract: Konferenzen wie die MBTconf stellen Model Based Testing in das Zentrum der Betrachtung. Jedoch ist die Durchdringung von MBT-basierten Testprozessen in der Industrie noch limitiert. Diese Keynote unternimmt eine kritische Analyse des MBT-Stands auch in Bezug auf Einführungshürden und mögliche Migrationswege.

Weiterlesen … KEYNOTE: Modellbasiertes Testen – Quo vadis?

Referent: Stephan Schulz, Conformiq

Datum & Uhrzeit: 29. Juni 2011

Abstract: This keynote presents current and future planned activities that are part of a major initiative launched at the European Telecommunication Standards Institute (ETSI) on MBT standardization, which already today is supported by a wide range of tool makers and users from a variety of application domain.

Weiterlesen … KEYNOTE: From Research To Industrial Best Practice - MBT in Standardization

Referent: Dr. Martin Beißer, sepp.med gmbh

Datum & Uhrzeit:

Abstract: Seit einigen Jahren wird modellbasiertes Testen intensiv diskutiert, die Vorteile werden nicht bestritten, trotzdem kommt diese Methodik erstaunlich wenig zum Einsatz. Woran liegt das? Wir haben die am häufigsten genannten Gründe, warum MBT nicht eingesetzt wird, gesammelt. Natürlich sind alle diese Einwände berechtigt und nicht sofort von der Hand zu weisen. Dieser Vortrag zeigt, dass sich in vielen Fällen eine gute Antwort finden lässt, die es erlaubt, die Vorteile zu Nutzen, ohne die Nachteile in Kauf nehmen zu müssen.

Weiterlesen … KEYNOTE: 10 vermeintliche Gründe, MBT nicht zu verwenden

Referent: Prof. Dr. Lambert Grosskopf, corax rechtsanwälte | steuerberater | wirtschaftsprüfer

Datum & Uhrzeit:

Abstract: Testverfahren sind Bestandteil der Qualitätssicherung in der Softwareentwicklung, bei denen es nicht um rechtliche Fragen der Fehlerfreiheit von Software geht. Diese beziehen sich auf den vertragsgemäßen Zustand, das vereinbarte Ergebnis oder die Beschaffenheit der Software bei Anlieferung bzw. Abnahme. Ein fehlerfreier Zustand der Software bedeutet nicht zwangsweise auch Vertragserfüllung, während mit fehlerhafter Software gleichwohl die vereinbarte Leistung erbracht werden kann.

Weiterlesen … KEYNOTE: Testen aus rechtlicher Sicht

Referent: Gerhard Baier, AFRA GmbH

Datum & Uhrzeit:

Abstract: Die Einführung von signifikanten Änderungen im Workflow mit bekannten Tools und Methoden muss in gut kommunzierten und nicht übergroßen Schritten vollzogen werden.
Der Anwenderbericht skizziert die Einführung des MBT im SW-Test eines internationalen Herstellers von Medizinprodukten und schildert die Erfahrungen.

Weiterlesen … Einführung des MBT in die Praxis - Was wichtig war und was hängen bleibt

Referent: Dr.-Ing. Winfried Dulz, Univ. of Erlangen-Nuremberg

Datum & Uhrzeit:

Abstract: Im Unterschied zur automatischen Testfallgenerierung aus formalen Systemspezifikationen ist die systematische Erzeugung und Bewertung von Testfällen aus statistischen Benutzungsmodellen noch relativ unbekannt. Der Vortrag erläutert zunächst das Grundprinzip der statistischen Testfallgenerierung mittels Markowketten-Benutzungsmodellen. Markowketten dienen dabei zur Modellierung des erwarteten Benutzungsverhaltens des zukünftigen Anwenders.

Weiterlesen … Modellgestützte Testfallgenerierung und agile Simulation mittels statistischer Benutzungsmodelle

Referent: Dr. Mugur Tatar, QTronic Gmbh

Datum & Uhrzeit:

Abstract: Komplexe eingebettete Systeme sind schwer zu testen. Konventionelles Testen mit handgeschriebenen Testskripten ist kosten- und zeitintensiv und stößt wegen des stetig wachsenden Testumfangs zunehmend an methodische Grenzen. In dem Vortrag wird daher ein Verfahren für das intelligente Generieren von Testfällen aus einer sehr kompakten Testspezifikation vorgestellt.

Weiterlesen … Intelligente Testfallgenerierung für den automatisierten Systemtest

Referent: Dr. Wolfgang Kremer, Dornier-Consulting Engineering & Services

Datum & Uhrzeit:

Abstract: Ein immer wichtiger werdender Trend in der Automobilelektronik ist das Modell-basierte Entwickeln und Testen von vernetzten Embedded Systemen. Durch die immer komplexer werdenden Funktionen in den Elektroniksystemen moderner Fahrzeuggenerationen, findet die Nutzung von UML bzw. davon abgeleiteter DSLs (Domain Specific Languages) als Modellierungssprache eine immer stärkere Verbreitung.
In enger Zusammenarbeit mit einem global aufgestellten Automobilhersteller wurde das Modell Based Testing (MBT) auf Basis von UML Systemmodellen entwickelt und in der Praxis eingeführt. Nach mehrjähriger praktischer Nutzung und Weiterentwicklung wurde das MBT zum festen Bestandteil des Entwicklungsprozesses des OEMs.

Weiterlesen … MBT von vernetzten Embedded Systemen – Ein Erfahrungsbericht aus der Automobilindustrie

Referent: Dr. Alexander Harhurin, Berner & Mattner Systemtechnik GmbH

Datum & Uhrzeit:

Vortragsart: Methodenvortrag

Zielgruppe: Fortgeschrittene

Abstract: In diesem Vortrag wird ein modellbasierter Ansatz vorgestellt, in dem ein System auf drei Abstraktionsebenen beschrieben wird. Während das Funktionsmodell die Anforderungsspezifikation des Systems definiert, ist die logische Architektur ein abstraktes Modell der Lösungsdomäne. Die technische Architektur ...

Weiterlesen … Durchgängiges modellbasiertes Testen reaktiver Systeme: von Anforderungen bis hin zur Implementierung

Referenten: Dr. Werner Altmann & Jürgen Hartung, Kölsch&Altmann GmbH

Datum & Uhrzeit:

Vortragsart: Methodenvortrag

Zielgruppe: Fortgeschrittene

Abstract: Eine vielversprechende neue Methode zielt auf das Problem, das während eines Projektes eine große Anzahl von Testfällen entsteht. Mit dem MBT-Ansatz wird im Test-Design von Beginn an auf die Verringerung der Testfälle gezielt.
Wie bei vielen anderen neuen Methoden erreichen Sie Ihr Ziel mit der Verwendung von MBT ...

Weiterlesen … MBT - kritisch betrachtet

Referent: Dr. Jürgen Pitschke, BCS - Dr. Jürgen Pitschke

Datum & Uhrzeit:

Vortragsart: Methodenvortrag

Zielgruppe: Einsteiger

Abstract: Standards beschreiben eine Darstellung von Methoden, aber nicht die Methodik für die Entwicklung oder Kriterien für die Beurteilung von Modellen. Erfolgreiche Projekte verstehen Modellieren als ingenieurtechnsiche Disziplin, für die Arbeitstechniken existieren. Dazu gehört die Bewertung und Sicherung der Qualität von Modellen.

Weiterlesen … Modellbasiertes Testen und Testen von Modellen

Referent: Victor Czenter, SQS Software Quality Systems AG

Datum & Uhrzeit:

Abstract: Die Performance von Software-Systemen wird häufig erst beim Vorliegen der ersten lauffähigen Systemversionen getestet. Die Möglichkeiten, bei Nicht-Erfüllung von Performance-Anforderungen an dieser späten Phase im Software-Lebenszyklus noch gegensteuern zu können, sind deutlich beschränkt.
Modellbasierte Performance-Schätzverfahren können dagegen schon viel früher zum Einsatz kommen ...

Weiterlesen … Modellbasierte Performance-Vorhersagen für Architekturevaluierungen

Referent: Matthias Zieger, Microsoft Deutschland GmbH und Christoph Neumann, sepp.med gmbh

Datum & Uhrzeit:

Abstract: Die Kombination aus Application Lifecycle Management, agiler Vorgehensweise, und Multiuserfunktionalität wird mit Hilfe des Modellbasierten Testens zu einer schlagkräftigen QS-Allianz, welche sich vor allem in der Enterprise-IT effizienzsteigernd einsetzen lässt. Dabei werden Testszenarien als Modell dargestellt und mit Hilfe eines Testfallgenerators die dedizierten Testfälle generiert, welche anschließend im Application-Lifecylce-Management-Werkzeug verwaltet, mit Requirements verknüpft, zur Ausführung gebracht und mit einem aussagekräftigen Reporting versehen werden können.

Weiterlesen … Integration von MBT in eine Plattform für kollaborative Softwareprojekte

Referent: Prof. Dr. Holger Schlingloff, Fraunhofer FIRST

Datum & Uhrzeit:

Abstract: Zu einem effizienten Einsatz der MBT-Technologie ist es erforderlich, nicht nur den Testgenerierungsprozess zu betrachten. Auch die Ableitung von Modellen aus Anforderungen, die Durchführung des Tests und die Auswertung der Testergebnisse sind im Produktionskontext zu berücksichtigen.
In diesem Vortrag werde die verschiedenen Arten des Einsatzes von Modellen im modellbasierten Test beleuchtet.

Weiterlesen … MBT - mehr als nur automatische Testgenerierung

Referent: Hartmut Lackner, Fraunhofer FIRST

Datum & Uhrzeit:

Abstract: Modellbasiertes Testen verspricht effiziente Testgenerierung, flexible Reaktion auf Anforderungsänderungen und Nachverfolgbarkeit der Anforderungen bis zu den Testfällen Im industriellen Umfeld gibt es jedoch immer noch Hemmschwellen MBT einzusetzen ...

Weiterlesen … Einführung von modellbasiertem Testen in der Industrie: Ein Erfahrungsbericht

Referent: Dr.-Ing. Winfried Dulz, Univesity of Erlangen-Nuremberg

Datum & Uhrzeit:

Abstract: Im Unterschied zur automatischen Testfallgenerierung aus formalen Systemspezifikationen ist die systematische Erzeugung und Bewertung von Testfällen aus statistischen Benutzungsmodellen noch relativ unbekannt.
Der Vortrag erläutert zunächst das Grundprinzip der statistischen Testfallgenerierung mittels Markowketten-Benutzungsmodellen. Anschließend behandelt er die Vorgehensweise der agilen Simulation.

Weiterlesen … Modellgestützte Testfallgenerierung und agile Simulation mittels statischer Benutzungsmodelle

Referent: Stefan Vogel, eXept Software AG

Datum & Uhrzeit:

Vortragsart: Anwender- und Methodenbericht

Zielgruppe: Einsteiger, Fortgeschrittene

Abstract: Ein explorativer Tester versucht von den Entwicklern möglicherweise nicht vorhergesehene Ereignisse zu provozieren. Während das bei GUI-Anwendungen durch manuelle Test mit Maus und Tastatur möglich ist, müssen für den Test von Server-Anwendungen komplexe Protokolle bedient werden, und das oft in mehreren Schichten.
Der Vortrag zeigt anhand von Beispielen aus dem Telekommunikationsbereich, wie exploratives Testen funktioniert.

Weiterlesen … Exploratives Testen von Service-Schnittstellen

Referent: Mark Menzel, imbus AG

Datum & Uhrzeit:

Abstract: In einem etablierten Testprozess haben sich zur Steuerung der Testaktivitäten Metriken bewährt (etabliert). Standardmetriken im Softwaretest messen Produkt-, Projekt- und Prozesseigenschaften. Ebenso haben sich Fehlermetriken, Fortschritts- und Ergebnismetriken durchgesetzt. Zu nennen sind hier beispielsweise ie Anzahl der Fehler, gelöste Fehler, Fehler pro Phase, Kosten und Zeit.
Wie passen diese etablierten Metriken zu einem modellbasiertenn Testansatz?

Weiterlesen … Können klassische Metriken auch für modellbasiertes Testen verwendet werden?

Referent: Markus Schacher, KnowGravity Inc.

Datum & Uhrzeit:

Vortragsart: Anwenderbericht

Zielgruppe: Fortgeschrittene

Abstract: In den vergangenen rund 10 Monaten haben wir im Auftrag der Schweizerischen Bundesbahnen SBB in Zusammenarbeit mit Siemens und Thales einen neuen Standard für Schnittstellen zwischen Stellwerken verschiedener Hersteller entwickelt. Dabei ging es nicht um die Entwicklung der Schnittstelle selber, sondern um die Entwicklung einer funktionalen Spezifikation als Standard für diese Schnittstelle. Da bei solchen sicherheitskritischen Systemen besonderer Wert auf die Korrektheit dieser funktionalen Spezifikation gelegt wird, wurde unter Verwendung der executable UML (xUML) ein ausführbares Modell dieser Spezifikation  entwickelt.

Weiterlesen … Entwicklung eines sicherheitskritischen Standards für die Schweizerischen Bundesbahnen mittels executable UML (xUML) und UML Testing Profile (UTP)

Referent: Joachim Hänsel, Fraunhofer FIRST

Datum & Uhrzeit:

Vortragsart: Methodenbericht

Zielgruppe: Fortgeschrittene

Abstract: Die immer komplexeren Systeme denen Tester heute begegnen erfordern erwartungsgemäß komplexere Testmodelle für die Generierung einer adäquaten Testsuite. Komplexere Testmodelle resultieren wiederum in einem aufwendigeren oder sogar nicht mehr beherrschbaren Generierungsprozess. Wird das Problem der Generierung von Testfällen umformuliert als ein Optimierungs- bzw. Suchproblem, so eröffnen sich neue Möglichkeiten diesen komplexen Modellen zu begegnen.

Ein Beispiel für solche komplexen Modelle soll in diesem Vortrag zunächst kurz vorgestellt werden. Ein Netzwerk von Timed Automata, welches ein kombiniertes ABS und ASR System spezifiziert.

Weiterlesen … Evolutionäre Testfallgenerierung für MBT

Referent: Florian Prester, sepp.med

Datum & Uhrzeit:

Vortragsart: Methodenbericht

Zielgruppe: Fortgeschrittene

Abstract: Modellbasiertes Testen (MBT) rückt zunehmend in den Fokus der Testing-Community - zahlreiche akademische und industrielle Workshops, Arbeitsgruppen und Konferenzen widmen sich diesem Thema. Verschiedene akademische und kommerzielle MBT-Werkzeuge werden erfolgreich in Industrieprojekten eingesetzt. Allerdings bestehen bei Projekt- und Testmanagern oft noch Zweifel über den Return on Investment des modellbasierten Testens in eigenen Projekten - insbesondere aufgrund der zunächst unüberschaubaren Einstiegskosten und dem unklaren Nutzen im eigenen Anwendungskontext. Obwohl Forschungseinrichtungen und Industrie in Publikationen regelmäßig über positive Erfahrungen mit dieser innovativen Technologie berichten, gibt es bislang keine methodische Auflistung, die die Kosten- und Nutzenfaktoren in allen Phasen gegenüberstellt. Aus diesem Grund analysieren wir seit gut einem Jahr solche Faktoren für die Einführung und die Nutzung modellbasierter Testverfahren in gängigen Szenarien. Projekt- und Testmanager bekommen somit einen Fragenkatalog als Entscheidungshilfe mit dem sie eine potentielle Kosten-Nutzen-Analyse für die Einführung von MBT und eine Abschätzung der wesentlichen Arbeitsaufwände durchführen können.

Weiterlesen … Wann lohnt sich modellbasiertes Testen? - Einflussfaktoren für Return on Investment

Referent: Dr. Udo Brockmeyer, BTC Embedded Systems AG

Datum & Uhrzeit:

Vortragsart: Methodenbericht

Zielgruppe: Fortgeschrittene

Abstract: In the meantime it is generally accepted that model driven development is the premise to deliver more embedded functionality in shorter time, in other words with less cost. An additional significant benefit of applying model driven methods for developing embedded software is higher quality of the developed software due to early verification means like model in the loop (MiL ) simulation. However, testing of the embedded software is usually still done in a more traditional way, using processes and methods adequate for the software development processes of the 80s and 90s. In fact, there is indeed a significant gap between the high level of productivity of the software engineers, using models to develop the software, and the lower level of productivity of the engineers responsible to perform the testing and quality assurance.

Weiterlesen … Highly Automated Model-Based Back-to-Back Testing to achieve Quality and Performance Gains

Referent: Martin Seel, sepp.med und Jochen Flad, HP

Datum & Uhrzeit:

Vortragsart: Methodenbericht

Zielgruppe: Fortgeschrittene

Abstract: Modellbasiertes Testen wird heutzutage meist nur noch im Verbund mit Werkzeugunterstützung akzeptiert. Der Markt verlangt und benötigt hierbei keine isolierten Werkzeuge, sondern integrierte Lösungen. Dieser Vortrag zeigt das Zusammenspiel der Best-Practice-Methodik modellzentriertes Testen (.mzT) mit der Testfallgenerierung und dem Testmanagement.

Weiterlesen … MBT im werkzeuggestützten Testmanagement

Referent: Denis Worschow, mathWorks

Datum & Uhrzeit: Reservevortrag, falls ein Referent krankheitsbedingt ausfällt

Abstract: Wie können Fehler möglichst früh gefunden werden? Testen ist hierfür die wichtigste Methode, die nicht erst nach der Integration, sondern bereits mit dem ersten simulierbaren Modell zum Einsatz kommen kann. In diesem Vortrag erfahren Sie, wie Sie im Model-Based Design Testmethoden effektiv und effizient vom ersten ausführbaren Modell bis hin zum Produktions-Code auf Zielprozessoren einsetzen können.

Weiterlesen … Kontinuierliches Testen in der Model-basierten Systementwicklung