LV
Oriģinālais REODE tēls pilnveidotā veidā: smaidoša krēmkrāsas un rozā aksolotla seja ar tumši zilām austiņām un ciānkrāsas lēcām
Atpakaļ uz zāli

REODE

Code migration

Vispirms kopīgais cēlonis, tad labojums.

Java/Spring koda migrācijas aģents.

2026.03 — 2026.04

Darba projekts · migrācijas un verifikācijas sistēma

  • CLIImplementēts · darba projekts

Migrācijas cikls, kas labošanas pierādījumus tur atsevišķi no pieņemšanas.

Tiek reģistrēts sākotnējais būvēšanas stāvoklis un piemērota uz noteikumiem balstīta pārveidošana, pēc tam pirms labošanas tiek savākti pirmkoda un POM pierādījumi. Pēc modeļa labojuma būvēšana, testi un testu integritāte tiek pārbaudīti vēlreiz, un palaidieni, kas beidzas pie ierobežojuma vai iestrēgst, tiek ziņoti atsevišķi no panākumiem.

Tas apvieno uz noteikumiem balstītu pārveidošanu ar modeļa atbalstītu labošanu un pārbauda mainīto kodu ar būvēšanu un testiem. Darba projekts.

REODE darbs repozitorijā; pinxlab sadarbība 2026. gada 16. marts – 26. maijs

Darbā izmantots CLI rīks.

Labošanas cikla karte · pēc privātiem implementācijas ierakstiem
REODE migrācijas labošanas ciklsSākotnējais būvēšanas stāvoklis tiek saglabāts kā bāzlīnija, tiek piemērota uz noteikumiem balstīta pārveidošana, un būvēšana un testi verificē rezultātu. Kļūmes gadījumā pirms jebkāda labojuma tiek savākti pirmkoda, anotāciju un POM pierādījumi, un zināmi modeļi tiek deterministiski laboti un būvēti no jauna. Ja atkārtotā būvēšana izdodas, modelis netiek izsaukts; ja neizdodas, modelis labo ar savāktajiem pierādījumiem un labošanas norādījumiem, un rezultāts tiek verificēts vēlreiz. Palaidieni, kas beidzas pie iterāciju ierobežojuma vai iestrēgst, nonāk mērīšanā, bet netiek skaitīti kā panākums, un rezultātu karte piešķir atzīmi tikai tad, ja izturēti visi pieci pieņemšanas vārti.Pirmkods · POMPrivāta migrācijas ievadeRezultātu karte · atzīmeNav izvietošanaKļūmes · iestrēgšanas ziņojumsNetiek skaitīts kā panākumsSākotnējā pārbaudeSākotnējais stāvoklis · kompilēšanaPalaidiena stāvoklisBāzlīnija · nezināmie nav mērītiAtkopšanas ierakstiKontrolpunkts pirms labojumaAgrāks labojums, tā pati kļūdaPārveidošanaPlāns → uz noteikumiem balstīta pārveidošanaIzpēte pirms labošanasCēloņa pierādījumi · 3 avoti · POMDeterministisks labojumsZināmu modeļu labošanaAtkārtotās būvēšanas pārbaudeModeļa labošanaLabojums ar pierādījumiem · norādījumiemVerifikācijabūvēšana · testi · iterācija +1Nākamais solisTurpināt · mērīt · līdz 3MērījumsNoteikumu daļa · testi · pārklājums5 pieņemšanas vārtiIevade · bāzlīnijaAtkopšanas ierakstiPārveidošana · labošanaVerifikācija · iziešana1 pirmkods · POM · Pirmkods · POM → Sākotnējais stāvoklis · kompilēšana12sākotnējā kompilēšana3 noteikumu pārveidošana · Sākotnējais stāvoklis · kompilēšana → Plāns → uz noteikumiem balstīta pārveidošana34build · test5rezultāts · iterācijas6izturēts · ierobežojums · iestrēgšana7bāzlīnijas salīdzinājums8vērtēšana1rezultāts · iterācijas2 neizdevās · atkārtojums · Turpināt · mērīt · līdz 3 → Cēloņa pierādījumi · 3 avoti · POM23saglabāšana pirms labojuma4pierādījumi · grupētas kļūdas5izturēts · LLM izlaists6atkārtotā būvēšana neizdevās7 agrāks labojums · Agrāks labojums, tā pati kļūda → Labojums ar pierādījumiem · norādījumiem78verificēt vēlreiz1izturēts · ierobežojums · iestrēgšana2bāzlīnijas salīdzinājums3vērtēšana4dzēsts · izslēgts · neizdevies5iziešana pie ierobežojuma · iestrēgšanas

