SuperTest コンパイラテストツールSolid Sands 社の SuperTestは、コンパイラを検証するためのテストスイートです。その派生製品であるSuperGuardは、 C 標準ライブラリの認定を支援する要件ベースのテストスイートです。コンパイラは、非常に複雑なソフトウエアであり、たったひとつのエラーであっても、間違ったコードが生成されることで甚大な問題を引き起こす原因になりかねません。ISO 26262 等の機能安全規格では、ソフトウエアツールチェインの適正なレベルの信頼が要求されます。コンパイラが正しいことの証明には、C、C++言語規格への適合性、正確性、堅牢性を厳密にテストすることが必要です。 言語仕様に基づいたテストスイートで C/C++ コンパイラを認定するの講演動画 C/C++ コンパイラの認定は、機能安全規格 ISO 26262 の第8-11項の定義によって行うが、ツール信頼度の評価後に C、C++ 言
