Specification Inference Modulo Oracles for Database-Backed Web Applications

Dieses Kapitel geht auf die entscheidende Rolle synthetischer Datensätze beim Test datenbankgestützter Anwendungen ein und befasst sich mit den Datenschutzbedenken, die die Verwendung echter Kundendaten verhindern. Der Text untersucht die Herausforderungen bei der Erzeugung semantisch konsistenter Datensätze, wie etwa sicherzustellen, dass das Eintrittsdatum eines Mitarbeiters später als sein Geburtsdatum ist, und wie zufällige Datengenerierung zu Fehlalarmen und Anwendungsfehlern führen kann. Die Autoren führen einen neuartigen Ansatz ein, um semantische Beziehungen zu folgern, indem sie sie als Spezifikationsproblem einrichten und nur einen Orakelzugriff auf die Anwendung voraussetzen. Diese Methode beinhaltet die Verwendung eines SMT-Lösers und statistischer Tests, um Hypothesen zu konstruieren und zu verfeinern, wodurch hohe statistische Garantien gewährleistet sind. Das Kapitel präsentiert außerdem eine detaillierte Fallstudie zu ERPNext-Webanwendungen, die die Effektivität des vorgeschlagenen Algorithmus bei der Ableitung von Eingabespezifikationen demonstriert. Die Ergebnisse zeigen, dass die daraus abgeleiteten Spezifikationen semantisch den Grundwahrheiten entsprechen, was das Potenzial dieses Ansatzes zur Verbesserung der Zuverlässigkeit und Genauigkeit der Erzeugung synthetischer Daten zu Testzwecken unterstreicht.