
REODE
Code migration
Vispirms kopīgais cēlonis, tad labojums.
pinxlab AI R&D: Java/Spring koda migrācijas aģents.
Vispirms kopīgais cēlonis, tad labojums.
pinxlab AI R&D: Java/Spring koda migrācijas aģents.

- Labošanas secība
Vispirms nāk uz noteikumiem balstīta pārveidošana un zināmu modeļu deterministiski labojumi, un, ja atkārtotā būvēšana izdodas, modelis netiek izsaukts. Ja tā neizdodas, modelis labo ar savāktajiem pierādījumiem un labošanas norādījumiem, un būvēšana un testi verificē vēlreiz.
Lasot kodu, redzams, ka modeļa labošanai nodotais kļūdas teksts ir sākotnējā būvēšanas kļūda, nevis atkārtotās būvēšanas jaunā kļūda · nodaļa „Labošanas cikls“