REODE
Code migration
Kõigepealt ühine põhjus, siis parandus.
pinxlab AI R&D: Java/Spring koodi migratsiooniagent.
Kõigepealt ühine põhjus, siis parandus.
pinxlab AI R&D: Java/Spring koodi migratsiooniagent.
- Parandamise järjekord
Esmalt tulevad reeglipõhine teisendus ja tuntud mustrite deterministlikud parandused ning kui uuesti ehitamine õnnestub, mudelit ei kutsuta. Kui see ebaõnnestub, parandab mudel kogutud tõendite ja parandusjuhiste abil ning ehitus ja testid verifitseerivad uuesti.
Koodi lugedes selgub, et mudeli parandusele edastatav veatekst on algne ehitusviga, mitte uuesti ehitamise uus viga · peatükk „Parandustsükkel“