ソフトウェア開発支援
IR情報 会社情報

C++言語用ソースコード静的解析ツール QA・C++ 

Programming Research Ltd.
C++言語用ソースコード静的解析ツール QA・C++ 51_ext_07_0.jpg
0
  • 51_ext_07

    1

QA·C++は、C++言語ソースコード用のディープフロー静的解析ツールです。
プログラムを実際に動作させることなく、ソースコード全体を詳細に解析し、不具合を発生させる箇所 / 保守性を損ねる箇所 / 移植性を損ねる箇所などの検出や複雑度の数値化を行い、品質改善に役立てて頂くことができます。
 

評価版   ダウンロード

特長

IEC61508とISO26262の認証取得
  MISRA-C++:2008適合度評価モジュール(MISRA-C++ Compliance Module:MCPP)[オプション製品]をアドオンしたQA·C++3.0は、機能安全規格IEC61508とISO26262への準拠を達成するうえでの「目的に適合する」ツールとして第三者認証機関である独TÜV SÜD Automotive社による認証を受けています。(参照: 英国PRQA 社製ソースコード静的解析ツールがISO 26262およびIEC 61508の認証を取得c_icon_pdf.gif)   TUV SUDロゴ
MISRA-C++コーディングガイドラインチェック
  IEC61508/ISO26262などの機能安全規格で求められている安全性の高いソフトウェア開発を実現するためには、開発言語に対応するコーディングガイドラインを策定し、順守する必要があります。
  QA·C++とアドオン製品のMISRA-C++適合度評価モジュール[オプション製品]を用いることによって、自動車業界などで長年の実績があるMISRA-Cをベースにして C++向けに拡張されたMISRA-C++コーディングガイドラインに対して、開発したソースコードが適合しているかどうかを評価し、機能安全規格への対応を円滑に進めることができます。
  また、QA·C++の開発元であるPRQA社は、MISRA-C++:2008策定委員会の一員であるため、適切な解釈に基づいたサポートをご提供できます。
High-Integrity C++コーディング標準
  High-Integrity C++コーディング標準は、2003年にProgramming Research社が初版を作成・発行した汎用のC++言語用コーディングガイドラインです。2012年1月時点で2万回以上ダウンロードされるなど、多くの方にご利用いただいています。
  C++言語用コーディングガイドラインにご興味がおありの方は、申し込みフォームからお申し込み下さい。
 

メリット

様々なチェック観点でソースコードの問題を早期に検出

開発の早い段階でソースコードを静的に解析することにより、テスト前に潜在的なバグを発見できまするため、開発コストと時間を大幅に削減できます。 
開発者に、プログラム言語に対する理解力を向上させると同時に、開発チーム内でのコードの一貫性を保たせますので保守性・信頼性の高い頑強なソフトウェアが作成できます。

可読性の向上による効率化の推進

ソースコードの可読性が低いと、機能変更や不具合修正をする際に、既存の処理フローを誤読してしまい、新たな不具合を作りこんでしまう可能性があります。
可読性を向上することで、このような問題を解消し、コードレビューやテストをより効率的に実施することができます。

移植性の向上による問題の未然防止

「ISO C++に準拠していないコンパイラ独自の機能を使用している箇所」と「ISO C++に準拠しているがコンパイラによって動作が異なる箇所」は移植時に問題を引き起こす可能性があります。
これらを早期に特定または解消することで、移植時の生産性を上げるとともに、信頼性の高いコードを記述することができます。

豊富なメトリクスによる品質の定量化

業界標準のソフトウェア・メトリックスを擁して、コードの品質を定量化できますので、プロジェクトの進捗に伴う品質の推移や会社としての品質標準の指標を作成できます。
                                     
 

仕様

サポートOSとバージョン

・Windows [x86] XP/7
・Windows [x64] XP-64bit/7-64bit 
・Solaris [SPARC] 2.8/9/10 
・Linux [x86] EL3/EL4/EL5
(EL4以降は、QA·C++の英語版のみ対応) 
 
