Key points are not available for this paper at this time.
TestEra ist ein neuartiges Framework für automatisiertes Testen von Java-Programmen. Wir haben TestEra auf Alloy aufgebaut, einer leichten ersten Ordnung relationalen Sprache, und dem Alloy Analyzer, einem vollständig automatischen Simulations- und Überprüfungswerkzeug. Die Überprüfung eines Java-Programms mit TestEra umfasst die Modellierung der Korrektheitskriterien für das Programm in Alloy und die Spezifizierung von Abstraktions- und Konkretisierungsübersetzungen zwischen Instanzen von Alloy-Modellen und Java-Datenstrukturen. TestEra generiert automatisch alle nicht-isomorphen Testfälle innerhalb einer gegebenen Eingabgröße und verifiziert die Korrektheit. Wir präsentieren unsere erste Bewertung von TestEra, die durch die Überprüfung der Java-Implementierung einer Namensarchitektur zur Ressourcenerkennung in dynamischen vernetzten Umgebungen durchgeführt wurde. Unsere Studie umreißt die Verwendung von TestEra zum Testen von Methoden zur Manipulation komplexer Datenstrukturen.
Khurshid et al. (Mon,) haben diese Frage untersucht.