Inkrementális kínai postás probléma

OData támogatás
Konzulens:
Dr. Kovács Gábor
Távközlési és Médiainformatikai Tanszék

A legtöbb hagyományos tesztgeneráló algoritmus a rendszerben elvégzett legkisebb módosítás után is újból, nulláról felépíti az absztrakt tesztkészletet. A változtatások felismerése az iterációs lépésekben, egy előrelépést jelent ezen módszerek használatában. Tesztgenerálás során a rendszerben csak a megváltoztatott részekre fókuszálunk, és megpróbáljuk felhasználni a módosításokat megelőző állapotból a tesztkészlet. A diplomatervben ismertetésre kerül egy algoritmus, amely karbantartja egy állapottér-bejárás absztrakt tesztkészletét, a determinisztikus véges állapotgépen elvégzett módosítások után. Az algoritmus egyik része fenntartja a gráf kiegyenlítettségét (Euler gráf), a másik része pedig karbantartja a – módosítások következtében – növekvő gráfban az Euler-kört. A módszert példák segítségével érthetjük meg. Egy szoftver tervének bemutatásával megismerhetjük, hogy milyen tervezői megfontolásokra van szükség a probléma megoldásához. A szoftver C++ programozási nyelven íródott, biztosítva ezzel a platformfüggetlenséget.

Letölthető fájlok

A témához tartozó fájlokat csak bejelentkezett felhasználók tölthetik le.