注意:QA·C++のバージョンによって、対応プラットホームが異なります。(QA·C++リリース情報参照)
 
 

機能

image_toyo_ss_img_qacpp_image_product.jpg.jpg
image_toyo_common_spacer.gif.gif
ここでは QA·C++ の製品情報を記載します。 QA·C++ の製品情報は次の項目となります。
image_toyo_common_spacer.gif.gif
 
初めての方はこちらへ image_toyo_ss_img_all_btn_yellow.gif.gif
QA·C++製品概要書 image_toyo_ss_img_all_btn_yellow.gif.gif
QA·C++の画面集 image_toyo_ss_img_all_btn_yellow.gif.gif
QA·C++のリリース情報 image_toyo_ss_img_all_btn_yellow.gif.gif

資料ダウンロード

image_toyo_ss_img_all_line_red.gif.gif
image_toyo_common_spacer.gif.gif
C++コーディング標準(翻訳版)
image_toyo_common_spacer.gif.gif
英Programming Research社のホームページで公開されている "高品質C++ソフトウェアを開発するためのコーディング標準" の翻訳版を公開しております。 コーディング標準をご希望の方は、下記の申し込みフォームに アクセスしてください。
image_toyo_common_spacer.gif.gif
C++コーディング標準送付申し込み(日本語版)image_toyo_ss_img_all_btn_yellow.gif.gif
C++コーディング標準送付申し込み(英語版)image_toyo_ss_img_all_btn_yellow.gif.gif
image_toyo_common_spacer.gif.gif
image_toyo_ss_img_all_line_dot_526.gif.gif
image_toyo_common_spacer.gif.gif

E-mail欄に記入したE-mailアドレス宛に、High-Integrity C++ Coding StandardのPDFファイル(日本語版または英語版)が送られてきます。
image_toyo_common_spacer.gif.gif
コーディング標準は、「C++で高品質なコードを記述するにはどうすべきか?」 という観点で作成されているため、QAC++をお使い頂いてない場合でも活用できます。
image_toyo_common_spacer.gif.gif
QAC++をお使い頂いているお客様の場合は、QAC++でチェックできる警告番号への リファレンスが付いているため、より活用できます。
image_toyo_common_spacer.gif.gif

関連ソリューション

image_toyo_ss_img_customersv_title_customersv.gif.gif
   
image_toyo_ss_img_cac_image_cac.jpg.jpg
image_toyo_common_spacer.gif.gif
image_toyo_ss_img_all_point_under.gif.gif コード解析センターの概要
東陽テクニカ コード解析センターでは、お客様のソースコードをお預かりし
解析するサービスを行っております。対象の言語は、C、C++です。

解析結果からコード解析レポートを作成し、(株)東陽テクニカのエンジニアがコード解析レポートに記された解析結果をレビューします。

当社のコード解析センターでは、これまでに 約250社の日本のお客様からお預かりしたソースコード(総数約400万行)を、静的解析してまいりました。
その結果によると、 日本のソースコードには欧米に比べ、深刻な問題が約5倍多く含まれている ことが分かりました。

高品質なコードを生成するためには、より慎重な言語の使用と能率の良いテストが必要です。
プログラムを実行しての動的テストを行う前に、自動的にリスクの高い深刻な問題を検出する静的テストが不可欠です。
コード解析センターで、静的テストを体験してみませんか?


image_toyo_common_spacer.gif.gif
image_toyo_ss_img_all_point_under.gif.gif コード解析のお申し込み方法

コード解析のお申し込み方法についてご説明いたします。

image_toyo_ss_img_all_line_dot_500_grey.gif.gif

1.(株)東陽テクニカ ソフトウェア・ソリューションの「資料請求」 のページへお進みください。

2.「資料請求」 ページ内、「■コード解析サービス について」 のいずれかの項目をチェックしてください。必要事項をご記入の上、送信してください。

3.弊社の担当営業から、お客様にご連絡を取らせていただきます。

image_toyo_ss_img_all_line_dot_500_grey.gif.gif

