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

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

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

    1

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

評価版   ダウンロード

sample

特長

IEC61508とISO26262の認証取得
  MISRA-C:2004適合度評価モジュール(MISRA-C Compliance Module:M2CM)[オプション製品] をアドオンしたQA·C8.0は、機能安全規格IEC61508とISO26262への準拠を達成するうえでの「目的に適合する」ツールとして第三者認証機関である独TÜV SÜD Automotive社による認証を受けています。(参照: 英国PRQA 社製ソースコード静的解析ツールがISO 26262およびIEC 61508の認証を取得c_icon_pdf.gif)
  また、機能安全規格IEC61508またはISO26262に対するQA·CとM2CMの適用方法や位置づけをまとめた「セーフティマニュアル」を含むパッケージを認証パッケージ(有償)としてご提供しております。
  TUV SUDロゴ
MISRA-Cコーディングガイドラインチェック
  IEC61508/ISO26262などの機能安全規格で求められている安全性の高いソフトウェア開発を実現するためには、開発言語に対応するコーディングガイドラインを策定し、順守する必要があります。
  QA·Cとアドオン製品のMISRA-C適合度評価モジュールを用いることによって、自動車業界などで長年の実績があるMISRA-Cに対して、開発したソースコードが適合しているかどうかを評価し、機能安全規格への対応を円滑に進めることができます。(MISRA適合度評価用ツールの第三者評価においてPRQA社の静的解析ツールQA·Cが首位を取得c_icon_pdf.gifもご参照ください)
  また、QA·Cの開発元である英国PRQA社は、MISRA-C:1998およびMISRA-C:2004の策定委員会の一員であるため、適切な解釈に基づいたサポートをご提供できます。

メリット

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

開発の早い段階でソースコードを静的に解析することにより、単体テストなどの動的テストの実施前に潜在的なバグを発見できるため、開発コストと時間を大幅に削減できます。
ソースコードの信頼性、移植性、保守性を上げることができるため、ソースコードの品質向上と将来の保守コストの削減ができます。

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

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

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

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

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

45 種類以上のソフトウエア・メトリックスを用いてソースコードを計算し、ソースコードの品質を客観的かつ定量的に評価できます。 品質を定量的に表すことによって、対象ソースコードを自社あるいは産業界の基準と比較でき、品質改善の指標とすることができます。
 

テクノロジー

ホワイトペーパー  

dummy_spacer.gif
本ページでは、QA Cコード解析ワークショップセミナーやサポートメールなどで、 よく問合せのあるご質問について、コード解析センター長のリチャード・スワントンが 回答した内容をまとめた、ホワイトペーパーを掲載しております。ご自由にご覧ください。
dummy_spacer.gif
ANSI C 型拡張 yellow.gif
なぜ3314のメッセージが表示されるのか yellow.gif
なぜ警告3324が出力されるのか yellow.gif
なぜ警告400-404が表示されるのか yellow.gif
clip_deskandman.jpg

仕様

 

サポートOSとバージョン

・Windows [x86] XP/7 
・Windows [x64] XP-64bit/7-64bit 
・Solaris [SPARC] 10 
・Linux [x86] EL5
・Linux [x64] EL5-64bit
 
注意:QA·Cのバージョンによって、対応プラットホームが異なります。
QA·Cリリース情報参照
 

機能

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

アプリケーション

IPA/SECコーディング作法ガイド適合度評価パッケージ
image_toyo_ss_img_all_point_under_red.gif.gif概要
QA·Cは、ソフトウェアの品質改善のために自動車関連企業をはじめとする多くのソフトウェア開発企業に使用されているC言語ソースコード用のディープフロー静的解析ツールです。


IPA/SECコーディング作法ガイド適合度評価パッケージは、QA·CまたはQA·MISRAと併用するオプションパッケージです。
C言語で記述されたソースコードが、"独立行政法人 情報処理推進機構 ソフトウェア・エンジニアリング・センター"によって策定された 『組み込みソフトウェア開発者向け コーディング作法ガイド [C言語版]』に適合しているかどうかを評価できるようにします。 (※ Part3 組込みソフトウェアにありがちなコーディングミスの例も含む)
コーディングガイド違反の記述は、注釈付きソースコード形式で明記されます。各警告メッセージには、問題の内容とIPA/SECのルール番号が示されます。HTMLブラウザおよびメッセージブラウザで、注釈付きソースコードを表示した場合は、HTMLリンクを介してそれぞれの指摘内容を説明したHTMLファイルを参照することができます。これにより、開発者は 『組み込みソフトウェア開発者向け コーディング作法ガイド [C言語版]』のルールに容易に対応できるようになります。
 
image_toyo_ss_img_all_point_under_red.gif.gifダウンロード
IPA/SECコーディング作法ガイド適合度評価パッケージ
download.gif

   ※ パッケージの利用方法につきましては、付属の READMEXXXJ.pdfをご参照ください。
   ※ ダウンロードページへのアクセスには、保守ユーザ様向け情報ページへのアクセス用
     パスワードが必要です。
 
image_toyo_ss_img_all_point_under_red.gif.gif主な注意事項
■ QA·Cの保守契約を締結して頂いているユーザ様向けのパッケージになります。
■ 解釈が曖昧になりがちなルールについては、ルールの拡大解釈を避けながらQA·Cとの連携を図るようにしました。
■ 文書化や規約化を求められているルールについては、QA·Cとの連携対象外としました。ただし、文書化や規約化の仕方によってサポートできるルールがある場合は、ユーザ様がQA·Cの設定を調整でるようにしました。
■ その他の注意事項やパッケージの作成指針については、付属の READMEXXXJ.pdfをご参照ください。
 
image_toyo_ss_img_all_point_under_red.gif.gifSEC所長 鶴保征城様 コメント
ソフトウェアエンジニアリングセンター(SEC)は開発の現場で役立つ手法、標準の策定を目指しており今回の㈱東陽テクニカ殿のようにSECの定めた成果に準拠した運用を歓迎いたします。SECは今後も現場と現場を支援する企業での幅広い成果採用を目指し活動を強化、推進いたします。
 
更新情報
image_toyo_ss_img_all_line_dot_300_7.gif.gif
2012/07/23:
IPA/SECコーディング作法ガイドへの適合度を評価するためのパッケージを QA·C8.0J-R / QA·C8.0J-R + M2CM3.0J 向けにリリースしました。

2010/06/29:
IPA/SECコーディング作法ガイドへの適合度を評価するためのパッケージを QA·C7.2.xJ / QA·C7.2.xJ + M2CM2.7J 向けにリリースしました。

2009/3/16:
QA·C6.2J/7.0J/7.1J用IPA/SECフィルタを更新しました。(ファイルのコメントのみ更新)

2009/2/16:
QA·C6.2J/7.0J/7.1J用IPA/SECフィルタを更新しました。

2008/10/21:
IPA/SECコーディング作法ガイドへの適合度を評価するためのパッケージを QA·C7.1J / QA·C7.1J + M2CM2.3J 向けにリリースしました。

2007/6/6:
IPA/SECコーディング作法ガイドへの適合度を評価するためのパッケージを QA·C7.0J / QA·C7.0J + M2CM2.1J 向けにリリースしました。

2007/3/14:
IPA/SECコーディング作法ガイドへの適合度を評価するためのパッケージを QA·C6.2J / QA·C6.2J + M2CM1.5J 向けにリリースしました。

image_toyo_ss_img_all_line_dot_300_7.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_toyo_ss_img_all_imaging_image_support.jpg.jpg
image_toyo_common_spacer.gif.gif
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_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

はい (10)
いいえ (42)

PAGE TOP