Wir freuen uns über den großen Erfolg des 2. sepp.med Expertensymposium, das am 18. Februar 2009 stattfand. Die Veranstaltung im RAMADA Hotel Herzogenaurach stellte die Idee, angesehene Experten aus Wissenschaft und Industrie zusammenzubringen und somit eine Plattform für den Informationsaustausch zu schaffen, in den Mittelpunkt.
Im Rahmen des Expertensymposiums 2009 stellte unser Kooperationspartner sepp.med die Themen SOA – Serviceorientierung in Softwareprojekten und .mzT – modellzentriertes Testen vor. Zahlreiche Besucher und rege Beteiligung an den Podiumsdiskussionen verdeutlichen das große Interesse an den präsentierten Themen. Die sehr positive Resonanz aus den Feedback-Bögen zeigt die gute Wahl der Themen und Referenten durch sepp.med.
Gerne begrüßen wir Sie zum nächsten Expertensymposium in zwei Jahren.
Weitere Infos bei sepp.med
Seit 20 Jahren gibt es nun die AFRA GmbH. Wir können auf schöne und erfolgreiche Jahre zurück blicken. Vielen Dank an unsere treuen Kunden und an unsere fleissigen und kreativen Mitarbeiterinnen und Mitarbeiter!
UnITeD ist unser neues Werkzeug zur modellbasierten Testfallgenerierung.
Auf Basis von UML-Modellen generiert UnITeD automatisch Testfälle und Testdaten.
Genetische Algorithmen sorgen dafür die Anzahl der Testfälle zu minimieren und gleichzeitig die Testabdeckung zu maximieren.
Für Version 1.3 stehen jetzt Zusatzmodule für die Visualisierung der Testfälle direkt im Modell zur Verfügung.
Die generierten Testfälle können direkt in den UML-Werkzeugen EnterpriseArchitect und MagicDraw farbig markiert werden. Die Analyse der erzeugten Testfälle ist dadurch wesentlich vereinfacht.
Seit Version 1.2 werden unter anderem Regressionstests unterstützt. Überarbeitete Modelle werden automatisch analysiert und nur für geänderte Teile des Modells Testfälle generiert.
Mehr dazu finden Sie unter Produkte.
Am 9. und 10. Juli fand der Kongress Medizin Innovativ in Nürnberg statt. AFRA zu Gast auf dem Ausstellerstand der sepp.med GmbH.
AFRA nutzte die Gelegenheit modellbasierte Lösungen für den Testprozess zu präsentieren. Insbesondere UnITeD zur modellbasierten Testfallgenerierung stand im Zentrum des Lösungsportfolios. Mehr dazu finden Sie unter Produkte.
Der Lehrstuhl für Software Engineering der Universität Erlangen Nürnberg lud herzlich zur SAFECOMP 2007 in Nürnberg ein.
Gemeinsam mit dem Lehrstuhl präsentierte AFRA auf der SAFECOMP das WerkzeugUnITeD.
UnITeD generiert automatisch Testfälle aus UML-Modellen und verbindet Model-Based-Testing und genetische Algorithmen zu einer hervorragenden Lösung.
Die genetischen Algorithmen minimieren die Anzahl der Testfälle bei maximierter Testabdeckung.
Das Ergebnis dieser Vorgehensweise:
– Weniger Aufwand bei der Testerstellung durch Konzentration auf wenige UML-Modelle
– Automatische Generierung einer deutlich geringeren Anzahl von Testfällen bei Gewährleistung maximaler Testabdeckung
– Dadurch weniger Aufwand in der Testdurchführung
Als Modellierungswerkzeuge stehen derzeit MagicDraw und Enterprise Architect zur Verfügung. Die Generierung sowohl manueller, als auch automatischer Tests ist möglich. Als Zielplattformen sind bisher Mercury Testdirector, NUnit und SilkTest fertig oder in Vorbereitung. Weitere werden folgen.
Die Entwicklung von UnITeD wird im Rahmen der Softwareinitiative Bayern gefördert (Programm „Innovation und Kommunikation“ www.iuk-bayern.de).
Bei Interesse wenden Sie sich bitte an Gerhard Baier.
Im Forschungsprojekt UnITed werden in Zusammenarbeit mit dem Lehrstuhl für Software Engineering Verfahren zur automatischen Generierung von Testdaten für modellbasierte Testprozesse entwickelt.
Das Vorhaben verfolgt das Ziel, deutlich über den derzeitigen Stand der Technik hinaus die Testphase hochzuverlässiger, insbesondere sicherheitskritischer Software zu automatisieren, um dadurch bei reduzierten Kosten die Erkennung von Restfehlern in komplexer Software zu erhöhen. Die automatisierte Testprozedur wird in entsprechende Werkzeuge umgesetzt und im realen medizintechnischen Umfeld erprobt.
Die Highlights der neuen Version sind das komfortable Testfallmanagement und die automatische Testfallgenerierung aus UML-Diagrammen.
.faust beinhaltet ein komplettes Testmanagementsystem. Es wird der Testprozess beginnend mit der Testfallentwicklung über die Testdurchführung bis zur Erstellung von Testberichten unterstützt.
Konfigurationsmanagement, Testfallverwaltung, automatische Durchführung von Testfällen und Generierung von kundenspezifischen Testberichten sind hier die wichtigen Schlagworte.
Zur automatischen Testfallgenerierung verfügt .faust über eine Schnittstelle zum eigenen Testfallgenerator .getmore. Die Kombination dieser beiden Werkzeuge ermöglicht es, aus einer Systembeschreibung in UML automatisch Testfälle erzeugen zu lassen. Diese sind dann direkt in FAUST ablauffähig. Verschiedene Erzeugungsstrategien (z.B.: einfache Pfadabdeckung, vollständige Übergangsabdeckung, maximale Anzahl von Testschritten etc.) stehen wahlweise zur Verfügung.
Die neue Version von .faust ist ab sofort verfügbar.
Kontakt: Gerhard.Baier@afra.de