1. Časový automat a jeho sémantika. 2. Optimalizace testování metodou latinských čtverců. 3. Z notace. 4. Kritéria pokrytí.