第三者検証

コンパイラ評価サービス
Compiler Qualification Service

不具合
るす
生
発
なぜかだったが原因
ライパコン

コンパ
イルオ
プシ
ョンの遅くな
せいっていでた！

コンパイラにも不具合があります
コンパイラは言語規格に基づいて設計／実装されているはずですが、ソフトウェアの一種である以上、不具合が存在します。コンパイラに潜在する不具合は製品／システムに深刻な障害を起こす可能性があります。

コンパイラ評価サービスとはコンパイラ品質評価のアウトソーシングサービスです。
第三者検証機関として、お客様のコンパイラの不具合を検出します。

日本ノーベルが誇る世界最大規模のテストスイート開発に用いるコンパイラの品質が低いと？

世界最大規模のテストスイートで、コンパイラの品質を評価します。

アプリケーション
プログラムのテストプログラム

評価サービス

不具合情報の�� 年以上拡充され続けているテストスイート

対応仕様

C

C++

固定小数点

ISO/IEC ����:���� (C��)ISO/IEC ����:���� (C��)ISO/IEC ����:���� (C��)ISO/IEC �����:���� (C++��)ISO/IEC �����:���� (C++��)ISO/IEC �����:���� (C++��)ISO/IEC �����:���� (C++��)• ISO TR
• ACE

約��万本

製品での障害・ハザード発生

原因究明の調査コスト発生

修正コスト増大

損害賠償、リコール

品質が不明なコンパイラを導入すると、開発や製品に大きな影響が出ることが考えられます。

あらかじめコンパイラの品質を確認することで、潜在的なリスクを回避できます。
テストプログラム化

テスト本数

移植性や性能の劣化

テストプログラム化

コンパイラ

言語規格に対する原因不明の挙動

約��万本

コンパイラ評価サービス イメージ

作業コストの削減

自社でコンパイラの品質評価をテスト設計から行う

場合と比べて、�/�� 以下のコストで実施いたします。

約�万本

ISO TR特有のmodwrap、ACE仕様特有のcirc等、どちらの仕様にも対応しています。

豊富な実績による説得力のあるエビデンス

また、コンパイラが原因で製品に不具合が発生した

これまで評価してきたコンパイラの系統は �� 種類、め、「コンパイラに問題がある」と結論にたどり着くン � つにつき平均 �.� 件の不具合をご報告し、累計場合、通常はプログラムコードから調査が始まるたまでに膨大なコストがかかります。

詳細な不具合情報の報告

不具合が検出された場合には、発生条件をまとめたサンプルコードを不具合再現プログラムとして報不具合を検出テストプログラムをコンパイル・実行

コンパイラ評価サービス 導入メリット

評価パターンは �,��� 通りにのぼります。評価パター

で約 �,��� 件の不具合を検出しております。

豊富な評価実績があり、かつ第三者である弊社の評価サービスを利用することで、コンパイラの妥当性を証明する、説得力のあるエビデンスが得られます。
弊社作成の品質評価レポートは公開可能です。

告いたします。また、不具合発生の条件等もまとめているため、コーディングルールへの反映等にご利用いただけます。

日本ノーベルオリジナル
テストスイート

お預かりしたコンパイラ

コンパイラ評価の流れ
�. 評価条件をヒアリング（コンパイルオプション、OS など）
�. 貸与されたコンパイラで評価環境を構築
�. 評価の実施

�. 検出された不具合を再現可能なプログラムを作成

�. 品質評価レポートと不具合再現プログラムにて、評価結果を報告

不具合再現

プログラムを作成

� 回の評価依頼に要する作業期間の目安
シミュレータを使った評価環境
実機を使った評価環境�~� ヵ月
�~� ヵ月（C コンパイラ � 種＋コンパイルオプション � パターンを想定）

不具合再現プログラム

サンプル

void sub(double dmy, int arg){if (arg != 1){
printf("NG arg:[1]--->[%d]\n", arg);}
else{
printf("OK\n");}“OK” が出力されるべきですが、}
int main(void){
int i;
double d = 1.0;

コンパイラの不具合によって、プログラムコードが正常に動作しない場合があります。

}

for (i = 0; i < 1; i++){sub(d, (int)d);}
return 0;“NG arg:[�]--->[�]” と出力されます
ループ文内で呼び出した関数に引数が正しく渡されないという不具合です派生サービス

このような場面でご利用いただいています

コンパイラの品質評価以外にも様々なサービスをご提供いたします。

● 開発中のコンパイラのリリース前検査● バージョンアップによるデグレード確認● 異なるバージョンや設定での、品質や性能確認● 導入するコンパイラの選定材料や受入検査● 開発者、グループ会社、顧客に向けて、コンパイラ●の品質を提示比較検証

コンパイルオプションで本当に速くなっている？

性能や品質の比較検証も承っております。品質の差異や、コンパイラ時間、実行時間などの差異を比較します。例えば、動作速度が速くなるコンパイルオプションで、逆に遅くなる不具合再現プログラムをコンパイラベンダーに報告し、修正依頼ケースがないか、などが確認できます。

コーディングルールの設定● コンパイラのバージョン違いでの挙動の差異● 製品／システムで不具合現象が発生しないよう、● 機能安全規格認定に向けたコンパイラのツール

認定エビデンス

コンパイラ評価サービスのコンパイラ検証

ソースコードコンパイラ評価サービス

今までにサービスをご利用いただいた業界の一覧● 半導体メーカー● 鉄道● 航空宇宙● ゲーム機メーカー● コンパイラベンダー● 車載● 同じコンパイラのバージョンで、OSプラットフォームなど動作条件の違いでの挙動の差異

独自検証

位置付け組込みソフトウェア● コンパイルオプション違いでの挙動の差異● 電力プラント

特に国内の組み込み向けコンパイラを開発されている大手半導体メーカー各社でご採用いただき、コンパイラの品質評価における業界標準的ソリューションとしてご利用いただいております。

コンパイラツールに合わせた独自の検証もテスト設計から対応します。

言語規格の範囲の評価だけでなく、独自の機能や機能に制限のあるコンパイラについても、テスト設計から承ります。
● コンパイラの独自実装機能の評価● 特殊CPUに合わせた評価● 並列処理用等の追加ライブラリの評価● C言語の機能制限版コンパイラの評価

ツール評価

コンパイラツールに限らず、ツール評価のサポートをいたします。

コンパイラ評価の経験を生かして、その他ツール等の評価もサポートいたします。ぜひご相談ください。
● 解析ツール● コンパイル、逆コンパイルに近い機能のツール

様々なご要望にお応えします。

お気軽にお問い合わせください。

https://www.jnovel.co.jp/〒114-0002 東京都北区王子 2-30-2
TEL 03-3927-8801 FAX 03-3927-8802
e-mail sales@jnovel.co.jp
このパンフレットの記載内容は、���� 年 � 月現在のものです。

Ⓒ ���� Japan Novel Corporation コンパイラ評価パンフレット＜第 � 版＞