ソフトウェア開発支援
IR情報 会社情報
201604050755_1.jpg
 
201605270538_1.jpg C言語用ソースコード静的解析ツール QA・C Programming Research Ltd.
QA·C は、C言語ソースコード用のディープフロー静的解析ツールです。
プログラムを実際に動作させることなく、ソースコード全体を詳細に解析し、不具合を発生させる箇所 / 保守性を損ねる箇所 / 移植性を損ねる箇所などの検出や複雑度の数値化を行い、品質改善に役立てて頂くことができます。
201605230856_1.jpg201605230856_3.jpg201605230856_2.jpg201605230856_4.jpg
 201604050731_1.jpg
201605270538_2.jpg C++言語用ソースコード静的解析ツール QA・C++ Programming Research Ltd. .
QA·C++は、C++言語ソースコード用のディープフロー静的解析ツールです。
プログラムを実際に動作させることなく、ソースコード全体を詳細に解析し、不具合を発生させる箇所 / 保守性を損ねる箇所 / 移植性を損ねる箇所などの検出や複雑度の数値化を行い、品質改善に役立てて頂くことができます。
201605230856_1.jpg201605230856_3.jpg201605230856_2.jpg201605230856_4.jpg
 201604050731_1.jpg
201605270538_3.jpg 高速ソフトウェア構成管理ツール Perforce Helix Perforce Software Inc.
Perforce Helixは企業の重要なデジタル資産を安全かつ、高速に管理するソフトウェア構成管理ツールをコアにした統合プラットフォームです。
ソースコード等のテキストデータからドキュメントやグラフィック等のバイナリまでのあらゆるファイルをバージョン化します。
テラバイト単位の大容量なデジタル資産でも高速に処理します。
Perforce Helixのコア・プロダクトであるバージョニングエンジンはサーバ集中管理型のシステムを採用しており、サーバ管理が容易です。
レプリカやプロキシを配置することで、遠隔地にある分散拠点でも高速に動作します。
認証サーバとの連携や暗号化など、セキュアな通信を確保します。
201605230856_1.jpg201605230856_3.jpg201605230856_2.jpg201605230856_4.jpg
201604050731_1.jpg
201605270538_4.jpg トレーサビリティ&ALMツール Polarion ALM Polarion Software, Inc.
ALMのワンパッケージ・ソリューション
201605230856_1.jpg201605230856_3.jpg201605230856_2.jpg201605230856_4.jpg
201604050731_1.jpg
201605270538_5.jpg ソースコードレビュー支援ツール QA・Verify Programming Research Ltd.
QA・Verifyは静的解析したソースコードの情報をWebベースで共有し、コードレビューを支援するためのツールです。
201605230856_1.jpg201605230856_3.jpg201605230856_4.jpg
201604050731_1.jpg
201605270538_6.jpg C/C++リバースエンジニアリングツール Imagix 4D Imagix Corporation
Imagix 4D は、大規模化および複雑化する C/C++ プログラムのための、リバースエンジニアリングおよびドキュメント作成ツールです。
201605230856_1.jpg201605230856_3.jpg201605230856_2.jpg201605230856_4.jpg
201604050731_1.jpg

201605270538_10.jpg QAC連携 C言語用品質診断ツール eXquto eXmotion (エクスモーション)
ソースコード品質診断ツール「eXquto(エクスキュート)」は、お客様のソースコードの「設計・実装品質の良し悪し」を診断するツールです。
201605230856_1.jpg201605230856_3.jpg201605230856_2.jpg201605230856_4.jpg
201604050731_1.jpg
201605270538_11.jpg Simulinkモデル用品質診断ツール MODEL EVALUATOR eXmotion (エクスモーション)
MODEL EVALUATORはSimulinkモデルの品質を診断(定量化・可視化)するツールです。
201605230856_1.jpg201605230856_4.jpg
  
   
 

detail__vid--text.png

はい (0)
いいえ (0)

PAGE TOP