Example for preconditions and postconditions ABC This test does ... This test does ... This test does ... This test does ... Calls a sequence performing initialization operations Calls a sequence performing termination operations This tests turns power ON. This test turns UUT power OFF. This test iniitalizes ... This test iniitalizes ... This test terminates ... This test terminates ... OFF ON Capacitor Unnamed Capacitor Unnamed Capacitor Unnamed Capacitor Unnamed Capacitor Unnamed Capacitor Unnamed