ReaFuse: Kombinieren zweier Bibliotheken nach Untersuchung ihres Verhaltens

Die Frage

Wie können zwei Projekte zu Verhaltensspezifikationen und dann zu einem neuen kombinierten Tool werden?

Was REA getan hat

Die statische Analyse REA 6.4.0 JavaScript liest die beiden Eingaben. README-Dateien und -Tests helfen bei der Erstellung von Verhaltensspezifikationen. Das Modell schlägt separat Kombinationen vor, schreibt Akzeptanzverträge und neuen Code und führt dann die Tests und Ähnlichkeitsscans des Autors durch.

Vom Autor gemeldete Ergebnisse

Der Autor veröffentlicht ratewise (Übertragungsrate und ETA) und objdelta (strukturelles diff/patch), Berichte und Evidence. Zu den gemeldeten Vertragsergebnissen gehören 18/18 und 17/17 sowie 7/7- und 6/6-Tests für die neuen Werkzeuge. Beide Beispiele gelten als ein Projektfall.

Einschränkungen und unbestätigte Ansprüche

Es wurden nur zwei öffentliche JavaScript-Beispiele überprüft; Das Projekt ist v0.1 Alpha. Derselbe Arbeitsablauf erzeugt Spezifikationen und Implementierungen. Die Reinraumkennzeichnung des Autors stellt keinen eigenständigen Rechtsschluss dar. Ähnlichkeitsscans und bestandene Tests stellen keine allgemeine Originalität oder vollständige Äquivalenz dar. Dieser Katalog hat sie nicht erneut ausgeführt.

Was zu lernen ist

Verbinden Sie die Analyse mit der Implementierung durch Verhaltensspezifikationen und ordnen Sie Tests entweder dem Eingabeverhalten oder der neuen Kombination zu.

REA Nutzungsnachweis in der Quelle

Every donor goes through REA's static JavaScript analysis

Die Formatierung von Auszügen wird vereinfacht. Lesen Sie die Originalquelle für den vollständigen Kontext.

Originalquellen

• Primärquelle / angeheftete Beweise
• Projekt / Demo
• Zusätzliche Quelle 1
• Zusätzliche Quelle 2

Unabhängige redaktionelle Zusammenfassung. Die Urheberschaft liegt bei den Originalautoren. Zielsoftware, Installationsprogramme und die komplette Dekompilerausgabe werden hier nicht weitergegeben.