Forschung

Software

AC3R	Automatic Crash Constructor from Crash Report (A3CR) Demo zum Erstellen von Simulationen aus Absturzberichten. GitHub Repository
AsFault	Evolutionäre Testfallgenerierung für Simulationstests autonomer Fahrzeuge. GitHub Repository
Code Defenders	Code Defenders ist ein Testspiel. Spieler "greifen" entweder eine getestete Java-Klasse "an", indem sie Programmmutanten erstellen, oder "verteidigen" die Klasse, indem sie Komponententests schreiben. Webseite GitHub Repository
Evosuite	EvoSuite ist ein suchbasiertes Tool zum automatischen Generieren von JUnit-Tests für Java-Klassen. Webseite GitHub Repository
LitterBox	Werkzeug zur automatischen Erkennung wiederkehrender Fehlermuster in Scratch Programmen. GitHub Repository
MATE	MATE (Mobile Accessibility Testing) ist ein suchbasiertes Testgenerierungstool für Android. Server GitHub Repository
Pynguin	Pynguin ist ein Framework zum automatischen Generieren von Unit-Tests für Python-Programme. Webseite GitHub-Repository
Whisker	Whisker ist ein Framework zum automatischen Testen von Scratch-Programmen, entweder durch Schreiben automatisierter Selenium-Tests oder durch automatisierte eigenschaftsgesteuerte Tests. Web-GUI GitHub Repository

Laufende Projekte

Grenzüberschreitender InnovationsRaum³

Um Unternehmen im ländlich geprägten Grenzraum um Passau, Ried und Schärding zukunftsfit zu machen, wird im INN.KUBATOR Gründerzentrum Passau, im Techno-Z Ried und im TGZ Technologie- und Gründerzentrum Schärding ein verteilter und grenzübergreifender Innovationsraum³ eingerichtet.

ANUKI

Ziel dieses Projekts ist es, auf der Grundlage der existierenden AENEAS Werkzeuge die mit Hilfe von Metriken erfassten Daten unter Nutzung von KI Technologien für die Projektstatuskontrolle und die Prognose des Projektverlaufs im Sinne einer risikominimierenden Projektsteuerung zu verwenden.

DeepCode

Hohe Qualität des Quellcodes ist in der Softwareentwicklung essentiell. Viele Qualitätsattribute wie Benennung von Programmelementen, Einhaltung von Stilkonventionen, Identifikation von Autoren, oder Erreichung hoher Testabdeckung sind mit herkömmlichen Programmanalysen jedoch nur schwer oder gar nicht automatisiert überprüfbar.