対象言語
C、C++

解析コードサイズについて
ソースコードは、約2万行(コメント、空白行込み)を 目安にしてください。
正確なコード解析レポートを作成するため、言語の様々な 側面を見ることが必要です。その為には、約2万行のソースコードが理想的です。

インクルードファイルについて
ソースコードが参照している全てのヘッダファイルを、 ソースコードとともにご送付ください。
ユーザ・プログラム内でローカルに作成されたヘッダファイルは もちろん、コンパイラのシステム・ヘッダ(stdio.h等)も、ご面倒でも全てご送付下さい。その際、ヘッダファイルから更に別のヘッダ ファイルを参照している場合も多くあります。この場合は、該当する全ての ヘッダファイルをご送付下さい。

解析期間
ツールによるコード解析の結果から、担当エンジニアがレポートを作成するため、 通常3週間の解析期間をいただいております。
ただし、コード解析の申し込みが集中した場合には、解析の納期が遅れることも ありますので、ご了承ください。

image_toyo_ss_img_all_btn_apply_grey.gif.gifコード解析のお申込はこちらから


image_toyo_common_spacer.gif.gif
image_toyo_ss_img_all_point_under.gif.gif QACクリニック
より安全なC言語の使用方法、QACを使用しての静的テストのレポート、メトリックス、
ユーザ事例などの多岐にわたる情報を提供します。

テクニカルサポート

image_support.jpg
image_toyo_ss_img_all_point_under_red.gif.gif技術的なお問い合わせ
QA·C++ に関する技術的なご質問に対しては、弊社のサポートデスクがお答えいたします。
image_toyo_common_spacer.gif.gif
お問い合わせ先:ss_support@toyo.co.jp
image_toyo_common_spacer.gif.gif
緊急の場合には、電話によるお問い合わせに対してもお答えいたします。お取扱い時間は、9:30~17:30(土日、祝日を除く)です。
image_toyo_common_spacer.gif.gif
image_toyo_ss_img_all_clip_alert_25.gif.gifご注意: サポートデスク宛に技術的なご質問をお出しになる場合、お客様と弊社の間には保守契約が締結されている必要があります。
image_toyo_ss_img_all_point_under_red.gif.gifお問い合わせに際してのお願い
1. お問い合わせのE-mailに、次の情報を付加してください。それによって、より早い回答をお届けすることができます。
image_toyo_common_spacer.gif.gif
image_toyo_ss_img_all_point_list_red.gif.gifご使用になっているOSの種類とバージョン
image_toyo_ss_img_all_point_list_red.gif.gifご使用になっている製品のバージョン

image_toyo_common_spacer.gif.gif
2.エラーメッセージが出ている場合は、そのエラーメッセージを正確にお送りください。GUI の場合は、画面をキャプチャした画像ファイルをお送りください。 
image_toyo_common_spacer.gif.gif
3. 可能な限り、その問題が発生した経緯、再現の手順をお知らせください。
 
image_toyo_ss_img_all_point_under_red.gif.gifトレーニング

image_toyo_common_spacer.gif.gif
QA·C++ のトレーニング・セミナーを開講しております。
具体的な日程につきましては、トレーニング・セミナー案内をご参照ください。

image_toyo_common_spacer.gif.gif
image_toyo_ss_img_all_point_under_red.gif.gifコード解析センター

image_toyo_common_spacer.gif.gif
コード解析センターでは、お客様のソースコードをお預かりし解析するサービスを行っております。対象の言語は、C、C++ です。 
image_toyo_common_spacer.gif.gif
解析結果からコード解析レポートを作成し、東陽テクニカのエンジニアが、コード解析レポートに記された解析結果をレビューします。
image_toyo_common_spacer.gif.gif
詳しくは、こちらをご覧ください。
image_toyo_common_spacer.gif.gif
コード解析センターimage_toyo_ss_img_all_btn_yellow.gif.gif

detail__vid--text.png

はい (2)
いいえ (6)

PAGE TOP