Az executableUnit vizsgálótöredék típus

Az executableUnit vizsgálótöredék típus lehetővé teszi nagy részletességű adatgyűjtemény végrehajtását a vizsgáló céljának megfelelő, valamint elérhető forráskód információkkal rendelkező metódusok számára.

Ezen töredéktípus hívása a célmetódusban minden végrehajtható egység elé kerül beszúrásra. A vizsgáló céljának meghatározásainak megfelelő, de forráskód információkkal nem rendelkező metódusok esetén a töredék egyszer kerül beszúrásra a metódus elejére.

Az executableUnit töredékek a returnedObject, exceptionObject, isFinally és thisObject adatelemeken kívül minden adatelem használatára képesek. A legfontosabb, hogy a futtatásra kerülő végrehajtható egység számát tartalmazó executableUnitNumber adatelem használatára képes.

A metódusban és sor táblázatokban lévő végrehajtható egység számok között nem fognak szerepelni a Vizsgálókészlet által a metódusba beszúrt végrehajtható egységek.

Végrehajtható egységek és alapvető blokkok

Egy végrehajtható egység minden alapvető blokk kezdetén és minden előző bytekódtól különböző forrás sor számmal rendelkező bytekódnál kezdődik. Az alapvető blokk olyan bytekódú utasítások tartománya, amelyből és amelybe nem lehet elágazni. Egy alapszintű blokkban az első utasítás futtatásakor az összes utasítás végrehajtásra kerül, így az utasítások egyetlen csoportként értelmezhetők.

Az alapvető blokkok branch (elágazás), call (hívás), throw (dobás) vagy return (visszatérés) utasítással végződnek.

Néhány utasítás, mint például a divide (osztás), annak ellenére nem értelmezhető egy végrehajtható egység végeként, hogy kivétel dobását okozhatja. Ez egy módja annak, hogy egy végrehajtható egység gyakorlatilag nem egyezik meg egy alapvető blokkal.

Ha egy Java metódus nem rendelkezik hozzá tartozó forrás információkkal, akkor az egész metódus egyetlen végrehajtható egységgel rendelkező metódusként kerül figyelembe vételre.

Kapcsolódó leírások
Vizsgálótöredékek
Kapcsolódó információk
Példa executableUnit vizsgálótöredékre