LT
Patobulintas originalus REODE personažas: besišypsantis kreminės ir rožinės spalvos aksolotlio veidas su tamsiai mėlynomis ausinėmis ir žydrais lęšiais
Atgal į salę

REODE

Code migration

Prieš taisant – rasti bendrą priežastį.

Java/Spring kodo migracijos agentas.

2026.03 — 2026.04

Darbo projektas · migracijos ir verifikacijos sistema

  • CLIĮgyvendinta · darbo projektas

Migracijos ciklas, kuriame taisymo įrodymai laikomi atskirai nuo priėmimo.

Užfiksuojama originali build būsena ir pritaikomas taisyklėmis pagrįstas konvertavimas, tada prieš taisant surenkami šaltinio ir POM įrodymai. Po modelio pataisos vėl tikrinami build, testai ir testų vientisumas, o paleidimai, pasibaigę limitu ar užstrigimu, ataskaitoje atskiriami nuo sėkmės.

Jis derina taisyklėmis pagrįstą konvertavimą su modelio padedamu taisymu ir pakeistą kodą tikrina build ir testais. Darbo projektas.

REODE darbas saugykloje; bendradarbiavimas su pinxlab March 16, 2026 – May 26, 2026

Darbe naudojamas CLI įrankis.

Taisymo ciklo žemėlapis · pagal privačius įgyvendinimo įrašus
REODE migracijos taisymo ciklasOriginali build būsena išsaugoma kaip bazinė linija, pritaikomas taisyklėmis pagrįstas konvertavimas, o build ir testai patikrina rezultatą. Nepavykus, prieš bet kokį taisymą surenkami šaltinio, anotacijų ir POM įrodymai, o žinomi šablonai deterministiškai pataisomi ir perkuriami. Jei pakartotinis build praeina, modelis nekviečiamas; jei ne, modelis taiso su surinktais įrodymais ir taisymo nurodymais, o rezultatas patikrinamas iš naujo. Paleidimai, pasibaigę iteracijų limitu ar užstrigimu, pereina į matavimą, bet nelaikomi sėkme, o rezultatų kortelė suteikia įvertinimą tik praėjus visiems penkiems priėmimo slenksčiams.Šaltinis · POMPrivati migracijos įvestisRezultatų kortelė · įvertinimasNe diegimasNesėkmės · užstrigimo ataskaitaNelaikoma sėkmeOriginali patikraOriginali būsena · kompiliavimasPaleidimo būsenaBazinė linija · nežinomi neišmatuotiAtkūrimo įrašaiKontrolinis taškas prieš taisymąAnkstesnė pataisa, ta pati klaidaKonvertavimasPlanas → taisyklėmis pagrįstas konvertavimasIštirti prieš taisantPriežasties įrodymai · 3 šaltiniai · POMDeterministinė pataisaTaisyti žinomus šablonusPakartotinio build patikraModelio taisymasTaisymas su įrodymais · nurodymaisVerifikacijabuild · testai · iteracija +1Kitas žingsnisTęsti · matuoti · daugiausia 3MatavimasTaisyklių dalis · testai · aprėptis5 priėmimo slenksčiaiĮvestis · bazinė linijaAtkūrimo įrašaiKonvertavimas · taisymasVerifikacija · išėjimas1 šaltinis · POM · Šaltinis · POM → Originali būsena · kompiliavimas12originalus kompiliavimas3 konvertavimas taisyklėmis · Originali būsena · kompiliavimas → Planas → taisyklėmis pagrįstas konvertavimas34build · test5rezultatas · iteracijos6sėkmė · limitas · užstrigimas7palyginimas su bazine linija8 įvertinimas · 5 priėmimo slenksčiai → Rezultatų kortelė · įvertinimas81rezultatas · iteracijos2 nesėkmė · pakartojimas · Tęsti · matuoti · daugiausia 3 → Priežasties įrodymai · 3 šaltiniai · POM23išsaugoti prieš taisymą4įrodymai · sugrupuotos klaidos5praėjo · LLM praleistas6pakartotinis build nepavyko7 ankstesnė pataisa · Ankstesnė pataisa, ta pati klaida → Taisymas su įrodymais · nurodymais78patikrinti iš naujo1sėkmė · limitas · užstrigimas2palyginimas su bazine linija3 įvertinimas · 5 priėmimo slenksčiai → Rezultatų kortelė · įvertinimas34ištrinta · neįtraukta · nepavyko5išėjimas pasiekus limitą · užstrigus

Konvertavimas taisyklėmis

