BEGIN:VCALENDAR VERSION:2.0 PRODID:https://github.com/derhansen/sf_event_mgt METHOD:PUBLISH BEGIN:VEVENT UID:270-765@fg-tav.gi.de CLASS: PUBLIC SUMMARY:27. TAV DESCRIPTION:Das 27. TAV-Treffen findet in Kooperation mit der Fachgruppe Re quirements Engineering (RE) statt und steht unter dem Motto Requirements En gineering meets Testing.\n\n \n\nFish-In-A-Bowl Diskussion: Requirements En gineering meets Testing\n\nAlle Teilnehmer\n\nIn dieser Diskussion sollen A nknüpfungs- aber auch Streitpunkte im Brennpunkt der beiden Disziplinen auf gezeigt und diskutiert werden.\n\n\n\nRequirements-Management und Testen ef fektiv integrieren\n\nAndreas Birk Software.Process.Management Gutenbergstr aße 99, 70197 Stuttgart andreas.birkATswpm.de\n\nRequirements-Management un d Testen sind in vielen Unternehmen noch zu stark von einander getrennt. In der Folge kommt es zu unklaren Anforderungen, fehlenden Testfällen, Zeit u nd Kostenüberschreitungen sowie Qualitätsmängeln. Wenn Requirements-Managem ent und Testen integriert sind, steigen Produktqualität und Produktivität d er Software-Entwicklung.\n\nDieser Artikel zeigt, wie Anforderungen und Tes ts über den gesamten Software-Lebenszyklus hinweg zusammen hängen. Er besch reibt, wie Projekte diese Zusammenhänge schrittweise nutzen und gestalten k önnen, um Effizienz der Entwicklung und Qualität der Produkte zu steigern.\ n\n\n\nTestbarkeitsanforderungen an die Software\n\nStefan Jungmayr Stefan Jungmayr, 71254 Ditzingen www.testbarkeit.de\n\nTestprobleme und die Suche nach Software-Fehlern verschlingen einen wesentlichen Anteil des Projektbud gets. Um bei knapp kalkulierten Projektressourcen noch handlungsfähig zu bl eiben sollte daher dieser Anteil durch konstruktive Maßnahmen zur Verbesser ung der Testbarkeit unter Kontrolle gehalten werden.\n\nDieser Artikel besc hreibt zahlreiche funktionale und nicht-funktionale Anforderungen für die T estbarkeit von Software-Systemen aus der Sicht unterschiedlicher Projektrol len.\n\n\n\nIntegration textueller Anforderungen und modellbasiertem Testen mit SysML\n\nOliver Alt Continental Division Chassis & Safety Electronic B rake Systems, ETC-PM Guerickestrasse 7, D-60488 Frankfurt am Main oliver.al tATcontiautomotive.com\n\nIn der modernen System- und Softwareentwicklung b ilden Anforderungen die Grundlage aller Entwicklungsaktivitäten. Diese Anfo rderungen liegen zumeist in nicht formaler Form als textuelle Anforderung o der Beschreibung von Anwendungsfällen vor. Neben diesen informellen Entwick lungsdokumenten gibt es im Rahmen einer Modellbasierten Entwicklung aber au ch die formalen Systemmodelle, die das System in seiner Architektur und sei nem Verhalten beschreiben.\n\nDamit ergibt sich eine Lücke zwischen den Anf orderungen und den Systemmodellen, die nur durch den menschlichen Entwickle r gefüllt werden kann, der aus den Anforderungen das Systemmodell erstellt. Ein formale, im Sinne von rechnerunterstützter Überführung der Anforderung en in Modelle und umgekehrt ist aufgrund des rein informellen Charakters de r Anforderungen nicht möglich.\n\nIn diesem Beitrag wird ein Verfahren vorg estellt, das es erlaubt, Anforderungen und Anwendungsfälle mit Hilfe von Mo dellierungsmustern in ein formales Systemmodell in Form von SysML-Aktivität sdiagrammen zu überführen. Umgekehrt lassen sich aus diesen Diagrammen auch die informellen Anforderungen leicht gewinnen. Aus den erstellten Modellen lassen sich mit Hilfe von bereits erarbeiteten Verfahren Testfälle generie ren und ausführen. Damit kann ein solches Modell als Testgrundlage in einem Testprozess Verwendung finden.\n\n\n\nTelling TestStories - Modellbasierte s Akzeptanz-Testen Serviceorientierter Systeme\n\nMichael Felderer, Joanna Chimiak–Opoka, Ruth Breu Universität Innsbruck {michael.felderer,joanna.opo ka,ruth.breu}ATuibk.ac.at\n\nIn diesem Artikel geben wir einen Überblick üb er Telling TestStories, ein modellbasiertes Testverfahren und Testframework , welches speziell für Akzeptanztests von Serviceorientierten Systemen geei gnet ist und derzeit im Rahmen einer Forschungskooperation zwischen der Uni versität Innsbruck und der Firma softmethod entwickelt wird.\n\n\n\nCause-E ffect Graphs for Test Models Based on UML Models and OCL\n\nDehla Sokenou, Stephan Weißleder GEBIT Solutions Koenigsallee 75b, 14193 Berlin, Germany d ehla.sokenouATgebit.de\n\nHumboldt-Universität zu Berlin, Institut für Info rmatik Rudower Chaussee 25, 12489 Berlin, Germany weissledATinformatik.hu-b erlin.de\n\nIn this paper, we discuss how to transform UML state machines w ith OCL expressions into cause-effect graphs. This transformation is necess ary to keep test models consistent and understandable. We substantiate all explanations by an example model, which is part of a model for a freight el evator control.\n\n(Vortrag in Deutsch)\n\n\n\nFormalisierung der funktiona len Anforderungen mit visuellen Kontrakten und deren Einsatz für modellbasi ertes Testen\n\nGregor Engels, Baris Güldali, Stefan Sauer Software Quality Lab, Universität Paderborn  {engels,bguldali,sauer}ATs-lab.upb.de\n\nDie H auptaufgabe der Anforderungsanalyse ist es, Kundenwünsche zu verstehen und sie in einer Form aufzunehmen, so dass weitere Beteiligte im Software-Entwi cklungsprozess diese für die anschließenden Entwicklungsaktivitäten nutzen können. Dafür müssen die funktionalen und nichtfunktionalen Anforderungen k lar und verständlich formuliert sein. Die Formulierung muss außerdem eindeu tig und einheitlich sein, damit die Anforderungen des Kunden von Entwickler n richtig verstanden werden.\n\nHeutzutage geschieht die Aufnahme der Kunde nanforderungen meist in Form einer informalen Prosabeschreibung, die, wenn nicht sorgfältig geschrieben, zu Missverständnissen führen kann. Besonders wichtig ist die Qualität der Anforderungsspezifikation, wenn daraus weitere Softwareartefakte abgeleitet werden sollen, wie z.B. Entwurfsmodelle oder Testfälle. Je „formaler“ die Anforderungsspezifikation geschrieben wird, de sto besser sind die Kommunikation zwischen den Anforderungsanalysten, den E ntwicklern und den Testern und die Wiederverwendung der Anforderungsspezifi kation in den weiteren Entwicklungsphasen.\n\nWir beschreiben in diesem Bei trag ein Verfahren, wie Vor- und Nachbedingungen von Anwendungsfällen mit H ilfe von Modellen formalisiert und für Zwecke des modellbasierten Testens e ingesetzt werden. Dabei beschränken wir uns bei der Formalisierung der Vor- und Nachbedingungen auf die fachlichen Daten, die von dem jeweiligen Anwen dungsfall zur Ausführung benötigt und nach der Ausführung erzeugt werden. E in fachliches Datenmodell beschreibt die fachlichen Daten und ihre Beziehun gen zueinander. Nach der Implementierung der Anwendungsfälle werden diese f ormalen Vor- und Nachbedingungen zur automatisierten Testfallgenerierung, T estausführung und Testbewertung eingesetzt.\n\n\n\nTesting Against Requirem ents Using UML Environment Models\n\nMaritta Heisel, Denis Hatebur Universi ty Duisburg-Essen, Working Group Software Engineering {maritta.heisel,denis .hatebur}ATuni-duisburg-essen.de Denis Hatebur Institut für technische Sys teme GmbH, d.hateburATitesys.de Thomas Santen Technische Universität Berli n, Fachgebiet Softwaretechnik, santenATcs.tu-berlin.de Dirk Seifert Loria – Universite Nancy 2, ´Equipe Dedale, dirk.seifertATloria.fr\n\nWe propose a new method for system validation by means of testing, which is based on e nvironment models expressed as UML state machines. A sun blind control case study serves to illustrate the method. We describe how UML state machines (with a corresponding support tool Teager) can be used to realize the descr ibed approach in the area of reactive and/or embedded systems. For this kin d of system, state machine models are particularly useful. We elaborate on two different testing approaches:\n\n On-the-fly testing: Here, generating and executing test cases is intertwined. This has the advantage that state explosion is not a problem, but the disadvantage that for non-deterministi c systems the tests may not be repeatable. Batch testing: Here, test cases are generated and stored for later execution. This has the advantage that regression tests become possible but the disadvantage that all possible beh avior variants must be computed. \n\n\n\nDie systematische Verzahnung von R equirements Engineering und Test Engineering - ein Projekterfahrungsbericht \n\nGabriele Frenzel NewTec GmbH System-Entwicklung und Beratung Buchenweg 3 D-89284 Pfaffenhofen a. d. Roth frenzelATnewtec.de www.newtec.de\n\nDer V ortrag ist ein Erfahrungsbericht aus einem großen Kommunikationsprojekt mit den beiden Arbeitspaketen „Beurteilung von Requirements“ und daraus abgele itet „Durchführung des Test Engineering“ in diesem Projekt. Beide Arbeitspa kete sind miteinander eng verzahnt, da ohne ein gutes Requirements Engineer ing kein gutes Test Engineering durchgeführt werden kann.\n\nEin Schwerpunk t bildete die sprachliche Analyse der Requirements. Die Verwaltung der Requ irements und die Dokumentation der Analyseergebnisse erfolgte in der Datenb ank DOORS und wird schematisch dargestellt und an Hand von Beispielen erläu tert.\n\nIm zweiten Teil des Vortrags wird ein praxiserprobtes Vorgehensmod ell zur systematischen Herleitung von anforderungsorientierten Black-Box Te sts vorgestellt. Die Verzahnung der beiden Arbeitspakete und die daraus res ultierenden Schwierigkeiten im Projekt werden kurz dargestellt sowie unsere Lösungsansätze und die daraus abgeleiteten Vorgehensweisen in Folgeprojekt en.\n\n\n\nWerkzeugunterstützte Verknüpfung von Anforderungen und Tests - V oraussetzung für eine systematische Qualitätssicherung\n\nMeike Lim, Sadegh Sadeghipour IT Power Consultants Gustav-Meyer-Allee 25 13355 Berlin  {meik e.lim; sadegh.sadeghipour}ATitpower.de\n\nDas Testen ist keine isolierte Ak tivität, die an das Ende der Entwicklungskette angehangen werden sollte. Vi elmehr sollten frühzeitig Testspezifikationen aus den gegebenen Anforderung en abgeleitet werden. Diese inhaltlich enge Verzahnung zwischen Anforderung smanagement und Test erfordert eine angemessene Prozess- und Werkzeugunters tützung. Am Beispiel einer Toolkopplung im Kontext der Entwicklung eingebet teter Software wird eine solche Unterstützung verdeutlicht, die u.a. eine R ückverfolgbarkeit der Tests zu den Anforderungen und eine objektive Aus-sag e über die Testabdeckung erlaubt.\n\n\n\nTestexperte als Anforderungsmanage r - Ein Erfahrungsbericht\n\nGereon Tochtrop Sogeti Deutschland GmbH, Schie ss-Str. 72, 40472 Düsseldorf gereon.tochtropATsogeti.de\n\nBei diesem Vortr ag handelt es sich um einen Erfahrungsbericht des Autors, der als Berater i n den Rollen Anforderungsmanager, Testexperte, Testmanager und Konfiguratio nsmanager (Personalunion) im Rahmen eines Releasewechsels eines Adressinfor mationssystems eines großen Logistikunternehmens aus Bonn tätig war. Der Be richt beschreibt in erster Linie die Erfahrungen, die der Autor im Rahmen d es Anforderungsmanagements gesammelt hat. Am Ende des Vortrags werden zusam menfassend die Synergien bzw. Vorteile dargestellt, die dadurch entstanden, dass der Anforderungsmanager gleichzeitig Testexperte / Testmanager in dem Projekt war.\n\n\n\nTAV-Arbeitskreis: Test Objektorientierter Programme (T OOP)\n\nDas Ziel des seit Oktober 1995 bestehenden Arbeitskreises ist der E rfahrungsaustausch über Probleme und Lösungen beim Test (und Review) von ob jektorientierter und komponentbasierter Software in Industrie und Forschung .\n\nThemenschwerpunkte im Arbeitskreis sind u.a.:\n\n Testbarkeit, Entwur f für Testbarkeit Reviews Test von Bibliotheken, Frameworks, Multi-Plattf orm Applikationen (CORBA...) Techniken für den Integrationstest von OO-Sof tware Testmetriken und Testwerkzeuge OO-Testplan mit Methoden- und Werkze ugempfehlungen \n\nVorläufiges Programm für das AK-Treffen zur TAV26\n\n Präsentation von Mario Winter (FH Köln): "Modellbasiertes Testen - Alter W ein in neuen Schläuchen" Angefragt: Präsentation von Mario Friske (TU Berlin/FOKUS): "Strukturelle Testabdeckung funktionaler Spezifikationen" Diskussion zur Umbenennung des Arbeitskreises Planung der weiteren Ar beitsfelder \n\nAnmeldung erbeten unter info@toop.gi-ev.de\n\n\n\nTAV-Arbei tskreis: Testmanagement\n\nDer Arbeitskreis Testmanagement wurde im März 19 95 gegründet und dient in erster Linie dem Erfahrungsaustausch der Teilnehm er über folgende Themenbereiche:\n\n Organisation von Testprozessen Metho dische Unterstützung Einbettung in allgemeine QS-Aufgaben Rollen und Aufg aben im Testprozess Abgrenzung des Begriffs Testmanagement \n\nWeitere Inf ormationen zum Arbeitskreis Testmanagement finden Sie unter: www.caseconsul t.com/tavtm\n\nEine Anmeldung zur Teilnahme an der Arbeitskreissitzung ist nicht erforderlich.\n\n\n\nTAV-Arbeitskreis: Berufsbilder und Ausbildung im QS-Bereich\n\nDas Ziel des Arbeitskreises "Berufsbild Software-Tester" ist es, eine einheitliche und für alle Beteiligten nachvollziehbare Ausbildung für den Software-Tester zu unterstützen, um die Qualität der Qualifikation sicherzustellen und damit auch insgesamt die Qualität der Software-Entwick lung zu verbessern.\n\nZur Zeit hat der AK  7 Kernmitglieder und weitere In teressierte. Ein Positionspapier  "Empfehlungen für das Berufsbild, die Aus bildung und die Qualifikationsstufen des Software- Tester" ist in den letzt en Monaten erarbeitet worden und im Nov. 2004 in Petrasch, R. (Hrsg.): Schr iften zum Software-Qualitätsmanagement. Analytische und konstruktive Qualit ätssicherung in Theorie und Praxis. Reihe: Software-Qualitätsmanagement: Th eorie & Praxis (herausgegeben von R. Petrasch), Band 3. Logos Verlag Berlin " erschienen.\n\nMitglieder des Arbeitskreises arbeiten aktiv bzw. gestalte n eine einheitliche Zertifizierung von QM-Personal im Testbereich im nation alen und  europäischen bzw. internationalen Rahmen in unterschiedlichen Rol len mit. Auch im Rahmen der TAV 25 wird die Möglichkeit angeboten (siehe Ze itplan) die Prüfung zum Certified Tester zu absolvieren.\n\nAktuelles Ziel des Arbeitskreises ist es das o.g. Positionspapier zu aktualisieren und zu einem offiziellen GI-Positionspapier weiterzuentwickeln. Interessenten meld en sich bitte beim Sprecher des Arbeitskreises. \n\nSprecher des Arbeitskre ises ist Horst Pohlmann (Horst.Pohlmann(at)german-testing-board.info ). Die HomePage des Arbeitskreises ist aktuell unter der folgenden URL erreichbar :  http://giserver.gi-ev.de/fachbereiche/softwaretechnik/tav/bb/st/index.ht m\n\n\n\nTAV-Arbeitskreis: Test eingebetteter Systeme\n\nhttp://www.systema tic-testing.de/tav\n\n\n\nAnmeldung und weitere Informationen zum Treffen\n \nDie Anmeldung ist bis zum 23. Mai 2008 ausschließlich über das hier zu fi ndende Web-Formular\n\n\n\n(Über-)Nächstes Treffen\n\nDas 28. TAV-Treffen f indet aller Voraussicht nach am 12. und 13. Februar 2009 an der Technischen Universität Dortmund statt.\n\nLokaler Organisator vor Ort ist unser Gründ ungsmitglied Eike Hagen Riedemann.\n\nThemenvorschläge werden wie immer auf dem kommenden Treffen gesammelt.\n\n\n\nAbendveranstaltung\n\nDas "Social Event" findet ab 19:00 Uhr im Ratskeller im Physikzentrum statt.\n\nDas Ger man Testing Board hat auch für diesen Treff wieder ein gewisses Sponsoring zugesagt!\n\n\n\n\n\n\n\n\n\nVeranstaltung der iSQI GmbH: Prüfung zum IREB Certified Professional for Requirements Engineering oder zum ISTQB®-Certifi ed-Tester\n\nBei ausreichender Anmelderzahl haben Sie die Möglichkeit, die Prüfung zum "IREB Certified Professional for Requirements Engineering" oder zum "ISTQB®-Certified-Tester" abzulegen -  auch ohne vorher einen entsprec henden akkreditierten Kurs belegt zu haben. Es wird davon ausgegangen, dass sie als Experte sich bereits gut in der jeweiligen Problematik auskennen.\ n\nFalls sie ihr Wissen (und die Fachbegriffe) zum Testen vorab im Selbstst udium auffrischen wollen, kann das Buch "Basiswissen Softwaretest - Aus- un d Weiterbildung zum Certified Tester - Foundation Level nach ISTQB-Standard " empfohlen werden, welches exakt den Lehrstoff umfasst. Das Glossar im Buc h ist auch die Grundlage bei den Fragen, d.h., dass u.a. das Wissen um dies e Begriffe und Definitionen eine Voraussetzung zum erfolgreichen Ablegen de r Prüfung ist.\n\nDerzeit gibt es bereits über 6500 zertifizierte Tester in Deutschland (Weltweit über 44.000). Mittlerweile haben sich sich mehr als  35 Länderdem Certified Tester Schema des International Software Testing Qua Iifications Board (ISTQB)   angeschlossen, das in Deutschland durch das Ger man Testing Board vertreten wird.\n\nBei entsprechender Nachfrage ist auch möglich eine Teilprüfung ( Testmanager, Functional Tester oder Technical Te ster )  zum Certified Tester - Advanced Level abzulegen. Zur Vorbereitung a uf die Teilprüfung "Testmanager" kann das Buch "Praxiswissen Softwaretest - Testmanagement" herangezogen werden.\n\nHinweise zu Inhalt und Umfang der Prüfungen finden sie unter:\n\n Übersicht und Lehrplan   IREB Certified Professional for Requirements Engineering Übersicht und Lehrplan   Cer tified Tester - Foundation Level Übersicht und Lehrplan   Certified Te ster - Advanced Level ( inkl. einer Einteilung der Prüfungsthemen de s Advanced Level ) \n\nVermerken sie bitte in ihrer Anmeldung (s.U.) , ob sie die Prüfung zum Foundation Level oder eine Teilprüfung zum Advance d Level ablegen möchten.\n\nAutorisierte und benannte Zertifizierungsstelle n des GTB sind derzeit (Stand 01.05.2008):\n\n Zertifizierungss telle    Adresse Url DLGI Dienstleistungsgesellschaft  für Informatik mbH  Wissenschaftszentru m Ahrstr. 45 53175 Bonn   www.dlgi.de iSQI iSQI GmbH Wetterkreuz 19a 91058 Erlangen w ww.isqi.org       \n\n\n\nK onditionen und Rahmenbedingungen des ISQI: \n\nPreis CT-Foundation-Level Pr üfung: der reduzierte ASQF-Mitgliederpreis von 225,00 Euro anstelle der 250 ,00 Euro, und darauf nochmals einen einmaligen "Sonderrabatt" von 25,00 Eur o, also 200,00 Euro zzgl. MWSt.\n\nDie Prüfungsgebühr für ein Advanced Leve l-Modul beträgt wie gewohnt 150 € normal, 135 € für ASQF-Mitglieder zzgl. 5 0 € Bearbeitungsgebühr bei Erstablegung (zzgl. MwSt.).\n\nDie Prüfung finde t nur statt. wenn sich insgesamt mehr als 6 Personenanmelden).\n\nZeitpunkt :\n\nDonnerstag, 05. Juni 2008, 16.00 - 17.30 Uhr\n\nVerbindliche Anmeldung  zur Prüfung bitte per eMail an iSQI GMBH\n\niSQI GmbH – International Soft ware Quality Institute Silvia Huhse Conferences & Certifications Wetterkreu z 19a 91058 Erlangen Germany Tel +49 9131 91910-16 Fax +49 9131 91910-10 LOCATION:Physikzentrum DTSTAMP:20250424T184125Z DTSTART:20080605T080000Z DTEND:20080606T140000Z END:VEVENT END:VCALENDAR