Ein Algorithmus zur Programmintegration, der semantisch-erhaltende Transformationen berücksichtigt

Gegeben ein Programm Base und zwei Varianten, A und B, die jeweils durch Modifizieren separater Kopien von Base erstellt wurden, besteht das Ziel der Programmintegration darin, festzustellen, ob die Modifikationen interferieren, und falls dies nicht der Fall ist, ein integriertes Programm zu erstellen, das beide Änderungen sowie die in beiden Varianten erhaltenen Teile von Base umfasst. Textbasierte Integrationstechniken, wie sie von der Unix-Diff 3-Nutzen verwendet werden, sind offensichtlich unzureichend, da es keine Garantien dafür gibt, wie sich das Ausführungsverhalten des integrierten Programms auf die Verhaltensweisen von Base, A und B bezieht. Der erste Algorithmus zur Programmintegration, der solche Garantien bietet, wurde von Horwitz et al. entwickelt. Eine Einschränkung dieses Algorithmus besteht jedoch darin, dass er kein Konzept für semantisch-erhaltende Transformationen beinhaltet. Diese Einschränkung führt dazu, dass der Algorithmus in seiner Definition von Interferenz übermäßig konservativ ist. Zum Beispiel würde der Algorithmus Änderungen, bei denen eine Variante die Art der Berechnung ändert (ohne die berechneten Werte zu ändern), während die andere Variante Code hinzufügt, der das Ergebnis der Berechnung verwendet, als störend klassifizieren. Dieses Papier beschreibt einen neuen Integrationsalgorithmus, der in der Lage ist, semantisch-erhaltende Transformationen zu berücksichtigen.