TOCSYC - Testing of Critical System Characteristics