REODE
Code migration
Kõigepealt ühine põhjus, siis parandus.
Java/Spring koodi migratsiooniagent.
Parandusagent loeb kõigepealt konfiguratsiooni
Setteri kaupa parandada üritanud agent on REODE toote sisene parandusagent; arendus muutis selle sisendit. Kood ja kliendiandmed on privaatsed.
March 21, 2026
Vigade rühmadest, algsest ehitusest ja Lombok'i seadistusest sai parandamise sisend
ArendusesREODE parandusagent
Vaatlus · leidUmbes 40 setteri vea jaoks prooviti üksikparandusi · @Data / POM jäi uurimata
- tagasi saadetudÜhine põhjus jäi märkamata→ Enne parandamist loetakse lähtekoodi ja ehituse konfiguratsiooni (Arendaja)
InimeneArendaja
TegevusEnne parandamist loetakse lähtekoodi ja ehituse konfiguratsiooni
- üleandmineParandamise sisend muudetud→ Algse baastaseme ehitus · sama mustriga vead rühmitatakse (Arendusmuudatused)
TööseanssArendusmuudatused
TegevusAlgse baastaseme ehitus · sama mustriga vead rühmitatakse
- üleandmine→ Tõendite kogumine: teed · 3 lähtekoodi näidist · annotatsioonid · POM (Arendusmuudatused)
Kirjalik reegelKaastöö poliitika
Reegel · verifitseerimataÜlesande plaan · oma worktree
- mitte salvestatud täitminePoliitika nõue→ Algse baastaseme ehitus · sama mustriga vead rühmitatakse (Arendusmuudatused)
TööseanssArendusmuudatused
TegevusTõendite kogumine: teed · 3 lähtekoodi näidist · annotatsioonid · POM
- üleandmine→ Kõigepealt deterministlik Lombok'i parandus · LLM jäetakse vahele, kui uuesti ehitamine õnnestub (Arendusmuudatused)
Kirjalik reegelKaastöö poliitika
Reegel · verifitseerimataKontekstivaba ülevaatus: plaan ↔ diff
- mitte salvestatud täitminePoliitika nõue→ Tõendite kogumine: teed · 3 lähtekoodi näidist · annotatsioonid · POM (Arendusmuudatused)
TööseanssArendusmuudatused
TegevusKõigepealt deterministlik Lombok'i parandus · LLM jäetakse vahele, kui uuesti ehitamine õnnestub
- üleandmineUuesti ehitamine ebaõnnestus→ Kui uuesti ehitamine ebaõnnestub, mudeli parandus tõendite ja parandusjuhistega (REODE parandusagent)
ArendusesREODE parandusagent
Vaatlus · leidKui uuesti ehitamine ebaõnnestub, mudeli parandus tõendite ja parandusjuhistega
- üleandmineVerifitseerimissignaalid→ Tulemuskaart: ehitus · testid · kustutatud testid · surefire'i välistused (Artefaktid)
ArtefaktidArtefaktid
ArtefaktTulemuskaart: ehitus · testid · kustutatud testid · surefire'i välistused
- tagasi saadetudAllesjäänud tõrked→ Allesjäänud tõrked naasevad tõendite kogumisse (Arendusmuudatused)
TööseanssArendusmuudatused
TegevusAllesjäänud tõrked naasevad tõendite kogumisse
- Kontekst
- Parandusagent üritas umbes 40 setMsg() not found viga ükshaaval parandada, vaatamata @Data-t ega pom.xml-i Lombok'i versiooni. Juba katkist sisendit ei eristatud migratsiooni tekitatud vigadest.
- Tulemus
- Tulemuskaart loeb ehituse ja testide tulemusi koos kustutatud testide ja surefire'i välistuste arvuga ning jätab katvuse punkti vahele, kui baastase pole teada. Teste kustutades saadud läbimine jääb tõrkeks.
- Piirang
- Tõendite kogumine võtab valimi kuni kolmest lähtest, seega ei ole see kogu koodibaasi mõistmine. Puudub kirje, et poliitika worktree, sõltumatu ülevaatus või develop-liitmisjärjekord sellele juhtumile tegelikult kehtis, ning selle juhtumi kodeerimisagent ja mudel ei ole kinnitatud. Kliendi lõplikke testi- ega katvustulemusi ei ole.
Allikad ja allesjäävad piirangud
- Baastaseme ülesanne ja „uuri enne parandamist“ ülesanne viidi olekust pooleli olekusse valmis ning teostuse commitid on olemas. Uusi GitHubi kontrollitulemusi ei toodud.
- Selle repositooriumi poliitika määrab liitmisjärjekorra feature → develop → main, kuid sama protseduuri teistele projektidele ei rakendata.
- Valikulised valideerimisagendid on teostuse mehhanism, mitte tõend, et neid kasutati igal tarnel. Arve, nagu tarne mahtu või suhtarve, ei ole kaasatud, sest nende algseid tõendeid ei saanud kinnitada.
- Kui uuesti ehitamine ebaõnnestub, saab mudeli parandus endiselt algse ehitusvea, mitte uuesti ehitamise uue vea.