"functional check during type testing" Deutsche bedeutung