d) jsou plně testovány, aby se zajistilo, že podmínky podle písmen a) až c) jsou splněny, a