ReaFuse: combinando dos bibliotecas después de investigar su comportamiento

la pregunta

¿Cómo pueden dos proyectos convertirse en especificaciones de comportamiento y luego en una nueva herramienta combinada?

Lo que hizo REA

El análisis estático REA 6.4.0 JavaScript lee las dos entradas. Los archivos y pruebas README ayudan a producir especificaciones de comportamiento; el modelo propone combinaciones por separado, escribe contratos de aceptación y código nuevo, luego ejecuta las pruebas del autor y los escaneos de similitud.

Resultados informados por el autor

El autor publica ratewise (tasa de transferencia y ETA) y objdelta (estructural diff/patch), informes y Evidence. Los resultados del contrato informados son 18/18 y 17/17, además de las pruebas 7/7 y 6/6 para las nuevas herramientas. Ambos ejemplos cuentan como un caso de proyecto.

Limitaciones y afirmaciones no verificadas

Sólo se revisaron dos ejemplos públicos de JavaScript; el proyecto es v0.1 alfa. El mismo flujo de trabajo produce especificaciones e implementaciones. La etiqueta de sala limpia del autor no es una conclusión jurídica independiente. Los escaneos de similitud y las pruebas de aprobación no establecen originalidad general ni equivalencia completa. Este catálogo no los volvió a ejecutar.

que aprender

Conecte el análisis con la implementación a través de especificaciones de comportamiento, asignando pruebas al comportamiento de entrada o a la nueva combinación.

Evidencia de uso de REA en la fuente

Every donor goes through REA's static JavaScript analysis

El formato de los extractos está simplificado. Lea la fuente original para conocer el contexto completo.

Fuentes originales

• Fuente primaria/evidencia fijada
• Proyecto / demostración
• Fuente adicional 1
• Fuente adicional 2

Resumen editorial independiente. El crédito pertenece a los autores originales. El software de destino, los instaladores y el resultado completo del descompilador no se redistribuyen aquí.