導入事例

規格検証ツールとして

コンパイラのANSI/ISO規格への準拠状況の確認に最大の力を発揮します。 ANSI/ISO規格の仕様は膨大です。 この仕様への準拠を独自で証明するためには莫大なコストが必要となります。

PlumHall社の代表者であるTomas PlumはANSI,ISO,ECMAなどの規格委員会で活躍する言語仕様の第一人者です。彼のデザインした規格検証製品は世界中のコンパイラ開発エンジニアの指標としてご利用いただいています。

PlumHall製品での検査合格はANSI/ISO準拠への近道です。コンパイラ開発者にとってはPlumHall製品での検査に合格することはひとつの大きな目標です。

受入検査の指標として

コンパイラの開発を第三者に委託する場合、独自で受入検査基準を作成することは非常に困難です。PlumHall製品は世界中のコンパイラメーカー、半導体メーカー、大学、研究機関で採用されている規格検証のデファクトスタンダードです。
受入検査の合格基準として妥当性の高い指標となります。

性能評価の確認に

PlumHall製品に含まれる多種多様なテストプログラムにより、コンパイラが生成するコード性能（サイズ、速度）の評価にご利用いただけます。自社開発したコンパイラの性能が知りたい、第三者に開発委託したコンパイラが要求通りの性能を達成しているか確認したい、また大規模組込みシステムの開発時に採用するコンパイラの品質確認などでもご利用いただいています。