Publikationen

Füßl, Franz Felix;
Entwicklung eines Modells zur Anwendung inferenzfähiger Ontologien im Software Engineering. - Ilmenau : Universitätsbibliothek, 2016. - 1 Online-Ressource (xliii, 123 Seiten, 4.43 MB)
Technische Universität Ilmenau, Dissertation 2016

Die Arbeit beschreibt die Entwicklung und Anwendung eines Modells zur Repräsentation und Verarbeitung von Wissen auf dem Gebiet des Software Engineering. Im Fokus stehen die Strukturierung, Visualisierung und automatisierte Weiterverarbeitung von Expertenwissen unter Einbezug modellbasierter Inferenzmechanismen. Dabei dienen verschiedene Deduktionsalgorithmen zur Ableitung automatisierter Schlussfolgerungen, die zur Lösung einer Software Engineering Fragestellung beitragen. Darüber hinaus werden unterschiedliche Möglichkeiten dargestellt, um Wissen induktiv, automatisiert aus bereits modelliertem Wissen ableiten zu können. Das entwickelte Modell soll Akteuren des Software- und Knowledge Engineering gleichermaßen dazu dienen, Expertenwissen in Entscheidungsprozesse einzubeziehen, um somit die Entwicklung von Softwarelösungen zu beschleunigen.

http://nbn-resolving.de/urn:nbn:de:gbv:ilm1-2016000726

Nadir, Shahab; Streitferdt, Detlef
Software code generator in automotive field. - In: 2015 International Conference on Computational Science and Computational Intelligence, ISBN 978-1-4673-9795-7, (2015), S. 13-17

http://dx.doi.org/10.1109/CSCI.2015.186

Streitferdt, Detlef;
Testing embedded software. - In: 2nd International Scientific Symposium "Sense. Enable. SPITSE." 2015, 22 June - 03 July 2015, ISBN 978-5-7629-1647-9, (2015), S. 122-123

Mansoor, Arfan; Streitferdt, Detlef; Füßl, Franz-Felix
Alternatives selection using GORE based on fuzzy numbers and TOPSIS. - In: Journal of software engineering and applications, ISSN 1945-3124, Bd. 8 (2015), 7, S. 346-359

http://dx.doi.org/10.4236/jsea.2015.87035

Ebanhesaten, Khalid;
Entwicklung und Evaluierung einer Erweiterung der BPMN-Spezifikation für einen modellbasierten und automatisierten Regressionstest verteilter BIS, 2014. - Online-Ressource (PDF-Datei: 251 S., 7,22 MB) Ilmenau : Techn. Univ., Diss., 2014

Die stetig wachsende Komplexität von Hard- und Softwaresystemen sowie der steigende Funktionsumfang bei stets kürzer werdenden Produktzyklen führen zunehmend zum Einsatz von modellbasierten Technologien in der Entwicklung und bei den Tests. Bei der Entwicklung und beim Test solcher komplexer Softwaresysteme werden Unternehmen heute mit neuen Herausforderungen konfrontiert. Oberste Maxime eines jeden Unternehmens ist, dass die angeforderte Softwarelösung im vereinbarten Zeit- und Budgetrahmen geliefert werden muss. Die Praxis zeigt allerdings, dass sich Zeit- und Kostendruck massiv auf die Qualität der ausgelieferten Software auswirken. Neue Testmethoden müssen daher in einem frühen Stadium des Softwareentwicklungsprozesses Einzug halten. Nachdem modellbasierte Entwicklungsmethoden bereits in den letzten Jahren zunehmend in eingebetteten Softwaresystemen Einzug in die Entwicklungsabteilungen gehalten haben, ist das modellbasierte Testen (MBT) von verteilten betrieblichen Informationssystemen (BIS) verstärkt in den Fokus von Forschung und Industrie gerückt. Diese Dissertation gibt einen Überblick über den Stand der Technik bezüglich des MBT in der Domäne der BIS und fasst aktuelle Forschungsfragen zusammen. Aus den Forschungsfragen lassen sich Anforderungen an einen solchen Testansatz formulieren, die dann im technischen Realisierungsteil dieser Dissertation beantwortet werden. Anders als in den bisherigen MBTAnsätzen aus der Domäne der eingebetteten Systeme wird als Modellierungsnotation nicht auf UML, sondern auf Business Process Modeling Notation (BPMN) gesetzt. Basierend darauf wird anhand eines Fallbeispiels mit einem betriebswirtschaftlichen Debitorenprozess (IT-gestützter Zahlungsabwicklungsprozess) aus dem Business-to-Business (B2B) gezeigt, wie ein MBT-Ansatz einen Beitrag dazu leisten kann, sowohl die Testabdeckung als auch die Testqualität von verteilten BIS nachhaltig zu verbessern. Dazu werden im Rahmen dieser Dissertation Testwerkzeuge der Firmen Seppmed GmbH und der MID GmbH evaluiert und auf ihre Praxistauglichkeit untersucht. Dabei soll im Speziellen untersucht werden, inwiefern diese Werkzeuge in Kombination mit Testwerkzeugen die Anforderungen dieser Dissertation erfüllen. Für die Modellierung der Testfälle in BPMN ist es notwendig, die BPMN-Spezifikation um Testspezifika zu erweitern. Die so gewonnenen manuellen Testfälle werden durch eine spezielle Adaptierung, welche im Rahmen dieser Dissertation entwickelt wurde, in fertig automatisierte und ausführbereite Testskripte überführt. So entsteht eine Methode, welche es ermöglicht, Geschäftsprozesse, die verteilt über mehrere verschiedene Softwaresysteme abgewickelt werden, End-to-End zu testen. Da die Notwendigkeit und die Motivation dieser Dissertation aus der Praxis entstanden, wird die entwickelte Methode dementsprechend unter Praxisbedingungen erprobt und evaluiert. Dabei konnte festgestellt werden, dass sowohl die Testabdeckung (Prozessabdeckung) als auch die Testqualität am Fallbeispiel erhöht werden konnten und gleichzeitig eine Testzeitersparnis von ca. 50% erreicht wurde.

http://www.db-thueringen.de/servlets/DocumentServlet?id=25690