"branch coverage" Deutsche bedeutung