ダウンロード

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

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

 

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

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

 

高速ソフトウェア構成管理ツール Perforce Helix Perforce Software Inc

Perforce Helixは企業の重要なデジタル資産を安全かつ、高速に管理するソフトウェア構成管理ツールをコアにした統合プラットフォームです。
ソースコード等のテキストデータからドキュメントやグラフィック等のバイナリまでのあらゆるファイルをバージョン化します。
テラバイト単位の大容量なデジタル資産でも高速に処理します。
Perforce Helixのコア・プロダクトであるバージョニングエンジンはサーバ集中管理型のシステムを採用しており、サーバ管理が容易です。
レプリカやプロキシを配置することで、遠隔地にある分散拠点でも高速に動作します。
認証サーバとの連携や暗号化など、セキュアな通信を確保します。

 

ソースコードレビュー支援ツール QA・Verify Programming Research Ltd.

QA・Verifyは静的解析したソースコードの情報をWebベースで共有し、コードレビューを支援するためのツールです。

 

C/C++リバースエンジニアリングツール Imagix 4D Imagix Corporation

Imagix 4D は、大規模化および複雑化する C/C++ プログラムのための、リバースエンジニアリングおよびドキュメント作成ツールです。

 

QAC連携 C言語用品質診断ツール eXquto eXmotion (エクスモーション)

ソースコード品質診断ツール「eXquto(エクスキュート)」は、お客様のソースコードの「設計・実装品質の良し悪し」を診断するツールです。

 

Simulinkモデル用品質診断ツール MODEL EVALUATOR eXmotion (エクスモーション)

MODEL EVALUATORはSimulinkモデルの品質を診断(定量化・可視化)するツールです。