Noteikumu pārveidošana

Sākotnējais stāvoklis tiek saglabāts kā bāzlīnija; pēc noteikumu pārveidošanas būvēšana un testi verificē, un palaidiens turpinās līdz mērīšanai.

  1. Pirmkods · POMpirmkods · POMSākotnējais stāvoklis · kompilēšanaSākotnējā pārbaude

    Pieņem migrējamo Java/Spring pirmkodu un POM. Klienta kods un ekrāni netiek rādīti.

  2. Sākotnējais stāvoklis · kompilēšanaSākotnējā pārbaudesākotnējā kompilēšanaBāzlīnija · nezināmie nav mērītiPalaidiena stāvoklis

    Pirms pārveidošanas tiek izvēlēta izpildvide un sākotnējais kods tiek kompilēts, tāpēc jau salauzta būvēšana paliek bāzlīnijā. Bāzlīnijas noklusējuma testu un pārklājuma vērtības nav mērījumi.

  3. Sākotnējais stāvoklis · kompilēšanaSākotnējā pārbaudenoteikumu pārveidošanaPlāns → uz noteikumiem balstīta pārveidošanaPārveidošana

    Palaidiena grafs iet sākotnējā pārbaude → pārveidošanas plāns → uz noteikumiem balstīta pārveidošana → verifikācija. Pārveidojumi, ko var veikt ar noteikumiem, tiek piemēroti vispirms.

  4. Plāns → uz noteikumiem balstīta pārveidošanaPārveidošanabuild · testbūvēšana · testi · iterācija +1Verifikācija

    Būvēšana un testi verificē pārveidoto kodu, un iterāciju skaitītājs palielinās par vienu. Rezultāti atgriežas palaidiena stāvoklī.

  5. būvēšana · testi · iterācija +1Verifikācijarezultāts · iterācijasTurpināt · mērīt · līdz 3Nākamais solis

    Būvēšanas sekmes, testu izturēšanas rādītājs un iterāciju skaits nosaka nākamo soli.

  6. Turpināt · mērīt · līdz 3Nākamais solisizturēts · ierobežojums · iestrēgšanaNoteikumu daļa · testi · pārklājumsMērījums

    Kad gan būvēšana, gan testi izdodas, sasniegts iterāciju ierobežojums vai konstatēta iestrēgšana (pēc viena atkopšanas mēģinājuma, ja tas vēl nav veikts), palaidiens pāriet uz mērīšanu. Pāreja uz mērīšanu nenozīmē panākumu.

  7. Bāzlīnija · nezināmie nav mērītiPalaidiena stāvoklisbāzlīnijas salīdzinājumsNoteikumu daļa · testi · pārklājumsMērījums

    Mērīšana nolasa palaidiena stāvoklī saglabāto bāzlīniju. Tas nav jauns bāzlīnijas palaidiens.

  8. 5 pieņemšanas vārtiMērījumsvērtēšanaRezultātu karte · atzīme

    Sekmīga būvēšana, 100% testu izturēšanas rādītājs, pārklājuma izmaiņa −5 vai labāka (tikai ja bāzlīnija zināma), nulle dzēstu testu, nulle surefire izslēgumu. Atzīme tiek piešķirta tikai tad, ja izturēti visi pieci.

Uz cēloni balstīta labošana

