Key points are not available for this paper at this time.
Das Testen spielt eine Schlüsselrolle bei der Bewertung der Qualität eines Softwareprodukts. Während des Testens wird ein Programm ausgeführt, in der Hoffnung, Fehler zu finden. Da umfassendes Testen selten möglich ist, wurden spezifische Testkriterien vorgeschlagen, um Testern zu helfen, Testfälle zu entwickeln, die die relevantesten fehlerhaften Szenarien abdecken. Das manuelle Erstellen von Testfällen, die diese Kriterien erfüllen, ist zeitaufwendig, fehleranfällig und umständlich. Symbolische Ausführung hat sich als effektive Methode erwiesen, um automatisch Testdaten zu generieren, die diesen Kriterien entsprechen. Obwohl diese Technik seit über drei Jahrzehnten verwendet wird, bleiben mehrere Herausforderungen bestehen, wie Pfadexplosion, Präzision von Gleitkommazahlen, Einschränkungen bei komplexen Ausdrücken und Abhängigkeiten externer Bibliotheken. In diesem Papier untersuchen wir eine Stichprobe von 100 Open-Source-Java-Projekten, um Merkmale zu analysieren, die relevant sind, um Testdaten mithilfe symbolischer Ausführung zu generieren. Die Ergebnisse bieten wertvolle Einblicke, wie Forscher und Praktiker symbolische Ausführungstechniken und -tools besser an die Bedürfnisse verschiedener Java-Anwendungen anpassen können.
Eler et al. (Tue,) haben diese Frage untersucht.