Előadásunkban a komponens alapú szoftverfejlesztés során felmerülő tesztelési problémákat vizsgáljuk. Lehetséges megoldásként a kontraktusokon alapuló tesztelési módszer előnyeit és hátrányait elemezzük. A kontraktusok az egymással együttműködni kívánó komponensek kölcsönös kötelezettségeit és garanciáit rögzítik, melyek segítségével a készre gyártott komponensek egymással való kompatibilitása vizsgálható. A formális módszerek (modellellenőrzés) között léteznek olyanok, amelyek lehetővé teszik egy rendszer inkrementális verifikációját. A módszer adaptálhatóságát vizsgáljuk a tesztelés gyakrolatában.