Originali būsena išsaugoma kaip bazinė linija; po konvertavimo taisyklėmis build ir testai patikrina, ir paleidimas pereina į matavimą.

  1. Šaltinis · POMšaltinis · POMOriginali būsena · kompiliavimasOriginali patikra

    Paima migruotiną Java/Spring šaltinį ir POM. Kliento kodas ir ekranai nerodomi.

  2. Originali būsena · kompiliavimasOriginali patikraoriginalus kompiliavimasBazinė linija · nežinomi neišmatuotiPaleidimo būsena

    Prieš konvertavimą pasirenkama vykdymo aplinka ir sukompiliuojamas originalas, todėl jau sugadintas build išsaugomas bazinėje linijoje. Numatytosios testų ir aprėpties reikšmės bazinėje linijoje nėra matavimai.

  3. Originali būsena · kompiliavimasOriginali patikrakonvertavimas taisyklėmisPlanas → taisyklėmis pagrįstas konvertavimasKonvertavimas

    Paleidimo grafas eina: originali patikra → konvertavimo planas → taisyklėmis pagrįstas konvertavimas → verifikacija. Pirma taikomi konvertavimai, kuriuos gali atlikti taisyklės.

  4. Planas → taisyklėmis pagrįstas konvertavimasKonvertavimasbuild · testbuild · testai · iteracija +1Verifikacija

    Build ir testai patikrina konvertuotą kodą, o iteracijų skaičius padidėja vienetu. Rezultatai grįžta į paleidimo būseną.

  5. build · testai · iteracija +1Verifikacijarezultatas · iteracijosTęsti · matuoti · daugiausia 3Kitas žingsnis

    Build sėkmė, testų įveikimo dalis ir iteracijų skaičius lemia kitą žingsnį.

  6. Tęsti · matuoti · daugiausia 3Kitas žingsnissėkmė · limitas · užstrigimasTaisyklių dalis · testai · aprėptisMatavimas

    Kai praeina ir build, ir testai, pasiekiamas iteracijų limitas arba aptinkamas užstrigimas (po vieno atkūrimo bandymo, jei jo dar nebuvo), paleidimas pereina į matavimą. Perėjimas į matavimą nereiškia sėkmės.

  7. Bazinė linija · nežinomi neišmatuotiPaleidimo būsenapalyginimas su bazine linijaTaisyklių dalis · testai · aprėptisMatavimas

    Matavimas skaito paleidimo būsenoje išsaugotą bazinę liniją. Tai nėra naujas bazinės linijos paleidimas.

  8. 5 priėmimo slenksčiaiMatavimasįvertinimasRezultatų kortelė · įvertinimas

    Sėkmingas build, 100 % testų įveikimas, aprėpties pokytis −5 ar geresnis (tik kai bazinė linija žinoma), nulis ištrintų testų, nulis surefire išimčių. Įvertinimas suteikiamas tik praėjus visiems penkiems.

Taisymas pagal priežastį

Įrodymai renkami prieš taisant, o deterministiniai taisymai eina pirmi. Jei pakartotinis build praeina, modelis praleidžiamas; jei ne, modelis taiso su įrodymais ir nurodymais, o rezultatas patikrinamas iš naujo.

  1. build · testai · iteracija +1Verifikacijarezultatas · iteracijosTęsti · matuoti · daugiausia 3Kitas žingsnis

    Build sėkmė, testų įveikimo dalis ir iteracijų skaičius lemia kitą žingsnį.

  2. Tęsti · matuoti · daugiausia 3Kitas žingsnisnesėkmė · pakartojimasPriežasties įrodymai · 3 šaltiniai · POMIštirti prieš taisant

    Jei build nepavyko arba testų įveikimo dalis mažesnė nei 100 % ir iteracijų limitas (numatytasis – 3) nepasiektas, paleidimas pereina į taisymą.

  3. Priežasties įrodymai · 3 šaltiniai · POMIštirti prieš taisantišsaugoti prieš taisymąKontrolinis taškas prieš taisymąAtkūrimo įrašai

    Prieš taisymą išsaugomas kontrolinis taškas. Tai best-effort: nepavykęs išsaugojimas taisymo nesustabdo, o išsaugojimas nėra sėkmės įrodymas.

  4. Priežasties įrodymai · 3 šaltiniai · POMIštirti prieš taisantįrodymai · sugrupuotos klaidosTaisyti žinomus šablonusDeterministinė pataisa

    Surenka Java failus su klaidomis, ne daugiau kaip trijų šaltinių pradines eilutes, anotacijų, POM ir annotation processor nustatymus bei importus iki 2 gylio. Ribota imtis, o ne visos kodo bazės supratimas.

  5. Pakartotinio build patikraDeterministinė pataisapraėjo · LLM praleistasbuild · testai · iteracija +1Verifikacija

    Jei deterministinė žinomo šablono pataisa (pavyzdžiui, Lombok sąrankos) leidžia pakartotiniam build praeiti, modelis nekviečiamas. Paleidimas vis tiek grįžta į verifikaciją, todėl tai nėra galutinis priėmimas.

  6. Pakartotinio build patikraDeterministinė pataisapakartotinis build nepavykoTaisymas su įrodymais · nurodymaisModelio taisymas

    Jei pakartotinis build nepavyksta, surinkti įrodymai ir taisymo nurodymai perduodami modelio taisymui. Iš kodo matyti, kad kartu perduodamas pradinės build klaidos tekstas, o ne nauja pakartotinio build klaida, todėl to negalima skaityti kaip „perduodamos tik likusios klaidos“. Tai ne paleidime atkartotas defektas.

  7. Ankstesnė pataisa, ta pati klaidaAtkūrimo įrašaiankstesnė pataisaTaisymas su įrodymais · nurodymaisModelio taisymas

    Ankstesnės pataisos, įrašytos su tuo pačiu klaidos parašu, surandamos ir pridedamos. Tai prie įvesties pridėtas įrašas, o ne modelio mokymas.

  8. Taisymas su įrodymais · nurodymaisModelio taisymaspatikrinti iš naujobuild · testai · iteracija +1Verifikacija

    Modelis taiso per struktūruotą architect/editor kelią arba, kai tas kelias neprieinamas ar vyksta atkūrimas, per įrankių naudojimo raginimą, o build ir testai tikrina iš naujo. Modelio pataisa savaime nėra praėjęs build.