Pierādījumi tiek savākti pirms labošanas, un deterministiski labojumi nāk vispirms. Ja atkārtotā būvēšana izdodas, modelis tiek izlaists; ja ne, modelis labo ar pierādījumiem un norādījumiem, un rezultāts tiek verificēts vēlreiz.

  1. būvēšana · testi · iterācija +1Verifikācijarezultāts · iterācijasTurpināt · mērīt · līdz 3Nākamais solis

    Būvēšanas sekmes, testu izturēšanas rādītājs un iterāciju skaits nosaka nākamo soli.

  2. Turpināt · mērīt · līdz 3Nākamais solisneizdevās · atkārtojumsCēloņa pierādījumi · 3 avoti · POMIzpēte pirms labošanas

    Ja būvēšana neizdevās vai testu izturēšanas rādītājs ir zem 100% un iterāciju ierobežojums (pēc noklusējuma 3) nav sasniegts, palaidiens pāriet uz labošanu.

  3. Cēloņa pierādījumi · 3 avoti · POMIzpēte pirms labošanassaglabāšana pirms labojumaKontrolpunkts pirms labojumaAtkopšanas ieraksti

    Pirms labojuma tiek saglabāts kontrolpunkts. Tas ir best-effort: neizdevusies saglabāšana neaptur labošanu, un saglabāšana nav panākuma pierādījums.

  4. Cēloņa pierādījumi · 3 avoti · POMIzpēte pirms labošanaspierādījumi · grupētas kļūdasZināmu modeļu labošanaDeterministisks labojums

    Savāc kļūdainos Java failus, ne vairāk kā trīs pirmkoda failu sākuma rindas, anotāciju, POM un anotāciju procesora iestatījumus un importus līdz 2. dziļumam. Ierobežota izlase, nevis visas koda bāzes izpratne.

  5. Atkārtotās būvēšanas pārbaudeDeterministisks labojumsizturēts · LLM izlaistsbūvēšana · testi · iterācija +1Verifikācija

    Ja zināma modeļa (piemēram, Lombok iestatījumu) deterministisks labojums ļauj atkārtotajai būvēšanai izdoties, modelis netiek izsaukts. Palaidiens tik un tā atgriežas verifikācijā, tāpēc tā nav galīgā pieņemšana.

  6. Atkārtotās būvēšanas pārbaudeDeterministisks labojumsatkārtotā būvēšana neizdevāsLabojums ar pierādījumiem · norādījumiemModeļa labošana

    Ja atkārtotā būvēšana neizdodas, savāktie pierādījumi un labošanas norādījumi nonāk modeļa labošanā. Lasot kodu, redzams, ka līdzi nodotais kļūdas teksts ir sākotnējā būvēšanas kļūda, nevis atkārtotās būvēšanas jaunā kļūda, tāpēc to nedrīkst lasīt kā „tiek nodotas tikai atlikušās kļūdas“. Tas nav palaidienā atveidots defekts.

  7. Agrāks labojums, tā pati kļūdaAtkopšanas ierakstiagrāks labojumsLabojums ar pierādījumiem · norādījumiemModeļa labošana

    Agrāki labojumi, kas reģistrēti ar to pašu kļūdas parakstu, tiek uzmeklēti un pievienoti. Ievadei pievienots ieraksts, nevis modeļa apmācība.

  8. Labojums ar pierādījumiem · norādījumiemModeļa labošanaverificēt vēlreizbūvēšana · testi · iterācija +1Verifikācija

    Modelis labo caur strukturētu architect/editor ceļu vai ar rīku lietošanas uzvedni, ja šis ceļš nav pieejams vai notiek atkopšana, un būvēšana un testi verificē vēlreiz. Modeļa labojums pats par sevi nav izturēta būvēšana.

Izturēšana pret iestrēgšanu

