Kutatás

Multi-ügynök rendszerekbe integrált verifikálók a kódellenőrzés automatizálására

Kutatók a meglévő multi-ügynök rendszerkutatásra építve vezettek be egy fontos új elemet: verifikálók.

Kutatók a meglévő multi-ügynök rendszerkutatásra építve vezettek be egy fontos új elemet: verifikálók. A tervezők (plannerek) munkásügynököket indítanak, amelyek kódot írnak, és verifikálók futtatják azt; ha az ellenőrzés sikertelen, a tervező új munkást indít a javításhoz. A megközelítés növelheti a kód megbízhatóságát és az automatizált hibajavítást.