foxycom/rusty-unit

Issues

• Vergleich Iterator Java vs Rust für CDG Tiefe

  #36 opened 2 years ago by foxycom
  0

• Erklären, warum wir überhaupt einen Monitor brauchen

  #19 opened 2 years ago by foxycom
  0

• Daten für Latex-Tabelle automatisch synthesieren aus csv Dateien

  #20 opened 2 years ago by foxycom
  0

• Durchschnittliche Zeit messen, die für die Ausführung der Tests benötigt wird, und in die Tabelle schreiben

  #27 opened 2 years ago by foxycom
  0

• Erklären, wie TypeBinding fürs binden von Variablen verwendet wird

  #24 opened 2 years ago by foxycom
  0

• Archiv in RustyUnit beschreiben

  #40 opened 2 years ago by foxycom
  0

• DynaMOSA Algorithm und seine Einzelalgorithmen in Background ausführlich erklären

  #42 opened 2 years ago by foxycom
  0

• Referenzen als Buchstaben und nicht als Zahlen

  #45 opened 2 years ago by foxycom
  0

• Algorithmen für Mutation und Crossover

  #31 opened 2 years ago by foxycom
  0

• Blanket trait implementations erklären und was Kosenquenzen für RustyUnit sind

  #33 opened 2 years ago by foxycom
  0

• Beschreiben, wie Unit Tests in Rust überhaupt definiert werden mit #[cfg(test)]

  #28 opened 2 years ago by foxycom
  0

• Beschreiben wie Branch Distance eigentlich zustande kommt, wie werden die nötigen Variablen gefunden

  #30 opened 2 years ago by foxycom
  1

• Magische Zahlen aus Harry Potter in Execution Overview

  #44 opened 2 years ago by foxycom
  0

• Control Dependence Graph aus der MIR erstellen

  #5 opened 3 years ago by foxycom
  2

• Erklären warum wir nicht KLEE verwenden können

  #17 opened 3 years ago by foxycom
  0

• Versuchen, RULF zu verwenden für Binaries

  #18 opened 3 years ago by foxycom
  0

• Farben der Illustrationen anpassen, damit sie gelb-blau sind

  #25 opened 3 years ago by foxycom
  0

• Regeln aktualiseren, mut borrow nur einmal im Test

  #32 opened 3 years ago by foxycom
  0

• Statt Branch Coverage vllt. Basic Block Coverage verwenden

  #29 opened 3 years ago by foxycom
  0

• Branch coverage

  #41 opened 3 years ago by foxycom
  0

• Tests bereinigen, indem nicht benutzte Statements nach Evolution / Crossover gelöscht werden

  #37 opened 3 years ago by foxycom
  0

• Wir können nicht mit #[inline(always)] umgehen

  #46 opened 3 years ago by foxycom
  0

• #[should_panic] erklären

  #26 opened 3 years ago by foxycom
  0

• MOSA und WS implementieren

  #21 opened 3 years ago by foxycom
  0

• Constant pool beschreiben

  #34 opened 3 years ago by foxycom
  0

• GenTest und GenArg in Latex überarbeiten und an die aktuelle Implementierung anpassen

  #35 opened 3 years ago by foxycom
  0

• Future work: Parsen von manuellen Tests und als Seed verwenden

  #39 opened 3 years ago by foxycom
  0

• Fitness distance zwischen Strings berechnen

  #38 opened 3 years ago by foxycom
  0

• no_coverage erklären

  #22 opened 3 years ago by foxycom
  0

• Neue Statements in Tests nur dann einsetzen, wenn alle Typen erstellt werden können und die Länge nicht überschritten wird

  #23 opened 3 years ago by foxycom
  0

• Generierte Tests zwischen den Generationen wirklich ausführen lassen

  #8 opened 3 years ago by foxycom
  0

• trie::Node Konstruktor gibt einen generischen Typ zurück, der durch keine Bounds begrenzt wird

  #4 opened 3 years ago by foxycom
  0

• Mutation vollständig implementiert?

  #7 opened 3 years ago by foxycom
  0

• HIR: Enums und Traits extrahieren

  #16 opened 3 years ago by foxycom
  0

• Tests in das richtige Modul schreiben

  #11 opened 3 years ago by foxycom
  0

• Rust Programme instrumentieren

  #9 opened 3 years ago by foxycom
  0

• Komplette Fitness berechnen

  #13 opened 3 years ago by foxycom
  0

• Root Branch Tracing einführen

  #14 opened 3 years ago by foxycom
  0

• Status Codes von Testausführungen überprüfen

  #10 opened 3 years ago by foxycom
  0

• DynaMOSA statt MOSA verwenden

  #12 opened 3 years ago by foxycom
  0

• Performance Optimierung: Tests in eigene Dateien schreiben, inkrementelle Kompilierung

  #15 opened 3 years ago by foxycom
  0

• Crossover Implementierung in einer unendlichen Schleife

  #6 opened 3 years ago by foxycom
  1

• Var sollte eine Option von Arg sein

  #3 opened 3 years ago by foxycom
  0