Verifizierende Teststrategien für ausgewählte Programmklassen