Studienarbeit aus dem Jahr 2015 im Fachbereich Informatik - Internet, neue Technologien, Universitat Hildesheim (Stiftung), Sprache: Deutsch, Abstract: Es existieren verschiedene Werkzeuge und Algorithmen, die Variabilitatsmodelle in aussagenlogische Formeln ubersetzen konnen. Diese Formeln konnen dann mithilfe von SAT-Solvern auf ihre Erfullbarkeit uberpruft werden. Als Anwendungsbeispiel dient das Variabilitatsmodell des Linux Kernels, das durch Verwendung von KConfig Dateien definiert und konfiguriert werden kann. Diese Arbeit vergleicht die vorhandenen Werkzeuge und Algorithmen, die...

Bachelorarbeit aus dem Jahr 2015 im Fachbereich Informatik - Software, Note: 1,7, Universitat Hildesheim (Stiftung), Sprache: Deutsch, Abstract: Diese Arbeit dokumentiert die Integration des Mutationstestwerkzeugs Pitest in den Continuous-Integration-Prozess der Software HISinOne. Dabei werden aufgetretene Herausforderungen wahrend der Integration betrachtet und Losungsmoglichkeiten vorgestellt. Den Kern dieser Arbeit bildet die Auswertung der von Pitest erzeugten Ergebnisse. Dabei wird die Frage beantwortet, wie sich die relativ hohen Ressourcenanforderungen von Mutationstests mit einem...

Studienarbeit aus dem Jahr 2013 im Fachbereich Informatik - Programmierung, Note: 1,0, Universitat Hildesheim (Stiftung), Sprache: Deutsch, Abstract: Diese Seminararbeit erklart die HyperPlay Technik und die dafur benotigten Grundlagen der Game Description Language und der Monte-Carlo-Methode und gibt eine kurze Erlauterung der Verbesserungen von HyperPlay-II. In der Disziplin des General Game Playing geht es darum, einer Kunstlichen Intelligenz mithilfe der Game Description Language beizubringen, alle Arten von Spielen ohne weiteres menschliches Eingreifen zu meistern. Eine besondere...

Projektarbeit aus dem Jahr 2014 im Fachbereich Informatik - Internet, neue Technologien, Note: 1,0, Universitat Hildesheim (Stiftung), Sprache: Deutsch, Abstract: Mutationstests dienen zur Qualitatsbestimmung von Softwaretests. Um die Ausfuhrung dieser Tests zu automatisieren, gibt es eine Reihe von Mutationstestwerkzeugen. Diese Arbeit beschaftigt sich mit den offentlich verfugbaren Werkzeugen fur die Programmiersprache Java und dem Testframework JUnit. Sie vergleicht die Werkzeuge MuJava, Jumble, Pitest, Judy und Major hinsichtlich ihres Funktionsumfangs, ihrer Leistungsfahigkeit und ihrer...