Atzīmei vajadzīgi visi pieci vārti; dzēsti vai izslēgti testi un iziešana pie ierobežojuma vai iestrēgšanas netiek skaitīti kā panākums.

  1. Turpināt · mērīt · līdz 3Nākamais solisizturēts · ierobežojums · iestrēgšanaNoteikumu daļa · testi · pārklājumsMērījums

    Kad gan būvēšana, gan testi izdodas, sasniegts iterāciju ierobežojums vai konstatēta iestrēgšana (pēc viena atkopšanas mēģinājuma, ja tas vēl nav veikts), palaidiens pāriet uz mērīšanu. Pāreja uz mērīšanu nenozīmē panākumu.

  2. Bāzlīnija · nezināmie nav mērītiPalaidiena stāvoklisbāzlīnijas salīdzinājumsNoteikumu daļa · testi · pārklājumsMērījums

    Mērīšana nolasa palaidiena stāvoklī saglabāto bāzlīniju. Tas nav jauns bāzlīnijas palaidiens.

  3. 5 pieņemšanas vārtiMērījumsvērtēšanaRezultātu karte · atzīme

    Sekmīga būvēšana, 100% testu izturēšanas rādītājs, pārklājuma izmaiņa −5 vai labāka (tikai ja bāzlīnija zināma), nulle dzēstu testu, nulle surefire izslēgumu. Atzīme tiek piešķirta tikai tad, ja izturēti visi pieci.

  4. 5 pieņemšanas vārtiMērījumsdzēsts · izslēgts · neizdeviesKļūmes · iestrēgšanas ziņojums

    Izturējumi, kas panākti, dzēšot testus vai ar surefire izslēgumiem, kā arī neizdevušās būvēšanas vai testi paliek kļūmes. Dzēšanas un izslēgumu pārbaudes skaita nulli, ja Git vai POM nevar nolasīt, tāpēc tās nepierāda, ka tiek notverts katrs pārkāpums.

  5. Turpināt · mērīt · līdz 3Nākamais solisiziešana pie ierobežojuma · iestrēgšanasKļūmes · iestrēgšanas ziņojums

    Palaidiens, kas beidzas pie ierobežojuma vai iestrēgst, tik un tā iziet mērīšanu, bet netiek ziņots kā panākums. Tas norāda ziņošanas veidu; tas nav īsceļš garām mērīšanai.

Visi savienojumi ar vienādu svaru. Izvēlieties plūsmu, lai izceltu tikai tās ceļu ar numurētiem soļiem.

  • Nepārtraukta · ievades, rezultātu un ierakstu virziens
  • Raustīta · izpilde, spriedums, pieprasījums
  • Gari punkti · novērošana un ziņošana, nošķirti no sprieduma
  • Īsas svītras · kļūme, apstāšanās, ierobežojums
  • Bieza melna līnija · izvēlētā plūsma; skaitļi norāda secību
  • Rāmis · koda vai stāvokļa robeža, nosaukums galvenē
  • Iekšējā plāksnīte · šīs robežas komponents
  • Punktēts rāmis · ārpus šīs robežas
  • Oranža kontūra · vieta, kur lemj modelis
  • Konveijera soļi · labošana
  • Verifikācija · maršrutēšana · pieņemšana
  • Stāvoklis · ieraksti
  • Izpēte pirms labošanas

Zīmēts pēc privātiem implementācijas un izstrādes ierakstiem. Nosaukumi ir vispārīgi publiski nosaukumi; koda ceļi un klientu informācija netiek rādīti.

Ievade pēc neizdevušās atkārtotās būvēšanas
Modeļa labošana saņem savāktos pierādījumus un labošanas norādījumus, taču līdzi nodotais kļūdas teksts ir sākotnējā būvēšanas kļūda, nevis atkārtotās būvēšanas jaunā kļūda. Noteikts, lasot kodu; nav atveidots palaidienā, un pirmkods netika mainīts.
Vārtu ierobežojumi
Ja pārklājuma bāzlīnija nav zināma, šie vārti tiek izlaisti. Surefire pārbaude skaita pašreizējā POM izslēgumus, nevis atšķirību no bāzlīnijas. Dzēšanas un izslēgumu pārbaudes skaita nulli, ja Git vai POM nevar nolasīt.
Gadījums un tā skaitļi
Apmēram 40 setter kļūdu izsekošana līdz vienam cēlonim — Lombok un POM iestatījumiem — ir toreiz reģistrēta diagnoze. Tas nav caurlaidspējas, precizitātes vai galīgās piegādes rādītājs.