Skip to content

Repository files navigation

In diesem Repository findet man alles nötige für einen Black-Box Benchmark mit EvoMaster. Konkret wird hier ein Benchmark auf Gitea v1.24.5 mit EvoMaster 6.0.0 durchgeführt.

How-To:

  • Github-Repo herunterladen
  • Docker und Docker Compose installieren
  • ausführen mit '''sudo ./evo_benchmark.sh {gewünschte Zeit in Minuten}m'''
  • unter ./generated_tests finden sich die generierten Tests, standardmäßig in Python geschrieben
  • unter ./generated_tests/Logfile/{RUN_ID} findet man die Dateien, die für eine Auswertung benötigt werden(statistics.csv, coveredTargets.txt, gitea.log)

Wenn man das Skript für ein anderes SUT verwenden möchte, sollte man nur die Präfixe für die API prüfen und in statusCodeCoverage.py anpassen ("/api/v1 ersetzen")

About

Dieses Repository wurde in Rahmen einer Projektarbeit erstellt. Die Projektarbeit umfasst einen Benchmark für das Tool EvoMaster.

Resources

Stars

0 stars

Watchers

0 watching

Forks

Releases

Packages

Contributors

Languages