1. Információ biztosítása, összehasonlítva egy tevékenységet, egy folyamat vagy egy terméket a vonatkozó előírások vagy a műszaki . Megjegyzés: példák ellenőrzési összehasonlítása a részletezés-val a biztonsági házirend modell, vagy object kód-val forrás kód összehasonlítás. 2. . a folyamat összehasonlítása a két szint egy információs rendszer (IS) részletezés megfelelő kapcsolattartás (pl. biztonsági házirend modell legfelső szintű specifikáció, legfelső szintű részletezés-val forrás kód, vagy a forrás kód-val objektumkód. ) 3. Rendszer vagy a rendszer részének két képviseletei közötti megfelelés ellenőrzése. 4. . a folyamat összehasonlítása két szint rendszer részletezés megfelelő kapcsolattartás (pl. biztonsági házirend modell legfelső szintű specifikáció, TLS-a forrás kód, vagy a forrás kód-val objektumkód. ) Ez a folyamat lehet, vagy nem automatizálható.