Compilertest - Info gesucht

Hallo Leute,

wir haben hier bei uns folgendes Problem:
Wir müssen eine kleine Steuerung für einen Mikrocontroller entwickeln für den es nur eine Handvoll C-Compiler gibt, alle von kleineren Firmen und alle ohne verlässliche Aussagen zur Qualität des Compilers.

Da die Steuerung eine SIL-Klassifizierung nach der IEC 61508 erhalten soll, muss aber auch der Compiler getestet werden.
Dabei geht es weniger um Komformität mit der Ansi-C-Norm, sondern um das Aufdecken evtl. vorhandener Probleme des Compilers, die fehlerhaften Code erzeugen könnten.
Ich habe gehört, dass es für Compilertests einige Testsuiten geben soll, dabei
fielen Namen wie PlumHall und Perennial CVSA.

Leider hatten wir bis jetzt noch nichts mit Compiler-Tests zu tun und wissen auch nicht, welche Test-Tool-Suite sich in der Praxis als tauglich herausgestellt hat.

Daher meine Frage:
Kann mir jemand etwas über Compiler-Tests erzählen und / oder kennt jemand die Testsuites und hat einige Erfahrungswerte, die mir weiterhelfen könnten?

Danke schonmal.