Sėkmė ir užstrigimas

Įvertinimui reikia visų penkių slenksčių; ištrinti ar neįtraukti testai ir išėjimai pasiekus limitą ar užstrigus nelaikomi sėkme.

  1. Tęsti · matuoti · daugiausia 3Kitas žingsnissėkmė · limitas · užstrigimasTaisyklių dalis · testai · aprėptisMatavimas

    Kai praeina ir build, ir testai, pasiekiamas iteracijų limitas arba aptinkamas užstrigimas (po vieno atkūrimo bandymo, jei jo dar nebuvo), paleidimas pereina į matavimą. Perėjimas į matavimą nereiškia sėkmės.

  2. Bazinė linija · nežinomi neišmatuotiPaleidimo būsenapalyginimas su bazine linijaTaisyklių dalis · testai · aprėptisMatavimas

    Matavimas skaito paleidimo būsenoje išsaugotą bazinę liniją. Tai nėra naujas bazinės linijos paleidimas.

  3. 5 priėmimo slenksčiaiMatavimasįvertinimasRezultatų kortelė · įvertinimas

    Sėkmingas build, 100 % testų įveikimas, aprėpties pokytis −5 ar geresnis (tik kai bazinė linija žinoma), nulis ištrintų testų, nulis surefire išimčių. Įvertinimas suteikiamas tik praėjus visiems penkiems.

  4. 5 priėmimo slenksčiaiMatavimasištrinta · neįtraukta · nepavykoNesėkmės · užstrigimo ataskaita

    Įveikimai, gauti ištrynus testus ar surefire išimtimis, taip pat nepavykę build ar testai lieka nesėkmėmis. Ištrynimo ir išimčių patikros skaičiuoja nulį, kai Git ar POM negalima perskaityti, todėl jos neįrodo, kad sugaunamas kiekvienas pažeidimas.

  5. Tęsti · matuoti · daugiausia 3Kitas žingsnisišėjimas pasiekus limitą · užstrigusNesėkmės · užstrigimo ataskaita

    Paleidimas, pasibaigęs limitu ar užstrigimu, vis tiek pereina matavimą, bet ataskaitoje nepateikiamas kaip sėkmė. Tai žymi ataskaitos būdą, o ne matavimo apėjimą.

Visi ryšiai vienodo storio. Pasirinkite srautą, kad būtų paryškintas tik jo kelias su sunumeruotais žingsniais.

  • Ištisinė · įvesties, rezultatų ir įrašų kryptis
  • Brūkšninė · paleidimas, sprendimas, užklausa
  • Ilga taškinė · stebėjimas ir ataskaitos, atskirai nuo sprendimo
  • Trumpa brūkšninė · nesėkmė, sustabdymas, limitas
  • Stora juoda linija · pasirinktas srautas; skaičiai rodo tvarką
  • Rėmelis · kodo ar būsenos riba, pavadinta antraštėje
  • Vidinė plokštelė · tos ribos komponentas
  • Taškinis rėmelis · už tos ribos
  • Oranžinis kontūras · kur sprendžia modelis
  • Konvejerio žingsniai · taisymas
  • Verifikacija · nukreipimas · priėmimas
  • Būsena · įrašai
  • Ištirti prieš taisant

Nubraižyta pagal privačius įgyvendinimo ir kūrimo įrašus. Pavadinimai yra bendri vieši pavadinimai; kodo keliai ir klientų informacija nerodomi.

Įvestis po nepavykusio pakartotinio build
Modelio taisymas gauna surinktus įrodymus ir taisymo nurodymus, bet perduodamas pradinės build klaidos tekstas, o ne nauja pakartotinio build klaida. Nustatyta skaitant kodą; paleidime neatkartota, o šaltinis nekeistas.
Slenksčių ribos
Jei aprėpties bazinė linija nežinoma, tas slenkstis praleidžiamas. Surefire patikra skaičiuoja išimtis dabartiniame POM, o ne skirtumą nuo bazinės linijos. Ištrynimo ir išimčių patikros skaičiuoja nulį, kai Git ar POM negalima perskaityti.
Atvejis ir jo skaičiai
Apie 40 setter klaidų, atsektų iki vienos priežasties – Lombok ir POM sąrankos, – yra tuo metu užfiksuota diagnozė. Tai ne pralaidumo, tikslumo ar galutinio pristatymo rodiklis.