Verbesserung der strukturellen Testung objektorientierter Programme durch Integration evolutionärer Tests und symbolischer Ausführung

Eine hohe strukturelle Abdeckung wie die Branch-Abdeckung in objektorientierten Programmen zu erreichen, ist ein wichtiges und dennoch herausforderndes Ziel aufgrund von zwei Hauptproblemen. Erstens beinhalten einige Verzweigungen komplexe Programmlogiken, und das Generieren von Tests, um diese abzudecken, erfordert tiefes Wissen über die Programmstruktur und Semantik. Zweitens erfordert das Abdecken einiger Verzweigungen spezielle Methodenfolgen, um das empfängliche Objekt oder nicht-primitive Argumente in spezifische wünschenswerte Zustände zu führen. Frühere Arbeiten haben die Technik der symbolischen Ausführung und die Technik der evolutionären Tests entwickelt, um diese beiden Herausforderungen separat anzugehen. Allerdings wurde keine der Techniken entwickelt, um beide Herausforderungen gleichzeitig anzugehen. Um die jeweiligen Schwächen dieser beiden vorherigen Techniken zu beheben, schlagen wir ein neuartiges Framework namens Evacon vor, das evolutionäres Testen (verwendet, um wünschenswerte Methodenfolgen zu suchen) und symbolische Ausführung (verwendet, um wünschenswerte Methodenargumente zu generieren) integriert. Wir haben unser Framework implementiert und auf 13 Klassen angewendet, die zuvor zur Evaluierung von White-Box-Testgenerierungstools verwendet wurden. Die experimentellen Ergebnisse zeigen, dass die Tests, die mit unserem Framework generiert wurden, eine höhere Branch-Abdeckung erreichen können als die, die durch evolutionäres Testen, symbolische Ausführung oder zufälliges Testen innerhalb der gleichen Zeit generiert wurden.